以上的推导过程使用了正弦定理，“在任意一个平面三角形中，各边和它所对角的正弦值的比相等且等于外接圆的直径”，即a/sinA = b/sinB =c/sinC = 2r=D（r为外接圆半径，D为直径）。