费马大定理原命题如下：不定方程an + bn = cn (n>2)无正整数解。

本文用初等方法证明n=3,n=4时的情形。证明过程如下：

n=3时的情形；

下面用反证法证明，假设存在一组正整数（a，b，c）是满足方程x3+ y3= z3的最小正整数解

则a3+ b3= c3 ( 1 )

显然： (a，b)=1 ( 2 )

否则设(a，b)=d

则d︱a, d︱b

所以d︱a3+ b3

则d︱c

所以(a／d，b／d，c／d )也满足方程，这与(a,b,c)是满足方程a3+ b3= c3的最小正整数解矛

盾

所以(a，b)=1

同理(a，c) =1， ( 3 )

(b，c) =1 ( 4 )

由a3+ b3= c3

得a3= c3- b3= (c- b)( (c- b)2+3bc) ( 5)

((c- b)，bc)=1 ( 6 )

所以( (c- b)，( (c- b)2+3bc) ) =1 ( 7 )

由( 6 )式知(c- b)︱a3

设（(c- b)，a）=p 且c-b=pp1( 8 )

则p3︱a3，pp1︱a3

又p1不能整除a

所以p1=p2 ( 9 )

所以c - b= p3 ( 10 )

同理c - a =q3 ( 11 )

a+ b=r3 ( 12)

（其中p，q，r 均为正整数）

解(10)(11)(12)式得：

a=（r3+ p3 - q3）/2 ( 13)

b=（r3+ q3 - p3）/2 ( 14)

c =（r3+ q3+ p3）/2 ( 15)

由(8) 式知p︱a，q︱b，r︱c

又由(2)，(3)，(4)式知(p，q)=1 (16)

(p，r) =1 (17)

(q，r) =1 (18)

把(16)，(17)，(18) 式代入(1) 式中，得：

[(r3+p3-q3)/2]3+[(r3+q3-p3)/2]3=[(r3+q3+p3)/2]3 (19)

即： 2r3(3p6+3q6+r6-6p3q3)

=p9+q9+r9+3p3q6+3p6q3+3p3r6

+3q3r6+3p6r3+3q6r3+6p3q3r3 (20)

化简得:

p9+q9-r9+3p3q6+3p6q3+3p3r6+3q3r6-3p6r3-3q6r3-6p3q3r3

=-27p3q3r3 (21)

即： (p3+q3-r3)3=-24p3q3r3 (22)

方程两边同时开3次方，得：

p3+q3-r3=-2*31/3pqr (23)

由于p，q，r 均为正整数。p3+q3-r3，pqr 也是正整数。

(23)式与事实矛盾。

说明假设不成立。

即： x3+ y3= z3无正整数解

n=3时命题得证。