Difference between revisions of "Infinite Descent"
(Created page with "'''Infinite Descent''' is a method of proof which utilizes the extremal principle to contradict the extremality of an extreme object. This principle is best described using an ex...") |
Hsiangshen (talk | contribs) |
||
(5 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
'''Infinite Descent''' is a method of proof which utilizes the extremal principle to contradict the extremality of an extreme object. This principle is best described using an example: | '''Infinite Descent''' is a method of proof which utilizes the extremal principle to contradict the extremality of an extreme object. This principle is best described using an example: | ||
− | Problem 1. Prove that | + | '''Problem 1'''. Prove that <math>\sqrt 2</math> is irrational. |
− | Proof. Assume otherwise that | + | |
+ | Proof. Assume otherwise that <math>\sqrt 2</math> is rational; that is, <math>\sqrt 2</math> =<math>\dfrac{p}{q}</math>, where p and q are positive integers. Squaring both sides gives <math>2=\dfrac{p^2}{q^2}</math>, and <math>2q^2 = p^2</math>. Now, we assumed that there is at least one solution of (p, q). Among all possible solutions, let (P, Q) be the solution with P + Q minimized. Then <math>2Q^2 = P^2</math>. Clearly P is not odd; thus, it is even and equals 2P'. Then <math>2Q^2 = 4P'^2</math> and <math>Q^2 = 2P'^2</math>, or by symmetric property <math>2P'^2 = Q^2</math>. Thus, (Q, P') is a solution to <math>2q^2 = p^2</math>. But <math>P' + Q = \dfrac{P}{2}+ Q < P + Q</math>, contradicting the fact that <math>(P, Q)</math> is the solution with <math>P + Q </math>minimized. Thus, there is no solution in positive integers to <math>\sqrt 2</math> = <math>\dfrac{p}{q}</math>, and hence <math>\sqrt 2</math> is irrational. | ||
Notice how in this proof we looked at the (p, q) that had certain properties (in this case the sum of the numbers) and found another solution which had properties of greater degree (in this case a smaller sum) than the previous one. In essence, infinite descent relies on the fact that one can repeat the process of finding a solution of greater degree infinitely, which is obviously impossible. | Notice how in this proof we looked at the (p, q) that had certain properties (in this case the sum of the numbers) and found another solution which had properties of greater degree (in this case a smaller sum) than the previous one. In essence, infinite descent relies on the fact that one can repeat the process of finding a solution of greater degree infinitely, which is obviously impossible. | ||
Try your hand at the following problems: | Try your hand at the following problems: | ||
− | Problem 2. Prove that < | + | |
− | Problem 3. (Fermat's Last Theorem for n = 4): Prove that < | + | '''Problem 2'''. Prove that <math>9a^3 + 3b^3 + c^3 = 0</math> has only one solution in integers, (0, 0, 0). |
+ | |||
+ | '''Problem 3'''. (Fermat's Last Theorem for n = 4): Prove that <math>a^4 + b^4 = c^4</math> has no solutions in positive integers. |
Latest revision as of 09:42, 6 May 2020
Infinite Descent is a method of proof which utilizes the extremal principle to contradict the extremality of an extreme object. This principle is best described using an example:
Problem 1. Prove that is irrational.
Proof. Assume otherwise that is rational; that is,
=
, where p and q are positive integers. Squaring both sides gives
, and
. Now, we assumed that there is at least one solution of (p, q). Among all possible solutions, let (P, Q) be the solution with P + Q minimized. Then
. Clearly P is not odd; thus, it is even and equals 2P'. Then
and
, or by symmetric property
. Thus, (Q, P') is a solution to
. But
, contradicting the fact that
is the solution with
minimized. Thus, there is no solution in positive integers to
=
, and hence
is irrational.
Notice how in this proof we looked at the (p, q) that had certain properties (in this case the sum of the numbers) and found another solution which had properties of greater degree (in this case a smaller sum) than the previous one. In essence, infinite descent relies on the fact that one can repeat the process of finding a solution of greater degree infinitely, which is obviously impossible.
Try your hand at the following problems:
Problem 2. Prove that has only one solution in integers, (0, 0, 0).
Problem 3. (Fermat's Last Theorem for n = 4): Prove that has no solutions in positive integers.