高校数学の質問スレ Part435

[0142 １３２人目の素数さん 2024/05/14(火) 09:29:56.94 ID:9S0/3Gdv]

>>100, >>138 から
〔補題〕
A+B+C=π のとき
　sin(2A) ＋ sin(2C)−2･sin(2B) =
　= cos(A)･cos(B)･cos(C) {2･tan(B)−tan(A)−tan(C)},