円周率に関する面白い性質

林邦英さんから教えていただきました。円の内接正多角形と外接正多角形の長さの差の比に関する面白い性質です。図を拡大して、ＣやＢを動かしてみましょう。この比が１：２に近づいていきます。証明できるでしょうか？

探索資源