60度または120度の角度を持つ三角形の整列問題は特定区間の有理数の整列問題
$${A(0,\sqrt{3}),B(-1,0),C(1,0),D(x,0)}$$ 但し、$${0 < x < 1}$$ とすると、
$${\overline{AB}=\overline{BC}=\overline{CA}=2, \overline{BD}=1+x, \overline{CD}=1-x, \overline{AD}=\sqrt{x^2+3}}$$
です。そして、
$${\overline{BD}^2+\overline{CD}^2+\overlin