直線で囲まれた図形に関してなら、ユークリッドの公理から直ちに導けると思ったが、できなかった。
そもそも、相似（「かたち」が等しい）というのは、点や線や角などの概念がどういう性質を満たしているのかが分からない。
三角形であれば、相似とは角が等しいことと「定義」すればいいことは知っているが、その定義が我々の素朴な認識に適うものであるか、よく考えると分からない。