asinA=bsinB=csinC=2R\frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}=2RsinAa=sinBb=sinCc=2R
三角形三边与对角正弦之比等于外接圆直径.
核心：判断 p⇒ q 与 q⇒ p 的真假。
一群身份根本不是数学家的人，在做着同样硬的东西。
