Infinite Descent
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.