［証明］π > 3.05 半径r=1の円に内接する正12角形の弦の長さLを求める。 正12角形を12個の2等辺3角形(中心角=30°)とする。 L={(cos75°*2)}*12 cos75°=cos45°cos30°- sin45°sin30° =(1/√2)*(√3/2) - (1/√2)*(1/2) =√3/(2√2) - 1/(2√2) =(√3-1)*√2 /4 = (1.732…