Please use this identifier to cite or link to this item: http://repository.kln.ac.lk/handle/123456789/8595
Title: Roots of a cubic and simple proof of Fermat’s last theorem for n=3
Authors: Ubeynarayana, C.U.
Piyadasa, R.A.D.
Munasinghe, J.
Ekanayake, E.M.P.
Issue Date: 2013
Publisher: University of Kelaniya
Citation: Ubeynarayana, C.U., Piyadasa, R.A.D., Munasinghe, J. and Ekanayake, E.M.P., 2013. Roots of a cubic and simple proof of Fermat’s last theorem for n=3, Proceedings of the Annual Research Symposium 2013, Faculty of Graduate Studies, University of Kelaniya, pp 100-102.
Abstract: Introduction: Fermat’s last theorem (FLT) which was written in 1637, became public in 1670, without proof. It has not only evoked the interest of mathematicians but baffled many for over three hundred and fifty years [1],[2]. It is well known that FLT despite its rather simple statement had been difficult to prove even for the small prime exponent .The main objective of this paper is to provide simple proof of the theorem for this special exponent using the Method of Taragalia and Cardom of solving a cubic which is much older than Fermat’s last theorem. Proof of Fermat’s last theorem for n=3 Fermat’s last theorem for 3  n can be stated as that the equation , ( , ) 1 3 3 3 z  y  x x y  (1.1) is not satisfied by non-trivial integer triples x, y, z . Assume that the equation is satisfied by non-trivial integer triples x, y, z . If let x  3m1, y  3k 1, z  3s 1, then we have (2,0, 2)(mod3 ) 3 3 2 y  x   However 1(mod3 ) 3 2 z   , therefore our assumption is wrong and we conclude that xyz  0(mod3) . Since we consider the equation (1.1) for positive and negative integer values, without loss of generality, we can assume that y  0(mod3) ,and let 0(mod3 ) m y  . Then 3 1 3 3 3 z x 3 u , z y h , x y g m        due to Barlow relations, where are respectively the factors of . Now, 3 2( ) 3 3 1 3 3 g u h x y z m       (1.2) Since x  y  z  x  (z  y)  (x  y)  z  y  (z  x) , x y z 0(3 ugh)It can be shown that [1],   3 3 3 3 3 x y z 3(x y)(z x)(z y) 3 h u g m        (1.3) and therefore 3 2 3 0 3 3 3 1 3       g h u ugh m m (1.4) This necessary condition must be satisfied by the integer parameters , of respectively. We will first fix the parameters of and show that (1.4) is not satisfied by integer for any integer using the Method of Tartagalia and Cardoon[4] of finding a roots of a cubic. The equation (1.4) is of the form 3 0 3 3 3 g  vwg  v  w  (1.5) where 3 3 3 1 3 3 v w 3 u h m     , uh vw m 1 3. 2   , and its roots can be written as 2 ,   w v w v   and +w (1.6) with the cube root of unity. Now 3 3 , w v are the roots of the equation 0 2 3    H Gt t (1.7) where (3 ) 3 1 3 3 G u h m     , . 3. 2 1uh H m   Moreover real and distinct and this equation has only one real root, namely, g  v  w, since the discriminant of (1.5) is ,where ( 4 ) 2 3   G  H is the discriminant of (1.7),and it is negative. Therefore, it has only one real root [4]. Note that 2 3 6 2 6 3 3 3 3 6 3 1 3 3 2 3 3 3 3 (G 4H ) 3 u 14.3 u h h (3 u h ) 4.3 u h m m m m          which is positive when uh  0. On the other hand . 3 1 3 3 3 3 3 3 (3 u h ) 32.3 u h m m     which is positive when If     1 2 1 2 1 1 1 1 v  w ,v  w ,v  w (1.8) is another representation of the roots, we must have 2 2 1 1 1 1 v  w  v  w,v  w  v  w , v  w  v  w 2 1 2 1 or v  w  v  w v  w  v  w 2 2 1 1 1 1 , , 2 1 2 1 v  w  v  w In other words , ( ) ( ) 1 1 1 1 v  v  w w v  v  w w or ( ) ( ), 1 1 v  w  v  w ( ) ( ) 1 1 v  w  v  w This means that v  v w  w 1 1 , or , . 1 1 v  w w  v Therefore, roots must be unique. In particular, we must have a unique real root. From (1.4), it follows that the real root can be expressed in the form g h j m 1 3    or g j h m   1 3 where j is an integer satisfying (3, j) 1. This is due to the fact that ( )[( ) 3 ] 0(mod3 ). 3 3 2 m g  h  g  h g  h  gh  It is now clear that 3 h satisfies the equation 0 2 3 t Gt  H  , This means that (3 ) 8.3 0 6 3 1 3 3 3 3 3 3 3       h u h h u h m m implying that 0  u or , 0  h that is y  0 or x  0 in Fermat’s equation. Hence there is no non-trivial integral triple satisfying the Fermat equation (1.1). We have shown that Fermat’s Last Theorem for 3  n can be proved without depending on the method of infinite descent or complex analysis. The proof given above is short and simple, and simpler than proving [3] the theorem using the method of infinite descent.
URI: 
http://repository.kln.ac.lk/handle/123456789/8595
Appears in Collections:ARS - 2013

Files in This Item:
File Description SizeFormat 
Ubeynarayana, C.U..pdf612.06 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.