【Coq】コンピューターで証明しよう【コック】©2ch.net

[0048 １３２人目の素数さん 2015/01/28(水) 20:07:20.02 ID:Q7XfmRRj]

>>44
集合問題でなく整数問題の系統だが、まずはこういう易しめのお題はどう？
お題：正整数m、nがあり、LCM(m,n) + GCD(m,n) = m + n とする。
このとき、m, n のどちらか一方は、他方によって割り切れることを示せ。