正月のまったりできる時間が数日つぶれてしまい、会社が始まると何もできなくなりそうなので
時間を置いたのでフェルマーの最終定理バージョンzの検証と補足記事を書こうと思います。
fermat’s last theorem Vz P.18 1.4 命題の条件について
読んでみたのだが、よくわかりずらかったので一旦忘れよう。
フェルマーの命題とは
であり本来はノットイコールなのだが、ここではイコールとする。
それを合同式で表したものでθを法とするならばこんな感じ。
合同式ならばｘ，ｙ，ｚについて合同な別表現があるかもしれない。
それをフェルマーの命題条件と定義する。
式をいじくり倒した結果、2つで1セットのフェルマーの命題条件が得られました。
これら各項を選別してｓ、ｔ、ｕについての合同式をつくりますが
ｓ、ｔ、ｕの定義域はｓｔｕ≡ｘｙｚでなければなりません。
(25)において、ｔ≡ｚとしますが、ｕとｓについて自動的に導かれないのでｔΞｚはただ仮定しただけという事になります。
ｕΞｘ、ｓΞｙも仮定したところ特に競合とかなさそうです。ｕとｓが導出されないのは、上式の組み合わせが、そのような条件も含む弱いフェルマーの命題条件だからと考えられます。
そこでフェルマーの命題条件なら成立する1.3 解の条件を適用しｐ.20においてフィルタリングしてます。
すると以下の合同式を得ます。
A^3-B^3≡(A-B)(3AB+(A-B)^2)
3ｚｙ⊥δ
であるからL⊥Ｒなので
2回目の考察でフェルマーの命題条件を得ます。
ｘｙｚ⊥δが仮定にすぎないならば、矛盾があってもｘｙｚ|δの余地がまだ残りますが
ｘｙｚ⊥δは仮定ではないので強力な道具といった感じです。
shitetsuronnkou blog 