背理法で示すなら矛盾を導かなければならないのはそうだけど、それを

＞計算間違いをしないと

といったらあかんやろ。
むしろ計算ミスはしたらアウト。
どこにも計算ミス、ロジックエラーもないにもかかわらず矛盾が導けてなんぼなんだから。
計算ミスしても気づけないなら背理法は使えないも同然。