피타고라스 수 공식과 2 가지 페르마정리 증명
X^n+Y^n=Z^n
n 이 4 이상 짝수일 때 자연수해가 없음을 페르마가 증명하였음으로, 홀수로서 소수일 때 증명요함.
Y+A=X+B=Z
위 식에서 (X,Y,Z) 와 (A,B) 는 양의 실수로 한정됨으로, 0 또는 허수나 음의 실수는 될 수 없음.
X-A=Y-B=Z-A-B=X+Y-Z
G=(X-A)/(AB)^(1/n)=(Y-B)/(AB)^(1/n)=(Z-A-B)/(AB)^(1/n)=(X+Y-Z)/(AB)^(1/n)
X=G(AB)^(1/n)+A, Y=G(AB)^(1/n)+B, Z=G(AB)^(1/n)+A+B
{G(AB)^(1/n)+A}^n+{G(AB)^(1/n)+B}^n={G(AB)^(1/n)+A+B}^n
n=1 일 때 G=0, n=2 일 때 G=2^(1/2) 이 되고, n>2 일 때 G 는 (A,B) 함수인 양의 실수임.
X=(2AB)^(1/2)+A, Y=(2AB)^(1/2)+B, Z=(2AB)^(1/2)+A+B
위 식의 모든 자연수 (A,B) 에서 (X,Y,Z) 는 모두 무리수가 되거나 모든 피타고라스수를 나타냄.
그리고 상기 식을 아래와 같이 변경하여 볼 수도 있음.
AB=2k^2, B=2k^2/A, k=hA, B=2Ah^2
X=A(2h+1), Y=2Ah(h+1), Z=A(2h^2+2h+1)
모든 자연수 (A,h) 에서 XY=2A^2h(2h+1)(h+1) 가 거듭제곱이 될 수 없음을 명시함.
* * * * * 페르마정리 증명 제 1 방법 * * * * *
모든 자연수 (A,B) 에서 G(AB)^(1/n) 이 항상 무리수로 되어, (X,Y,Z) 가 모두 무리수임을 증명함.
{G(AB)^(1/n)+A}^n+{G(AB)^(1/n)+B}^n={G(AB)^(1/n)+A+B}^n
상기 식에서 A=B 일 때,
2{GA^(2/n)+A}^n={GA^(2/n)+2A}^n
{2^(1/n)-1}GA^(2/n)={2-2^(1/n)}A
{2^(1/n)-1}G=2^(1/n){2^(1/n)-1}[2^{(n-2)/n}+…+2^(1/n)+1]A^{(n-2)/n}
G=[2^{(n-1)/n}+…+2^(2/n)+2^(1/n)]A^{(n-2)/n}
전개식은 (n-1) 개 항이 되고, 최소한 (n-2) 개는 무리수항이 됨.
상기 식을 감안하여 아래와 같이 특별상수 [2^{(n-1)/n}+…+2^(2/n)+2^(1/n)] 을 가진 식을 만들었음.
[2^{(n-1)/n}+…+2^(2/n)+2^(1/n)][{A^(n-1)B}^(1/n)+{AB^(n-1)}^(1/n)]/2
위 식은 아래와 같이 모든 자연수 (AB) 에서 항상 무리수임.
[{2^{(n-1)A^(n-1)B}^(1/n)+…+{2^2A^(n-1)B}^(1/n)+{2A^(n-1)B}^(1/n)+
{2^{(n-1)AB^(n-1)}^(1/n)+…+{2^2AB^(n-1)}^(1/n)+{2AB^(n-1)}^(1/n)]/2
전개식에서 [ ] 속의 {자연수}^(1/n) 인 2(n-1) 항 중에 2 개는 자연수가 될 수도 있으나,
최소한 2(n-2) 개는 무리수항이 되어, 모든 자연수 (A,B) 에서 항상 무리수가 됨.
새로운 식 [2^{(n-1)/n}+…+2^(2/n)+2^(1/n)][{A^(n-1)B}^(1/n)+{AB^(n-1)}^(1/n)]/2 로
G(AB)^(1/n) 을 나누고 곱하면 다음과 같은 식이 유도되며, A=B 일 때 q 는 1 이 되어야만 함.
G(AB)^(1/n)=q[2^{(n-1)/n}+…+2^(2/n)+2^(1/n)][{A^(n-1)B}^(1/n)+{AB^(n-1)}^(1/n)]/2
q=2G(AB)^(1/n)/[2^{(n-1)/n}+…+2^(2/n)+2^(1/n)][{A^(n-1)B}^(1/n)+{AB^(n-1)}^(1/n)]
만약 G(AB)^(1/n) 이 임의의 (a,b) 에서 자연수 (N) 으로 가정하게 되면,
q 는 A=B 일 때에도 절대로 1 이 될 수가 없는 모순이 발생함.
가정에 의하여 (a,b) 에서 G(ab)^(1/n)=N 에 특별상수 [2^{(n-1)/n}+…+2^(2/n)+2^(1/n)] 이 없음으로,
G(AB)^(1/n) 에도 특별상수 [2^{(n-1)/n}+…+2^(2/n)+2^(1/n)] 이 존재할 수가 없기 때문임. 제1방법 끝.
* * * * * 페르마정리 증명 제 2 방법 * * * * *
X^n+Y^n=Z^n
상기 식을 아래와 같이 변형함.
{X^(n/2)}^2+{Y^(n/2)}^2={Z^(n/2)}^2
지수=2 일 때, {X^(n/2),Y^(n/2),Z^(n/2)} 은 (a,b) 로 다음과 같이 나타낼 수 있음.
a=Z^(n/2)-Y^(n/2), b=Z^(n/2)-X^(n/2)
X^(n/2)=(2ab)^(1/2)+a, Y^(n/2)=(2ab)^(1/2)+b, Z^(n/2)=(2ab)^(1/2)+a+b
n 이 소수일 때, 아래와 같이 ab 는 서로소인 자연수 (X,Y,Z) 에서 항상 무리수가 됨.
ab=Z^n-(YZ)^(n/2)-(XZ)^(n/2)+(XY)^(n/2)
X^(n/2) 과 Y^(n/2) 을 곱하여 아래와 같이 정리함.
(XY)^n=2a^3b+2ab^3+13(ab)^2+6ab(a+b)(2ab)^(1/2)
만약 (X,Y,Z) 를 자연수로 가정하면, 좌변인 (XY)^n
