D
を手がかりに自然数解(有理数解)が存在しない場合を探し出す方法
両辺
をで割り、z/y=q、x/y=pとおくと
A
ここで、q=p+αとおくと、
![]()
すなわち、
![]()
この2次方程式の判別式をDとし、D/4=dとおくと、
![]()
dが平方数ならAの有理数解が存在してしまうので、
![]()
は有理数解を持たない。よって、
![]()
は自然数解(有理数解)を一つも持たない。
同様にAにおいて、q=p+2αとおくと、
![]()
整理して、
![]()
よって
、
![]()
したがって、
B
![]()
は自然数解を一つも持たない。
式Bにおいて、q=p+αとおくと、
![]()
から、
![]()
ゆえに、
![]()
から、
![]()
![]()
は自然数解を一つも持たない。
式Aにおいて、q=p+nαとおくと、
![]()
すなわち、
![]()
よって、
![]()
すなわち、
![]()
は自然数解を一つも持たない。
nは任意の有理数をとることができるから、解を持たない場合は無限に存在することが証明された。
同様に式Bにおいて、q=p+nαとおくと、
![]()
![]()
よって、
![]()
から
![]()
![]()
1.
n=2とき、
![]()
![]()
2.
n=3のとき
![]()
![]()
3.
n=4のとき、
![]()
![]()