「無限降下法」の版間の差分
削除された内容 追加された内容
m編集の要約なし |
|||
12行目:
==注意==
[[方程式]]F(x,y)=0が自然数解をもたないことを示すのによく使われる。このとき、(x0,y0)が解であると仮定して、x0＞x1、y0＞y1なる自然数解(x1,y1)をつくれるとして矛盾を導く。
しかし、解そのものが上記（内容）のn(0),n(1)である必要はなく、例えばn(0)=x(0)+y(0),n(1)=x(1)+y(1)でもよい。要は、方程式から得られる関数が無限に減少する自然数の列であればよく、それが解そのものである必要はない。
| |||