先生「xが正の数、yが負の数の時、x-yは必ず正の数になる」
■ このスレッドは過去ログ倉庫に格納されています
計算機だとオーバーフローする可能性もあるんじゃないか? 私が証明して差し上げます。
x > 0 …… (1)
y < 0 …… (2)
(2) より、
-y > 0 …… (3)
(1), (3) より、
x + (-y) > 0 …… (4)
を得る。
ここで減法の定義より、x - y = x + (-y) なので、
x - y > 0
となり、題意が示される。 ■ このスレッドは過去ログ倉庫に格納されています