背理法を使ったルート2の証明全く意味が理解りません