>数学者でも背理法がうまく使えないのは面白い
それに数学者自身が気づいていることが多い
間違いを繰り返しながら何か月もかけて考えた挙句
有名な論文の命題が使えることに気づいたおかげで
修士論文が書けたが
そのあとで背理法を使えばあっさり証明できることに気づいて
愕然としたことがある。