解決済み
せせせ整数論ですが
を自然数とする。がで割り切れる時、が成り立つことを示せる方はいらっしゃいますか?
ベストアンサー

(証明) を が割り切るような最大の整数 を と書く.仮定より,
ここで lifting-the-exponent lemma(https://en.wikipedia.org/wiki/Lifting-the-exponent_lemma)より,
であるから
したがって,
これが示すべきことであった.■
lifting-the-exponent lemma の証明は初等的ですが幾らか行数を要するので上のリンク先の記事へ説明を譲ります.
シェアしよう!
そのほかの回答(1件)
対偶を示す。
より、。
隣り合う偶数について、片方が4で割り切れ、もう片方は4で割り切れないことから、の片方はで割り切れるが、もう片方はで割り切れない偶数である。
このうちで割り切れる方も未満であることから、未満の数でしか割り切れない。
よって、はで割り切れない。
対偶が真であるため、この命題も真である。