Beal's Conjecture, Elegant Proof
Transcription
Beal's Conjecture, Elegant Proof
Beal’s Conjecture, Elegant Proof Carlos Giraldo Ospina December 21, 2014 Abstract In this paper we prove that the equations of Beal’s conjecture (BC) and Fermat’s last theorem (FLT) are equivalent. This implies that proving FLT means proving BC and vice versa. We give a general proof of FLT for exponents that are multiples of 4. Such proof becomes a general proof for any exponent greater than 2. We also provide a general proof for odd exponents. Each proof is less than one page long, and so simple that any amateur or professional mathematician is able to tell whether it is correct or incorrect. The first step consists in using the well-known formula for generating Pythagorean triples as well as reductio ad absurdum for exponents that are multiples of 4, and we also use an equivalence relation for any even or odd exponent. The method of reductio ad absurdum is also applied to odd exponents. Keywords: Beal’s conjecture, Fermat’s last theorem, Pythagorean triples 2010 Mathematics Subject Classification: 00-XX · 00A05 · 11-XX · 11Dxx 1 Introduction Some authors state that FLT was proved by Fermat by using the method of infinite descent for the exponent 4, while others state that such proof has nowhere been found. Some people say that one of Fermat’s fans obtained that proof and attributed it to Fermat. Andrew Wiles stated: “I don’t believe Fermat had a proof. I think he fooled himself into thinking he had a proof. But what has made this problem 1 special for amateurs is that there’s a tiny possibility that there does exist an elegant 17th-century proof.” (NOVA ONLINE) Wiles states that there is “tiny possibility” that there exists an “elegant proof”. Surprisingly, we now realize that professional mathematicians have missed something that is within the reach of any average high school student. But neither Fermat, nor Wiles, nor any another mathematician devoted to FLT have noted that the general proof for multiples of 4 can be given in less than eight lines. In the end of the proof we get to the absurd statement “even equals odd”. Both amateur and professional mathematicians will now have a proof of FLT for exponents that are multiples of 4 as well as another proof for odd exponents. These proofs can even be understood by average high school students. 2 Preliminaries A. Equivalence between the equations of Beal’s conjecture and FLT (xp + y q = z r ) ≡ [xp + (y q/p )p = (z r/p )p ] ≡ [(xp/q )q + y q = (z r/q )q ] ≡ [(xp/r )r + (y q/r )r = z r ] In the first equivalence we can set y q/p = u and z r/p = v, and we get (xp + y q = z r ) ≡ (xp + up = v p ). In the second equivalence we can set xp/q = h and z r/q = k, and we get (xp + y q = z r ) ≡ (hq + y q = k q ). In the third equivalence we can set xp/r = e and y q/r = d, and we get (xp + y q = z r ) ≡ (er + dr = z r ). Since the equations of Beal’s conjecture and FLT are equivalent, it follows that Beal’s conjecture is equivalent to FLT. In other words, proving FLT means proving Beal’s conjecture and vice versa. But we need to prove FLT by using a method that is different to that employed by Dr. Wiles if we do not want to share the Beal Prize with that 2 famous mathematician. Wiles should probably be given almost the whole amount of the prize. Why is that? One thing is the equivalence between the equations and another thing is the equivalence between the conjectures and, as a result, we must prove one or the other. B. Pythagorean equation The Pythagorean equation is a basic tool we will use in order to give an elementary proof of FLT. For this reason, it is necessary to analyze some aspects of the mentioned equation. We will not make use of any triangle (there are those who always associate the Pythagorean equation with the right triangle). What the Pythagorean theorem states is that in any right triangle the square of the length of the hypotenuse is equal to the sum of the squares of the lengths of the other two sides, which is not the same as saying that the Pythagorean equation has its origin in the right triangle. To sum up, FLT is just a matter of arithmetic, algebra, and numbers; it is not a matter of physical objects. You can write the simplest or the most complex equation you can think of, and if there is any physical object that can be associated with your equation... congratulations! 2.1 Generator of Pythagorean equations (GPE) If x = 2s (where s is arbitrary), y = s2 − 1, and z = s2 + 1, then z 2 = x2 + y 2 . The previously mentioned system will be referred to as “GPE”. By using this system we obtain lots of generators of Pythagorean triples. On the other hand, if we start with any generator we can “work backwards from there” and get to the GPE again. The well-known system x = 2tr, y = t2 − r2 , z = t2 + r2 ⇒ z 2 = x2 + y 2 (1) can be deduced from GPE if we set s = t/r and we eliminate denominators (this is different from the concept of primitive Pythagorean triples): t2 +1 r2 2 2 2 2 2 2 2 2 2 t t t t t = 2 + −1 ⇒ +1 = 2 + −1 . r r2 r2 r r2 3 If we multiply by r4 we get 3 2 2 2 2 t2 + r2 t −1 t + = 2 ⇒ (t2 + r2 )2 = 4t2 r2 + (t2 − r2 )2 2 2 r r r 2 2 2 2 2 2 (t + r ) = 4t r + (t − r2 )2 ⇒ z = t2 + r2 , x = 2tr, y = t2 − r2 . General proof of FLT for exponents of the form 4n Theorem 3.1 (FLT for 4v). If v ∈ N, then the equation x4v + y 4v = z 4v has no solution in integers Z+ − {0}. Proof. 1. Suppose that the equation x4v + y 4v = z 4v has a solution in integers Z − {0}. 2. We have x4v + y 4v = z 4v ≡ (x2v )2 + (y 2v )2 = (z 2v )2 , according to one of the properties of exponents. 3. x2v = (2u)2v = 22v u2v = 2 ∗ 22v−1 u2v ∗ 1, y 2v = 24v−2 u4v − 1, according to (1) and statement 2. 4. y 2v = 24v−2 u4v − 1 ⇒ 24v−2 u4v = y 2v + 1 ⇒ y = 2m + 1 5. 24v−2 u4v = (2m + 1)2v + 1 = (2m)2v + 2v(2m)2v−1 + · · · + 2v(2m) + 2, according to statement 4. 24v−2 u4v = 4m(22v−2 m2v−1 + v ∗ 22v−2 m2v−2 + · · · + v) + 2 6. If we divide by 2 we get 24v−3 u4v = 2m(22v−2 m2v−1 +v ∗22v−2 m2v−2 +· · ·+v)+1 ⇒ even = odd. 7. Statement 1 is absurd, according to statement 6. 4 4 General proof of FLT by applying the general proof for exponents that are multiples of 4 Proof. 1. (x4v + y 4v = z 4v ) ≡ (x4 )v + (y 4 )v = (z 4 )v 2. Let X = x4 , Y = y 4 , Z = z 4 . 3. (x4v + y 4v = z 4v ) ≡ (X v + Y v = Z v ), according to statements 1 and 2. 4. Let v = 2m or v = 2m + 1, FLT for 4v is proved. 5. (X v + Y v = Z v ) ≡ (X 2m + Y 2m = Z 2m ), where v = 2m, has no solution in integers Z+ − {0}, according to statement 4. 6. (X v + Y v = Z v ) ≡ (X 2m+1 + Y 2m+1 = Z 2m+1 ) with v = 2m + 1 has no solution in integers Z+ − {0}, according to statement 4. Theorem 4.1 (FLT for odd exponents). If n is odd, then the equation x + y n = z n has no solution in integers Z+ − {0}. n Note: The expressions M 4, M 0 4, and M 00 4 represent multiples of 4. Proof. 1. Suppose that for odd n the equation xn + y n = z n has a solution in integers Z − {0}. 2. The number n is odd and xn + y n = z n ≡ (xn/2 )2 + (y n/2 )2 = (z n/2 )2 , according to one of the properties of exponents. 3. xn/2 = 2n un v n = 2 ∗ 2n−1 un ∗ v n , y n/2 = 22(n−1) u2n − v 2n , 2u and v coprime numbers, according to (1) and statement 2. 4. y n = (22(2n−1) u2n − v 2n )2 ⇒ v = 2h + 1, according to statement 3. 5. v 2n = (2h + 1)2v = (2h)2v + 2v(2h)2v−1 + · · · + 2v(2h) + 1 = M 0 4 + 1, according to statement 4. 6. y n = (M 4 − M 0 4 − 1)2 = (M 00 4 − 1)2 , according to statement 5. 5 7. y n = (M 00 4 − 1)2 ⇒ y n = (4m − 1)n , according to statement 6. 8. M 4 + 1 = M 00 4 − 1 (n is odd), according to statement 7. 9. According to statement 8 we have M 4 = M 00 4 − 2, which is absurd. 10. Statement 1 is false according to statement 9. References W. J. LeVeque. Elementary Theory of Numbers. Addison-Wesley Publishing Company, 1962. www.matematicainsolita.8m.com. Pit´agoras, Camino de la Ra´ız. www.matematicainsolita.8m.com. Pit´agoras, Camino del Binomio. ´ www.matematicainsolita.8m.com. Ultimo Teorema de Fermat. viXra:1311.0153. Elementary Proof of Fermat’s Last Theorem and Beal’s Conjecture. Author: Carlos Giraldo Ospina, Lic. Matem´aticas, USC, Cali, Colombia e-mail: [email protected] Translation and typesetting by: Germ´an Paz e-mail: germanpaz [email protected] 6