Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plgContentJComments has a deprecated constructor in /var/www/astarmathsandphysics/plugins/content/jcomments/jcomments.php on line 25 Call Stack: 0.0001 362552 1. {main}() /var/www/astarmathsandphysics/index.php:0 0.1176 1211992 2. Joomla\CMS\Application\SiteApplication->execute() /var/www/astarmathsandphysics/index.php:49 0.1176 1211992 3. Joomla\CMS\Application\SiteApplication->doExecute() /var/www/astarmathsandphysics/libraries/src/Application/CMSApplication.php:267 0.1888 4105664 4. Joomla\CMS\Application\SiteApplication->dispatch() /var/www/astarmathsandphysics/libraries/src/Application/SiteApplication.php:233 0.1901 4133328 5. Joomla\CMS\Component\ComponentHelper::renderComponent() /var/www/astarmathsandphysics/libraries/src/Application/SiteApplication.php:194 0.1908 4151040 6. Joomla\CMS\Component\ComponentHelper::executeComponent() /var/www/astarmathsandphysics/libraries/src/Component/ComponentHelper.php:356 0.1908 4168048 7. require_once('/var/www/astarmathsandphysics/components/com_content/content.php') /var/www/astarmathsandphysics/libraries/src/Component/ComponentHelper.php:381 0.1915 4175784 8. ContentController->execute() /var/www/astarmathsandphysics/components/com_content/content.php:42 0.1916 4175784 9. ContentController->display() /var/www/astarmathsandphysics/libraries/src/MVC/Controller/BaseController.php:710 0.2346 4403408 10. ContentController->display() /var/www/astarmathsandphysics/components/com_content/controller.php:113 0.2363 4420808 11. Joomla\CMS\Cache\Controller\ViewController->get() /var/www/astarmathsandphysics/libraries/src/MVC/Controller/BaseController.php:663 0.2369 4441736 12. ContentViewArticle->display() /var/www/astarmathsandphysics/libraries/src/Cache/Controller/ViewController.php:102 0.2468 4507088 13. Joomla\CMS\Plugin\PluginHelper::importPlugin() /var/www/astarmathsandphysics/components/com_content/views/article/view.html.php:189 0.2468 4507344 14. Joomla\CMS\Plugin\PluginHelper::import() /var/www/astarmathsandphysics/libraries/src/Plugin/PluginHelper.php:182

Fermat's Method of Infinite Descent

Fermat's 'method of infinite descent' is used to prove the irrationality of square roots.
Suppose for example that  
\[\sqrt{2}\]
  is rational so that  
\[\sqrt{2} = \frac{a}{b}\]
  and cannot be simplified
Then  
\[2= \frac{a^2}{b^2} \rightarrow 2b^2 =a^2\]

This means that  
\[a\]
  is even so we can write  
\[a=2x\]

Hence  
\[2b^2 =(2x)^2=4x^2\]

We can cancel by 2 to give  
\[b^2=2x^2 \rightarrow 2=\frac{b^2}{z^2} \rightarrow \sqrt{2} = \frac{b}{x}\]

This contradicts the initial assumption that  
\[\frac{a}{b}\]
  cannot be simplified, hence  
\[\sqrt{2}\]
  is irrational.