>>280
ありがとうございます。
背理法が使えるなんて思いつきもしませんでした。

ついでに申し訳ないんですが、
この問題は式変形をしていって解くことはできないんでしょうか?