在formula_23上，且formula_24、formula_25容易得出formula_26，由此等式还可以得出以下三式：由正弦定理可得出：从这里可以得出formula_32的三个内角，计算出formula_33和formula_34的正弦值：我们知道：从引理我们可以得出：化简后得出：因为formula_32和formula_43相似，所以可得出：同理可得出：综合以上结果，可得出formula_48，因此formula_49是等边三角形
推广