カロビーネタバレすれっど 投稿
- 18投稿者：ヾ(ﾟдﾟ)ﾉ゛ｿﾉﾀｰ 03/22(日) 08:31
- 題意を充たす正方形Ｘ，Ｙが存在すると仮定してみる。
そして、そのそれぞれの一辺の長さを
Ａ／Ｂ，Ｃ／Ｄ （ともに既約分数）とする。
すると、ＸとＹの面積の和は
Ａ＾２／Ｂ＾２ ＋ Ｃ＾２／Ｄ＾２
＝（Ａ＾２＊Ｄ＾２ ＋ Ｂ＾２＊Ｃ＾２）／（Ｂ＾２＊Ｄ＾２）・・・（１）
ここでＢに注目する。
（１）が整数になるには分子がＢ＾２で割り切れることが必要。
Ａ／Ｂは既約分数であるからＡ＾２はＢ＾２では割り切れない。
なお、Ｂ＝１はありえない。Ｂ＝１ならばＸ，Ｙの面積の和は
整数＾２＋分数＾２ または 整数＾２＋整数＾２ となり
あきらかに３にはならず不適。
よってＤ＾２がＢ＾２で割り切れるはず。そこで
Ｄ＾２＝Ｍ＊Ｂ＾２ （ただし、Ｍは０以外の整数）
と表せるはずで、これを（１）に代入すると
（Ａ＾２＊Ｍ＊Ｂ＾２ ＋ Ｂ＾２＊Ｃ＾２）／（Ｂ＾２＊Ｍ＊Ｂ＾２）
＝（Ａ＾２＊Ｍ ＋ Ｃ＾２）／（Ｍ＊Ｂ＾２）・・・（２）
また Ｃ／Ｄ に代入すると Ｃ／（Ｍ＊Ｂ＾２） は既約分数となり
よってＭとＣは互いに素。（つづく）
タイトル