第14章 14.11

S=12absinCS = \frac{1}{2}ab \cdot \sin C

b=sinBsinAab = \frac{\sin B}{\sin A}a

sinA=sin(180(B+C))=sin180cos(B+C)cos180sin(B+C)=sin(B+C)\sin A = \sin\bigl(180 - (B+C)\bigr) = \sin 180 \cdot \cos(B+C) - \cos 180 \cdot \sin(B+C) = \sin(B+C)

これから

b=sinBsin(B+C)ab = \frac{\sin B}{\sin(B+C)}a

S=12asinBsin(B+C)asinC=a2sinBsinC2sin(B+C)S = \frac{1}{2}a \cdot \frac{\sin B}{\sin(B+C)}a \cdot \sin C = \frac{a^2 \sin B \cdot \sin C}{2\sin(B+C)}

解説: r31bn1z