>>211
証明

単位円と正十二角形: 半径1の円（単位円）に内接する正十二角形を考えます。
正十二角形の辺の長さ: 正十二角形の中心角は360°/12 = 30°です。正十二角形の一つの辺を弦とする中心角30°の二等辺三角形を考え、頂点から対辺に下ろした垂線を引きます。これにより、30°の角は15°の角に二等分され、直角三角形ができます。この直角三角形の斜辺は単位円の半径なので1、一つの角は15°です。
三平方の定理の利用: この直角三角形に三平方の定理を適用して、正十二角形の一辺の長さを求めます。
正十二角形の周長: 求めた一辺の長さを12倍して、正十二角形の周長を計算します。
円周との比較: 円周は2πであり、正十二角形の周長は円周より短いので、不等式を立てて円周率πについて解きます。