図でかいてみるとすぐにわかるけど
bSinB=cSinC
bCosB+cCosC=1もなりたつわね。
これはb,cに関する連立方程式とみれば
b=sinC/d c=SinB/dと計算できるわね。
bc=sinB*sinC/d^2
bcd=sinB*sinC/d
だからsin(B+C)=sinB*sinC/d=d
sin(B+C)=sinBcosC+cosBsinCがなりたつことがわかるわね。
高校１年生の夏休みまでに加法定理の証明ができたわ
ちょっと素敵な話でしょ？