（その８）より

　　Πｓｉｎｋπ／２ｎ＝Πｃｏｓｋπ／２ｎ＝√ｎ／２^n-1

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［定理］正ｎ角形が半径１の円に内接している．ひとつの頂点からでるすべての辺と対角線の長さの積は頂点数に等しい．

　　ΠＰ0Ｐk＝ｎ

は

Π２ｓｉｎｋπ／ｎ＝ｎと同値．

Π４ｓｉｎｋπ／２ｎ・ｃｏｓｋπ／２ｎ＝ｎと同値．

　　Πｓｉｎｋπ／２ｎ＝Πｃｏｓｋπ／２ｎ＝√ｎ／２^n-1

より

　　Π４ｓｉｎｋπ／２ｎ・ｃｏｓｋπ／２ｎ＝ｎ　　（ＱＥＤ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝