TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
1+1=2について考える
高校数学の質問スレPart399
分からない問題はここに書いてね458
現代数学の系譜 カントル 超限集合論2
「増田哲也→猫◆→狢◆→狸◆」 次は!?
【生保・損保】アクチュアリー資格試験スレ【年金】
分からない問題はここに書いてね422
ベイズの統計学を学び始めたんだけど
現代数学はインチキのデパート
円周率について語り合おう【π】
913 :
おっちゃんです。
>>893
或る3以上の整数nが存在して、何れも或る3つの正整数 x、y、z が存在して、x^n+y^n=z^n が成り立つとする。
仮定から、nは固定された3以上の整数だから、仮定において成り立つとした等式 x^n+y^n=z^n から、
固定された3つの正整数 x、y、z の大小関係について、0<x<z、0<y<z が両方共に成り立つ。
仮定から x、y、z は何れも有理整数だから、x、y、z∈Z。また、有理数体Qは有理整数環Zの商体だから、Z⊂Q。
よって、z>0 から、x/z、y/z∈Q。0<x<z だから、0<x/z<1。同様に、0<y<z だから、0<y/z<1。
仮定において成り立つとした等式 x^n+y^n=z^n の両辺を z^n で割ると、(x/z)^n+(y/z)^n=1 を得る。
n≧3、0<x/z<1、0<y/z<1 が何れも成り立つから、(x/z)^n+(y/z)^n<(x/z)^2+(y/z)^2 となる。
よって、(x/z)^2+(y/z)^2>1 を得る。
Euclid 平面 R^2 上に有理点 A(x/z,y/z)∈Q^2 を取る。ここに、Q⊂R から Q^2⊂R^2 だから、A(x/z,y/z)∈R^2。
平面 R^2 上の半径1の円周上には、a^2+b^2=1、0≦|a|≦1、0≦|b|≦1 を何れも満たしているような
有理点 (a,b) が稠密に分布する。逆に、a^2+b^2=1、0≦|a|≦1、0≦|b|≦1 を何れも満たしているような有理点 (a,b) は、
すべて平面 R^2 上の半径1の円周上に存在する。
故に、0<x/z<1 と 0<y/z<1 から、平面 R^2 上の半径1の円周上に固定された有理点 A(x/z,y/z) は確かに存在する。
よって (x/z)^2+(y/z)^2=1 となる。しかし、これは、(x/z)^2+(y/z)^2>1 に反し矛盾する。
この矛盾は或る3以上の整数nが存在して、何れも或る3つの正整数 x、y、z が存在して、
x^n+y^n=z^n と仮定したことから生じたから、背理法が適用出来る。
そこで、背理法を適用すれば、どんな3以上の整数nに対しても、x^n+y^n=z^n を満たす3つの正整数 x、y、z は存在しない。

ニコ生の東大数学科学生headを特定するスレ
分からない問題はここに書いてね445
チャート式の例題写しても全く分からない訳だが
高校数学の質問スレPart404
本当に1+1=2なのか
Inter-universal geometry と ABC 予想 44
分からない問題はここに書いてね457
数学の本第79巻
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
現代数学など社会ではなんの役に立たない
--------------------
◆進撃の巨人ネタバレスレpa.rt2554
コレは外れた事無いって演出
【低学歴中の】北海道内底辺大学選手権【低学歴】
金ネ申ツイッターヲチ25
大学の友人にスプラトゥーン進められたからやってみたがひっどいなこのゲーム、雑魚しかいないわ
スレ立てるほどでもない大会・海外卓球リーグ239
声優の早見沙織さん 筋肉質の男とイチャイチャする画像が流出 [715632351]
【TBS】 江藤愛 Part67 【ひるおび!】
【卒業】弁・砲丸を悼んで 2【目前?】
機甲戦記ドラグナー/D−8
【W205】メルセデス・ベンツCクラス97【S205】
フルキャスト68
【雷鳥は】松本山雅実況【J頁を目指す】
一瞬で泥酔する方法教えろ、時間と金がもったいない、ベロベロになりたい [886034557]
シンフォギアのアニメ見てない奴が語るスレwww
Mariaの独り言
雑談 APTX4869
カラオケアプリsmule45
【ライフル・イズ・ビューティフル】小倉ひかりは着痩せかわいい
【PS4/PSVITA】実況パワフルプロ野球2018 栄冠ナイン専用スレPart23
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼