>>935
円かどうかは本質じゃないな。円と同じ大きさの正方形で考える方がいいだろう。
円にすると無駄に難しくなりすぎて議論がミスリードされてしまう。
要は無理数が計れるかどうかってこと。