ｃｏｓ（２π／１７）＝１／16｛−１＋√１７＋√（３４−２√１７）＋２√（１７＋３√１７＋√（１７０−２６√１７）−４√（３４＋２√１７）｝＝１．８６４９４

は

　　Ａ＝-1＋√１７

　　Ｂ＝（３４−２√１７）^1/2

　　Ｃ＝２｛１７＋３√１７＋（１７０−２６√１７）^1/2−４（３４＋２√１７）^1/2｝^1/2

とおくと

1/16・(A+B+C)

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

１／４（Ｄ−Ｂ−Ｃ）^1/2

　　Ｄ＝３４-√１７

　　Ｂ＝（３４−２√１７）^1/2

　　Ｃ＝２｛１７＋３√１７＋（１７０−２６√１７）^1/2−４（３４＋２√１７）^1/2｝^1/2

は2乗すると

　　１／16（Ｄ−Ｂ−Ｃ）

したがって,

１／16（Ｄ+Ａ）＝33/16

なにか誤りがあるようだ

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

単位円に内接する正17角形に1辺の長さは2sin(π/17)

=2{(1-cos(2π/17))/2}^1/2

={2(1-cos(2π/17))}^1/2

={2-1/8・(A+B+C)}^1/2

={1/8・(16-A-B-C)}^1/2

したがって,

2sin(π/17)＝１／2√2・（Ｄ−Ｂ−Ｃ）^1/2

　　Ｄ＝17-√１７

　　Ｂ＝（３４−２√１７）^1/2

　　Ｃ＝２｛１７＋３√１７＋（１７０−２６√１７）^1/2−４（３４＋２√１７）^1/2｝^1/2

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