b_m=tan(1°+mπ/15)とtan(mπ/15)の間の式を得るexp(im2π/15)をtan(mπ/15)であらわし、exp(imπ/15)がx^15-1=0の解であることからtan(mπ/15)の15次方程式、ついでb_1~b_15を解に持つ15次方程式を得る。#ttp://www.dotup.org/uploda/www.dotup.org4626036.txt詳しい計算過程のリンク。#電卓使ったら4.019...てなる。