>>899
鈍角を r(n) ラジアンとする。
r(0) = B
r(n+1) = π - (1/2)r(n)
r(n+1) -(2/3)π = -(1/2) (r(n)-(2/3)π)
r(n)-(2/3)π = {-(1/2)}^n {B-(2/3)π}
n→∞の時 r(n) → (2/3)π となり、その二等分はπ/3で正三角形の内角