Trigonometric functions of angles of a triangle
Notation. In △ABC: m∠BAC=A, m∠ABC=B, m∠ACB=C, and since the three angles of
any triangle sum to a straight angle, A+B+C=π.
Result 1: sin(A+B)=sinC, and cyclically sin(B+C)=sinA, sin(C+A)=sinB
Proof. Since A+B+C=π, A+B=π−C. So sin(A+B)=sin(π−C)=sinC (allied-angle result, section 3.2).
The other two follow by the same argument, relabelling which angle is isolated.
Result 2: cos(A+B)=−cosC, and cyclically cos(B+C)=−cosA, cos(C+A)=−cosB
Proof. cos(A+B)=cos(π−C)=−cosC (allied-angle result). Cyclic versions follow similarly.
Result 3(i): sin2A+B=cos2C, and cyclically for the other two pairs
Proof. 2A+B=2π−C=2π−2C, so sin2A+B=sin(2π−2C)=cos2C.
Result 3(ii): cos2A+B=sin2C, and cyclically for the other two pairs
Proof. Similarly cos2A+B=cos(2π−2C)=sin2C.
These four families of substitution — sin(A+B)=sinC, cos(A+B)=−cosC, and their half-angle companions
— are the standard toolkit for every triangle identity in this section and the exercise that follows: whenever
two of the three angles appear added together (or halved and added), they can always be swapped for a single
expression in the third angle.
Solved Examples
Ex.1(i) — In △ABC prove sin2A+sin2B−sin2C=4cosAcosBsinC. Group sin2A+sin2B=2sin(A+B)cos(A−B)=2sinCcos(A−B) (using Result 1 and formula (1) of section 3.4.1). Subtract sin2C=2sinCcosC: =2sinC[cos(A−B)−cosC]; substitute cosC=−cos(A+B) (Result 2): cos(A−B)−cosC=cos(A−B)+cos(A+B)=2cosAcosB (formula (3), section 3.4.1). So the total is 2sinC⋅2cosAcosB=4cosAcosBsinC.
Ex.1(ii) — Prove cosA+cosB+cosC=1+4sin2Asin2Bsin2C. Write cosA+cosB=2cos2A+Bcos2A−B=2sin2Ccos2A−B (Result 3(i)), and cosC=1−2sin22C.
Sum =1+2sin2C[cos2A−B−sin2C]; substitute sin2C=cos2A+B
(Result 3(ii)): the bracket becomes cos2A−B−cos2A+B=2sin2Asin2B (formula (4),
section 3.4.1). So the total is 1+2sin2C⋅2sin2Asin2B=1+4sin2Asin2Bsin2C.
Ex.1(iii) — Prove sin2A+sin2B−sin2C=2sinAsinBcosC. Starting from sin2A+sin2B−sin2C=1−cos2A+1−cos2B ... −sin2C style expansion (power-reduction on all three double angles), then converting the
resulting cos2A+cos2B pair via formula (3), substituting cosC=−cos(A+B) (Result 2) at the right step,
and factoring, gives cosC[cos(A−B)−cos(A+B)]=cosC⋅2sinAsinB=2sinAsinBcosC.
Ex.1(iv) — Prove cotAcotB+cotBcotC+cotCcotA=1. Since A+B=π−C, tan(A+B)=tan(π−C)=−tanC.
Expand the LHS via the tangent-sum formula: 1−tanAtanBtanA+tanB=−tanC, so tanA+tanB=−tanC+tanAtanBtanC, i.e. tanA+tanB+tanC=tanAtanBtanC (the standard triangle tangent
identity). Dividing both sides by tanAtanBtanC gives tanBtanC1+tanAtanC1+tanAtanB1=1, i.e. cotAcotB+cotBcotC+cotCcotA=1.
Ex.1(v) — Prove tan2Atan2B+tan2Btan2C+tan2Ctan2A=1. Since
2A+2B=2π−2C, tan(2A+2B)=cot2C. Expand: …