>>18
すいません。
前提条件が 『aとbとは互いに素の正の整数とする。 』でした。
(2)で題意の逆か裏が矛盾だと示したら、
題意を示したことになると思っていたのですがそうではないのですか？