rmula_55和formula_56，有：也表示为：它可以通过把三角形分为两个直角三角形并使用正弦的上述定义证明。在这个定理中出现的公共数formula_59是通过formula_54, formula_55和formula_56三点的圆的直径的倒数。正弦定理用于在一个三角形的两个角和一个边已知时计算未知边的长度。这是三角测量中常见情况。