Sets

Sets

Question

Show by mathematical induction that a2n – b2n is divisible by a + b.

Answer

Let straight P left parenthesis straight n right parenthesis colon space straight a to the power of 2 straight n end exponent space minus space straight b to the power of 2 straight n end exponent is divisible by a + b
I.     For n = 1,
      space space straight P left parenthesis 1 right parenthesis space colon space straight a to the power of 2 cross times 1 end exponent space minus space straight b to the power of 2 cross times 1 end exponent is divisible by a + b           <pre>uncaught exception: <b>mkdir(): Permission denied (errno: 2) in /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php at line #56mkdir(): Permission denied</b><br /><br />in file: /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php line 56<br />#0 [internal function]: _hx_error_handler(2, 'mkdir(): Permis...', '/home/config_ad...', 56, Array)
#1 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php(56): mkdir('/home/config_ad...', 493)
#2 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/FolderTreeStorageAndCache.class.php(110): com_wiris_util_sys_Store->mkdirs()
#3 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/RenderImpl.class.php(231): com_wiris_plugin_impl_FolderTreeStorageAndCache->codeDigest('mml=<math xmlns...')
#4 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/TextServiceImpl.class.php(59): com_wiris_plugin_impl_RenderImpl->computeDigest(NULL, Array)
#5 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/service.php(19): com_wiris_plugin_impl_TextServiceImpl->service('mathml2accessib...', Array)
#6 {main}</pre> is divisible by a + b
rightwards double arrow   (a - b) (a + b) is divisible by a + b
       which is true.

∴      P(1) is true.
II.    Suppose the statement is true for n = m, straight m element of space straight N
<pre>uncaught exception: <b>mkdir(): Permission denied (errno: 2) in /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php at line #56mkdir(): Permission denied</b><br /><br />in file: /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php line 56<br />#0 [internal function]: _hx_error_handler(2, 'mkdir(): Permis...', '/home/config_ad...', 56, Array)
#1 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php(56): mkdir('/home/config_ad...', 493)
#2 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/FolderTreeStorageAndCache.class.php(110): com_wiris_util_sys_Store->mkdirs()
#3 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/RenderImpl.class.php(231): com_wiris_plugin_impl_FolderTreeStorageAndCache->codeDigest('mml=<math xmlns...')
#4 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/TextServiceImpl.class.php(59): com_wiris_plugin_impl_RenderImpl->computeDigest(NULL, Array)
#5 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/service.php(19): com_wiris_plugin_impl_TextServiceImpl->service('mathml2accessib...', Array)
#6 {main}</pre> is divisible by a + b
rightwards double arrow space space straight a to the power of 2 straight m end exponent space minus space straight b to the power of 2 straight m end exponent space equals space straight k space left parenthesis straight a space plus space straight b right parenthesis comma space space straight k space element of space straight Z space                          ...(i)
III.   For n = m + 1
      P (m + 1): space space straight a to the power of 2 straight m plus 2 end exponent space minus space straight b to the power of 2 straight m plus 2 end exponent space is divisible by a + b.
     Now,   straight a to the power of 2 straight m plus 2 end exponent space minus space straight b to the power of 2 straight m plus 2 end exponent space equals space straight a to the power of 2 straight m plus 2 end exponent space minus space straight a to the power of 2 straight m end exponent straight b squared space plus space straight a to the power of 2 straight m end exponent straight b squared space minus space straight b to the power of 2 straight m plus 2 end exponent
    <pre>uncaught exception: <b>mkdir(): Permission denied (errno: 2) in /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php at line #56mkdir(): Permission denied</b><br /><br />in file: /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php line 56<br />#0 [internal function]: _hx_error_handler(2, 'mkdir(): Permis...', '/home/config_ad...', 56, Array)
#1 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php(56): mkdir('/home/config_ad...', 493)
#2 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/FolderTreeStorageAndCache.class.php(110): com_wiris_util_sys_Store->mkdirs()
#3 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/RenderImpl.class.php(231): com_wiris_plugin_impl_FolderTreeStorageAndCache->codeDigest('mml=<math xmlns...')
#4 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/TextServiceImpl.class.php(59): com_wiris_plugin_impl_RenderImpl->computeDigest(NULL, Array)
#5 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/service.php(19): com_wiris_plugin_impl_TextServiceImpl->service('mathml2accessib...', Array)
#6 {main}</pre>
     From (i), space space space space space space space straight a to the power of 2 straight m end exponent minus straight b to the power of 2 straight m end exponent space equals space straight k space left parenthesis straight a space plus space straight b right parenthesis
rightwards double arrow space space space space straight a to the power of 2 straight m plus 2 end exponent space minus space straight b to the power of 2 straight m plus 2 end exponent space equals space straight a to the power of 2 straight m end exponent left parenthesis straight a squared space minus space straight b squared right parenthesis space plus space straight b squared space straight k left parenthesis straight a plus straight b right parenthesis space equals space left parenthesis straight a plus straight b right parenthesis left square bracket straight a to the power of 2 straight m end exponent left parenthesis straight a minus straight b right parenthesis space plus space kb squared right square bracket space equals space straight k apostrophe space left parenthesis straight a plus straight b right parenthesis
      where k' = <pre>uncaught exception: <b>mkdir(): Permission denied (errno: 2) in /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php at line #56mkdir(): Permission denied</b><br /><br />in file: /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php line 56<br />#0 [internal function]: _hx_error_handler(2, 'mkdir(): Permis...', '/home/config_ad...', 56, Array)
#1 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php(56): mkdir('/home/config_ad...', 493)
#2 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/FolderTreeStorageAndCache.class.php(110): com_wiris_util_sys_Store->mkdirs()
#3 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/RenderImpl.class.php(231): com_wiris_plugin_impl_FolderTreeStorageAndCache->codeDigest('mml=<math xmlns...')
#4 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/TextServiceImpl.class.php(59): com_wiris_plugin_impl_RenderImpl->computeDigest(NULL, Array)
#5 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/service.php(19): com_wiris_plugin_impl_TextServiceImpl->service('mathml2accessib...', Array)
#6 {main}</pre>
rightwards double arrow  straight a to the power of 2 straight m plus 2 end exponent space minus space straight b to the power of 2 straight m plus 2 end exponent is divisible by a + b

∴    P(m + 1) is true

∴    P(m) is true rightwards double arrow P ( m + 1) is true
Hence, by the principle of mathematical induction, P(n) is true for all straight n space element of space straight N.

More Chapters from Sets