cos（２π／17）＝（-1+√17）／16+{(34-2√17)＾1/2}/16+1/16・C＾1/2

C=68+12root17+2(-1+root17)・(34-2root17)^1/2-16・(34+2root17)^1/2

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

は

　　Ａ＝-1＋√１７

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

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

とおくと

1/16・(A+B+C)

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

cos（２π／17）＝（-1+√17）／16+{(34-2√17)＾1/2}/16+1/16・Ｄ^1/2

Ｄ=68+12root17+2(-1+root17)・(34-2root17)^1/2-16・(34+2root17)^1/2

は

　　Ａ＝-1＋√１７

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

　　Ｃ＝｛68＋12√１７＋2（-1+√17)（34-2√１７）^1/2−16（３４＋２√１７）^1/2｝^1/2

とおくと

1/16・(A+B+C)

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

ｃｏｓ（２π／１７）＝-1/16+1/16･√17+1/16･√{(34-2√17)+1/8･√(17+3√17)-√(34-2√17)-2√(34+2√17)}=0.92247･･･

は

　　Ａ＝-1＋√１７

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

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

とおくと

1/16・(A+B+C)

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