- 19 名前：１３２人目の素数さん mailto:sage [2021/09/11(土) 00:09:45.43 ID:gfbny1rI.net]
- 加法公式で
tan(A+B+C) = sin(A+B+C)/cos(A+B+C)
= {tan(A)+tan(B)+tan(C)-tan(A)tan(B)tan(C)}/{1-tan(A)tan(B)-tan(B)tan(C)-tan(C)tan(A)}
A+B+C=180° のとき
tan(A+B+C) = 0,
∴ tan(A) + tan(B) + tan(C) - tan(A)tan(B)tan(C) = 0,
