talk:>>159
sqrt(1-(AB^2+AC^2-BC^2)^2/(4*AB^2*AC^2))=(AB^2-AC^2+BC^2)*(-AB^2+AC^2+BC^2)/sqrt(4*AB^2*AC^2*BC^4) を変形して、
BC^2*sqrt(4*AB^2*AC^2-(AB^2+AC^2-BC^2)^2)=(AB^2-AC^2+BC^2)*(-AB^2+AC^2+BC^2) となる。
両辺を二乗して因数分解してみよう。