回答

互いに素ではないということは、1以外に同じ約数を持つということです
ここで、1以外の整数は全て素数か合成数(素数を掛け合わせた整数)なので、同じ約数を持つ=共通因数をもつ ということになります
したがって、a+bとabを素数pと整数k、lでそれぞれさ

Antares

それぞれ置くことでpが素数ではないという矛盾から命題を背理法により証明することができます

この回答にコメントする
疑問は解決しましたか?