✨ ベストアンサー ✨
解決済みになっていますが、一箇所間違いがあります
「a+bとbは共通因数を持つので矛盾」というのは実は良くないです。a+bとbが互いに素であったとしてもa+bとbは共通因数を持ちます。それは1です。
へりくつに聞こえるかもしれませんが1という共通因数がある以上、「共通因数を持つから互いに素に矛盾」という論法はツッコミが入ってしまいます
そこで前半を
「aとbが2以上の共通因数を持つ」と仮定する
a=kx, b=ky (x,yは自然数, k≧2)
と修正しましょう。これで文句はないです
あと些細なことですが、「矛盾」の字を両方とも間違えていますね
いえいえ(`・ω・´)
指摘していただきありがとうございます‼️