πの近似計算：余弦定理＋√（ルート）の入れ子を外す例

 

入れ子構造の平方根の外し方・・・若干計算が面倒

d=√{2-√3}

  =√{(4-2√3)/2}

  =√{((√3)^2+(-1)^2+2x(-1)x√3)/2}

 =√{(√3-1)^2/2}

 =(√3-1)/√2

 =√2x(√3-1)/2

 ≒1.414x(1.732-1)/2

 =1.414x0.732/2

　

π≒6d　

 

こんな感じ。