ピタゴラス数が無限にあることを証明して欲しいのですが、高校数学の美しい物語の証明2がわかりません。詳しく教えていただけないでしょうか?すみません。以下のURLです。
https://mathtrain.jp/pythagoras
No.3ベストアンサー
- 回答日時:
両方共に平方数である事を証明するために
仮にどちらか一方が平方数でないと仮定するのだから
あり得ない事を証明するのだから
あり得ない事を考えてどうするのでしょうか?
どちらか一方が平方数でない数はあり得ません
そこに書いてある通り
正の整数m,n(m>n)を用いて
a=m^2-n^2
b=2mn
c=m^2+n^2
とすると
a^2+b^2=(m^2-n^2)^2+(2mn)^2=(m^2+n^2)^2=c^2
なので
a=m^2-n^2
b=2mn
c=m^2+n^2
とすれば
(a,b,c)はピタゴラス数になるから
ピタゴラス数
(m^2-n^2,2mn,m^2+n^2)_{m>nは自然数}
は
∞にあるから
ピタゴラス数が無限にあることの証明は
ここで終わっているのです
1,2,3の証明は
ピタゴラス数が無限にあることの証明ではなく
すべての原始ピタゴラス数は
(m^2-n^2,2mn,m^2+n^2)という形になる事の証明なのです
1の証明は
(a,b,c)
を原始ピタゴラス数
a^2+b^2=c^2
とすると
a と bのどちらか一方のみ奇数で他方は偶数
cは奇数である。
事の証明なのです
2の証明は
(a,b,c)を原始ピタゴラス数
a^2+b^2=c^2
とすると
1の証明結果で
cは奇数である
a と bのどちらか一方のみ奇数で他方は偶数
だから
aを奇数,bを偶数
とすると
c+aは奇数+奇数=偶数だから
(c+a)/2は整数となる
c-aは奇数-奇数=偶数だから
(c-a)/2は整数となる
{(c+a)/2}{(c-a)/2}=(c^2-a^2)/4
a^2+b^2=c^2
b^2=c^2-a^2
だから
(c^2-a^2)/4=b^2/4
だから
{(c+a)/2}{(c-a)/2}=b^2/4=(b/2)^2
bは偶数だからb/2は整数だから
{(c+a)/2}{(c-a)/2}=(b/2)^2
は平方数
・(c+a)/2が平方数でない場合
[
(c+a)/2の全ての素因数p≧2に対して
(c+a)/2がp^2で割り切れるならば
(c+a)/2は平方数だから
(c+a)/2が平方数でないのだから
(c+a)/2の素因数p≧2で
(c+a)/2がp^2で割り切れないpがある
pは平方数{(c+a)/2}{(c-a)/2}=(b/2)^2の約数だから
pは(b/2)の約数だから
p^2は(b/2)^2={(c+a)/2}{(c-a)/2}の約数だから
p^2は{(c+a)/2}{(c-a)/2}の約数だから
(c+a)/2はpで割り切れるけれども
(c+a)/2がp^2で割り切れないから
(c-a)/2がpで割り切れる
pは(c+a)/2と(c-a)/2の公約数共通因数になる
]
・(c-a)/2が平方数でない場合
[
(c-a)/2の全ての素因数p≧2に対して
(c-a)/2がp^2で割り切れるならば
(c-a)/2は平方数だから
(c-a)/2が平方数でないのだから
(c-a)/2の素因数p≧2で
(c-a)/2がp^2で割り切れないpがある
pは平方数{(c+a)/2}{(c-a)/2}=(b/2)^2の約数だから
pは(b/2)の約数だから
p^2は(b/2)^2={(c+a)/2}{(c-a)/2}の約数だから
p^2は{(c+a)/2}{(c-a)/2}の約数だから
(c-a)/2はpで割り切れるけれども
(c-a)/2がp^2で割り切れないから
(c+a)/2がpで割り切れる
pは(c+a)/2と(c-a)/2の公約数共通因数になる
]
∴
(c+a)/2と(c-a)/2の共通因数p≧2がある
(c+a)/2=up
(c-a)/2=vp
となる自然数u,vがある
c+a=2up
c-a=2vp
a=(u-v)p
c=(u+v)p
よって,
a,c
はともに
p
の倍数となり,さらに
b
も
p
の倍数となるので原始ピタゴラス数であるという仮定に矛盾
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 哲学 形式学 1 2023/06/23 17:19
- 数学 無限等比数列 r^n の収束・発散の ε-N による証明 2 2023/02/07 13:35
- 数学 公約数・公倍数の性質 4 2022/10/13 08:54
- 数学 この証明は高校数学の範囲でできますか?数1 数と式 5 2023/04/06 09:24
- その他(行政) e-govで必要な電子証明書について 1 2022/08/20 22:56
- 学校 新高校2年生です。今日(8日)から学校が始まるのですが、まだ電車の定期を買っていなくて…。生徒証明書 1 2023/04/08 01:23
- 学校 新高校2年生です。今日(8日)から学校が始まるのですが、まだ電車の定期を買っていなくて…。生徒証明書 1 2023/04/08 01:39
- その他(法律) 学校教育法の名前知ってる人いますか? 1 2022/10/19 20:16
- 数学 ゴールドバッハの予想の部分証明について 4 2022/06/04 13:53
- 新卒・第二新卒 今気づいてしまったのですが、入社式の持参する書類で 卒業証明書(大学院・大学・短大・高専等卒業してい 4 2022/03/31 02:09
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
△ABCの∠Aの2等分線と辺BCとの交...
-
2^220を221で割った時の余りを...
-
定理と法則の違い
-
実数の整列化について
-
フーリエの積分定理がわかりません
-
数Iの問題です
-
超難問なんですが数学詳しい方...
-
大学受験に使える定理。
-
代数学の問題
-
等号・不等号に関する定理の名...
-
至上最難問の数学がとけた
-
射影空間に対する複素構造
-
3点が一直線上である証明
-
x^100を(x+1)^2で割ったときの...
-
そもそも、ピタゴラスの定理っ...
-
数学の答案の書き方について 現...
-
コーシーの積分定理 複素積分
-
ほうべき(方巾)の定理について
-
複素幾何の予備知識
-
直角三角形じゃないのに三平方...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
定理と法則の違い
-
至上最難問の数学がとけた
-
実数の整列化について
-
十分性の確認について
-
AとBはn次正方行列とする。 積A...
-
ほうべき(方巾)の定理について
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
オイラーの多面体定理の拡張
-
微分形式,微分幾何学の参考書
-
ディリクレ指標について( mod=5...
-
x^100を(x+1)^2で割ったときの...
-
nを整数とする。このとき、n^2...
-
大学数学 解答
-
4.6.8で割るとあまりはそれぞれ...
おすすめ情報
どちらか一方が平方数でない数が思いつかないのです。例を挙げていただけないでしょうか?教えていただけないでしょうか?すみません。
背理法のところです。証明2です。教えていただけないでしょうか?すみません。
すみません。mとnが互いに素で、片方のみが奇数でないとダメらしいのですが、なぜでしょうか?教えていただけないでしょうか?すみません。