A proof of Fermat's last theorem using elementary

17 downloads 0 Views 90KB Size Report
Abstract. In 1995, A. Wiles [1, 2] announced a proof of Fermat's Last Theorem, which is stated as follows: If π is an odd prime and x, y, z are relatively prime ...
International Journal of Algebra and Statistics Volume 4: 1(2015), 39–41

Published by Modern Science Publishers Available at: http://www.m-sciences.com

A proof of Fermat’s last theorem using elementary algebra James E. Josepha,b a Retired,

Department of Mathematics, Howard University, Washington, DC 20059, USA. b 35 E Street NW #709, Washington, DC 20001, USA. (Received: 8 February 2015; Accepted: 31 March 2015)

Abstract. In 1995, A. Wiles [1, 2] announced a proof of Fermat’s Last Theorem, which is stated as follows:

If π is an odd prime and x, y, z are relatively prime positive integers, then zπ , xπ + yπ . In this note, a simpler proof of this theorem is offered. It is proved that if π is an odd prime and x, y, z are positive integers satisfying zπ = xπ + yπ , then x, y, and z are each divisible by π. The proof offered by Wiles uses cyclic groups. It is the purpose of this note to offer a proof of this result, with techniques within the grasp of Fermat.

The special case z4 = x4 + y4 is impossible for relatively prime integers x, y and z [3]. A new proof of this result is offered in this paper by showing that if z4 = x4 + y4 for positive integers x, y, z, then x, y and z are each even. Initially, it is shown that if x, y, z, are relatively prime positive integers, π is an odd prime, zπ , xπ + yπ . If x and π are positive integers, the notation x ≡ 0 (mod π) will mean x is divisible by π. Let C(π, k) represent the kth coefficient of the binomial expansion of (x+ y)π ; if π is prime, then C(π, k) ≡ 0 (mod π) for every 1 < k < π; C(4, k) ≡ 0 (mod 2) for every 1 < k < 4. Theorem 0.1. If x, y, z are positive integers, π an odd prime and xπ + yπ = zπ , then x ≡ 0 (mod π), y ≡ 0 (mod π), z ≡ 0 (mod π). Theorem 0.1 is arrived at through the first two Lemmas. Lemma 0.2. If x, y, z are positive integers, π a prime, and zπ = xπ + yπ , then: (1) (2) (3) (4) (5) (6) (7) (8)

(x + y)π − zπ ≡ 0 (mod π), (z − x)π − yπ ≡ 0 (mod π), (z − y)π − xπ ≡ 0 (mod π), x + y − z ≡ 0 (mod π), (x + y)π − zπ ≡ 0 (mod π2 ), (z − y)π − xπ ≡ 0 (mod π2 ), (z − x)π − yπ ≡ 0 (mod π2 ), x + y − z , 0.

Proof. Using the equation zπ = xπ + yπ , statements (1), (2), and (3) are obvious; (4), (5), (6), and (7) come from the following three equations: (x + y)π − zπ =

π−1 X

C(π, k)(x + y − z)π−k zk .

0

2010 Mathematics Subject Classification. 11Yxx Keywords. Fermat Email address: [email protected], [email protected] (James E. Joseph)

(1)

James E. Joseph / Int. J. of Algebra and Statistics 4 (2015), 39–41

(z − y)π − xπ = (z − x − y + x)π − xπ =

π−1 X

40

C(π, k)(z − x − y)π−k xk .

(2)

C(π, k)(z − x − y)π−k yk .

(3)

0

π

π

π

π−1 X

π

(z − x) − y = (z − x − y + y) − y =

0

(8) comes from x, y being positive since π

π

π

π

π

(x + y) − z = 0 ⇒ x + y = z = (x + y) = x +

π−1 X

C(π, k)x

π−k k

π

y +y ⇒

1

π−1 X

C(π, k)xπ−k yk = 0 ⇒ xy = 0.

1

Lemma 0.3. If π is an odd prime and x, y, z are positive integers such that zπ = xπ + yπ , then: (1) z ≡ 0 (mod π), (2) y ≡ 0 (mod π), (3) x ≡ 0 (mod π). Proof. (1) (x + y − z)π

= (x + y)π +

π−1 X (−1)k (x + y)π−k zk − zπ , 1

(x + y − z)π

= (x + y − z + z)π +

π−1 X

C(π, k)(−1)k (x + y)π−k zk − zπ

1

= (x + y − z + z)π +

π−1 X

C(π, k)(−1)k (x + y − z)π−k zk − zπ ≡ 0 (mod π2 ),

1

0

0

= =

π−1 X

C(π, k)(x + y − z)

=

z



z +

π−1 X

1

1

π−1 X

π−1 X

C(π, k)(x + y − z)π−k zk +

1

0

π−k k

π−1 X 1

C(π, k)(−1)k (x + y)π−k zk ≡ 0 (mod π2 ), C(π, k)(−1)k (x + y − z + z)π−k zk ≡ 0 (mod π2 ),

1

 π−k  X  k π−k−v v  C(π, k)(−1)  C(π − k, v)(x + y − z) z  zk ≡ 0 (mod π2 ), 0

0 (mod π),

(2) π

(z − x − y)

=

π X

C(π, k)(−1)k (z − x)π−k yk ≡ 0 (mod π2 ),

0

0

=

π−1 X 1

y



 π−k   X π−k−v v  C(π, k)(−1)  C(π − k, v)(z − x − y) y  yk ≡ 0 (mod π2 ),

0 (mod π).

k

1

James E. Joseph / Int. J. of Algebra and Statistics 4 (2015), 39–41

41

(3) x + y − z ≡ 0 (mod π). Fermat’s Last Theorem: If π is an odd prime and x, y, z are relatively prime positive integers, then zπ , xπ + yπ , also z4 , x4 + y4 . Proof. If π is an odd prime. then z ≡ 0 (mod π); y ≡ 0 (mod π), x ≡ 0 (mod π), so x ≡ 0 (mod π), y ≡ 0 (mod π), z ≡ 0 (mod π), if zπ = xπ + yπ ; with the same arguments as above, and the fact that (x + y)4 − z4 ≡ 0 (mod 2), (z − y)4 − x4 ≡ 0 (mod 2), (z − x)4 − y4 ≡ 0 (mod 2), leads to z ≡ 0 (mod 2), y ≡ 0 (mod 2), x ≡ 0 (mod 2), it follows that if z4 = x4 + y4 , x ≡ 0 (mod 2), z ≡ 0 (mod 2), y ≡ 0 (mod 2). References [1] A. Wiles, Modular ellipic eurves and Fermat’s Last Theorem, Ann. Math. 141 (1995), 443-551. [2] A. Wiles and R. Taylor, Ring-theoretic properties of certain Heche algebras, Ann. Math. 141 (1995), 553-573. [3] H. Edwards, Fermat’s Last Theorem:A Genetic Introduction to Algebraic Number Theory, Springer-Verlag, New York, (1977).