- 832 名前：１３２人目の素数さん mailto:sage [2022/12/10(土) 10:52:48.56 ID:DJ+aUGKj.net]
- 質問させていただきます。
nが整数でn^2が3の倍数ならnも3の倍数は真という事を使って√3が無理数だと証明する問題についてなのですが、良く√3＝a/b（abが互いに素な既約分数）と置き、α^2＝3b^2を経由させて、命題からαを3の倍数と出し、次にα＝3cと置いて以下略というパターンを見ます。
然しこれはαが3の倍数と分かった後にα^2＝3b^2 からb^2＝a^2/3という方面に持っていっても上手く証明できますでしょうか。
