>>686
なんも難しいことは言っていないつもり。
証明すべき命題の否定から出発して、
幾つかの可能性が生じたならそのどれをたどっても矛盾になることを言え、といっている。
今の例でいうなら、7^m=3^nが導かれているところで、m≧1、n≧1なら素因数分解の一意性に反する。
m＝n＝0ならその式は成立するが、ｍ、ｎの仮定に反する。
（質問者は、m/n、m、nは互いに素、としているが、最初からm、ｎ≧1としていれば、素因数分解で終わり。）
m=n=0を言わんでも殆ど減点されないとおもうけど。
100人の受験生がいて、ひとりでもそこまで書いていれば、書いてない答案からはその分を引く。
全部遡って採点しなおすよ。