>>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)},