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)

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