やはりちょっと聞きたいのですが、
最初に2^√2を基準に持ってくるのは、どうやって思いつくのですか？