高校生のための数学の質問スレPART229

>>640
とりあえず、こんな感じだけと、おｋ？もっと別な形の証明を想像？

互いに素でなければ、1より大きい公約数が存在する。
その公約数の素因数を一つとってpとすると
k^2≡0　mod(p)であり　2k+1≡0　mod(p)。　pは素数なので　前者より　k≡0　mod(p)。
すると　2k+1≡1　mod(p)となり後者と矛盾する。