formula_11、formula_12⊥formula_13因为formula_14，formula_15，所以formula_16，所以formula_17，其余二角同理。
基本性质.这一定理可以等价描述为：若以任意三角形的各边为底边向形外作底角为30°的等腰三角形，则它们的顶点构成一个正三角形。本图形具备下列特征: