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 361992 1. {main}() /var/www/astarmathsandphysics/index.php:0 0.0891 1210672 2. Joomla\CMS\Application\SiteApplication->execute() /var/www/astarmathsandphysics/index.php:49 0.0891 1210672 3. Joomla\CMS\Application\SiteApplication->doExecute() /var/www/astarmathsandphysics/libraries/src/Application/CMSApplication.php:267 0.1635 4103680 4. Joomla\CMS\Application\SiteApplication->dispatch() /var/www/astarmathsandphysics/libraries/src/Application/SiteApplication.php:233 0.1648 4131264 5. Joomla\CMS\Component\ComponentHelper::renderComponent() /var/www/astarmathsandphysics/libraries/src/Application/SiteApplication.php:194 0.1655 4148976 6. Joomla\CMS\Component\ComponentHelper::executeComponent() /var/www/astarmathsandphysics/libraries/src/Component/ComponentHelper.php:356 0.1656 4165984 7. require_once('/var/www/astarmathsandphysics/components/com_content/content.php') /var/www/astarmathsandphysics/libraries/src/Component/ComponentHelper.php:381 0.1663 4173720 8. ContentController->execute() /var/www/astarmathsandphysics/components/com_content/content.php:42 0.1663 4173720 9. ContentController->display() /var/www/astarmathsandphysics/libraries/src/MVC/Controller/BaseController.php:710 0.2485 4409392 10. ContentController->display() /var/www/astarmathsandphysics/components/com_content/controller.php:113 0.2503 4426792 11. Joomla\CMS\Cache\Controller\ViewController->get() /var/www/astarmathsandphysics/libraries/src/MVC/Controller/BaseController.php:663 0.2509 4447720 12. ContentViewArticle->display() /var/www/astarmathsandphysics/libraries/src/Cache/Controller/ViewController.php:102 0.2618 4515736 13. Joomla\CMS\Plugin\PluginHelper::importPlugin() /var/www/astarmathsandphysics/components/com_content/views/article/view.html.php:189 0.2618 4515992 14. Joomla\CMS\Plugin\PluginHelper::import() /var/www/astarmathsandphysics/libraries/src/Plugin/PluginHelper.php:182

Proving Divisibility With Induction

We can proved that a closed form for an expression id divisible for a certain number by proving that the difference between sucessive terms is divisible, as well as one of the terms. This is not always as simple as it sounds.

Suppose we are to proveis divisible by 13 .

The standard proof by induction steps involve proving a statement is for an integer, or two, supposing true for an integerthen using these two true statements to prove the statement is true for every subsequent integer.

Suppose thatthenwhich is divisible by 13.

Ifsois divisiblle by 13.

Suppose true u-n

(1)

Now find the remainder on dividing by 13, using also the fact that the remainder of a product is the product of the remainders. (1) becomes

is now a common factor, so

which is obviously divisible by 13.

From (1),

is divisible by 13 by assumption, and we have just shown that the bracketed term is too, sois also divisible by 13 .

Add comment

Security code
Refresh