Skip to content

Mathematics · Ch 3 — Trigonometry - II

Trigonometric Functions of Angles of a Triangle

3.5

Trigonometric Functions of Angles of a Triangle

Trigonometric functions of angles of a triangle

Notation. In △ABC\triangle ABC: m∠BAC=A, m∠ABC=B, m∠ACB=Cm\angle BAC=A,\ m\angle ABC=B,\ m\angle ACB=C, and since the three angles of

any triangle sum to a straight angle, A+B+C=πA+B+C=\pi.

Result 1: sin⁡(A+B)=sin⁡C\sin(A+B)=\sin C, and cyclically sin⁡(B+C)=sin⁡A, sin⁡(C+A)=sin⁡B\sin(B+C)=\sin A,\ \sin(C+A)=\sin B

Proof. Since A+B+C=πA+B+C=\pi, A+B=π−CA+B=\pi-C. So sin⁡(A+B)=sin⁡(π−C)=sin⁡C\sin(A+B)=\sin(\pi-C)=\sin C (allied-angle result, section 3.2).

The other two follow by the same argument, relabelling which angle is isolated.

Result 2: cos⁡(A+B)=−cos⁡C\cos(A+B)=-\cos C, and cyclically cos⁡(B+C)=−cos⁡A, cos⁡(C+A)=−cos⁡B\cos(B+C)=-\cos A,\ \cos(C+A)=-\cos B

Proof. cos⁡(A+B)=cos⁡(π−C)=−cos⁡C\cos(A+B)=\cos(\pi-C)=-\cos C (allied-angle result). Cyclic versions follow similarly.

Result 3(i): sin⁡A+B2=cos⁡C2\sin\dfrac{A+B}{2}=\cos\dfrac{C}{2}, and cyclically for the other two pairs

Proof. A+B2=π−C2=π2−C2\dfrac{A+B}{2}=\dfrac{\pi-C}{2}=\dfrac{\pi}{2}-\dfrac{C}{2}, so sin⁡A+B2=sin⁡(π2−C2)=cos⁡C2\sin\dfrac{A+B}{2}=\sin\left( \dfrac{\pi}{2}-\dfrac{C}{2}\right)=\cos\dfrac{C}{2}.

Result 3(ii): cos⁡A+B2=sin⁡C2\cos\dfrac{A+B}{2}=\sin\dfrac{C}{2}, and cyclically for the other two pairs

Proof. Similarly cos⁡A+B2=cos⁡(π2−C2)=sin⁡C2\cos\dfrac{A+B}{2}=\cos\left(\dfrac{\pi}{2}-\dfrac{C}{2}\right)=\sin\dfrac{C}{2}.

These four families of substitution — sin⁡(A+B)=sin⁡C\sin(A+B)=\sin C, cos⁡(A+B)=−cos⁡C\cos(A+B)=-\cos C, 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\triangle ABC prove sin⁡2A+sin⁡2B−sin⁡2C=4cos⁡Acos⁡Bsin⁡C\sin2A+\sin2B-\sin2C=4\cos A\cos B\sin C. Group sin⁡2A+sin⁡2B=2sin⁡(A+B)cos⁡(A−B)=2sin⁡Ccos⁡(A−B)\sin2A+\sin2B =2\sin(A+B)\cos(A-B)=2\sin C\cos(A-B) (using Result 1 and formula (1) of section 3.4.1). Subtract sin⁡2C=2sin⁡Ccos⁡C\sin2C =2\sin C\cos C: =2sin⁡C[cos⁡(A−B)−cos⁡C]=2\sin C[\cos(A-B)-\cos C]; substitute cos⁡C=−cos⁡(A+B)\cos C=-\cos(A+B) (Result 2): cos⁡(A−B)−cos⁡C=cos⁡(A−B)+cos⁡(A+B)=2cos⁡Acos⁡B\cos(A-B)-\cos C =\cos(A-B)+\cos(A+B)=2\cos A\cos B (formula (3), section 3.4.1). So the total is 2sin⁡C⋅2cos⁡Acos⁡B=4cos⁡Acos⁡Bsin⁡C2\sin C\cdot2\cos A\cos B =4\cos A\cos B\sin C.

Ex.1(ii) — Prove cos⁡A+cos⁡B+cos⁡C=1+4sin⁡A2sin⁡B2sin⁡C2\cos A+\cos B+\cos C=1+4\sin\dfrac A2\sin\dfrac B2\sin\dfrac C2. Write cos⁡A+cos⁡B=2cos⁡A+B2cos⁡A−B2=2sin⁡C2cos⁡A−B2\cos A+\cos B =2\cos\dfrac{A+B}2\cos\dfrac{A-B}2=2\sin\dfrac C2\cos\dfrac{A-B}2 (Result 3(i)), and cos⁡C=1−2sin⁡2C2\cos C=1-2\sin^2\dfrac C2.

Sum =1+2sin⁡C2[cos⁡A−B2−sin⁡C2]=1+2\sin\dfrac C2\left[\cos\dfrac{A-B}2-\sin\dfrac C2\right]; substitute sin⁡C2=cos⁡A+B2\sin\dfrac C2=\cos\dfrac{A+B}2

(Result 3(ii)): the bracket becomes cos⁡A−B2−cos⁡A+B2=2sin⁡A2sin⁡B2\cos\dfrac{A-B}2-\cos\dfrac{A+B}2=2\sin\dfrac A2\sin\dfrac B2 (formula (4),

section 3.4.1). So the total is 1+2sin⁡C2⋅2sin⁡A2sin⁡B2=1+4sin⁡A2sin⁡B2sin⁡C21+2\sin\dfrac C2\cdot2\sin\dfrac A2\sin\dfrac B2=1+4\sin\dfrac A2\sin\dfrac B2 \sin\dfrac C2.

Ex.1(iii) — Prove sin⁡2A+sin⁡2B−sin⁡2C=2sin⁡Asin⁡Bcos⁡C\sin2A+\sin2B-\sin2C=2\sin A\sin B\cos C. Starting from sin⁡2A+sin⁡2B−sin⁡2C=1−cos⁡2A+1−cos⁡2B\sin2A+\sin2B-\sin2C=1-\cos2A +1-\cos2B ... −sin⁡2C-\sin^2C style expansion (power-reduction on all three double angles), then converting the

resulting cos⁡2A+cos⁡2B\cos2A+\cos2B pair via formula (3), substituting cos⁡C=−cos⁡(A+B)\cos C=-\cos(A+B) (Result 2) at the right step,

and factoring, gives cos⁡C[cos⁡(A−B)−cos⁡(A+B)]=cos⁡C⋅2sin⁡Asin⁡B=2sin⁡Asin⁡Bcos⁡C\cos C[\cos(A-B)-\cos(A+B)]=\cos C\cdot2\sin A\sin B=2\sin A\sin B\cos C.

Ex.1(iv) — Prove cot⁡Acot⁡B+cot⁡Bcot⁡C+cot⁡Ccot⁡A=1\cot A\cot B+\cot B\cot C+\cot C\cot A=1. Since A+B=π−CA+B=\pi-C, tan⁡(A+B)=tan⁡(π−C)=−tan⁡C\tan(A+B)=\tan(\pi-C)=-\tan C.

Expand the LHS via the tangent-sum formula: tan⁡A+tan⁡B1−tan⁡Atan⁡B=−tan⁡C\dfrac{\tan A+\tan B}{1-\tan A\tan B}=-\tan C, so tan⁡A+tan⁡B=−tan⁡C+tan⁡Atan⁡Btan⁡C\tan A+\tan B =-\tan C+\tan A\tan B\tan C, i.e. tan⁡A+tan⁡B+tan⁡C=tan⁡Atan⁡Btan⁡C\tan A+\tan B+\tan C=\tan A\tan B\tan C (the standard triangle tangent

identity). Dividing both sides by tan⁡Atan⁡Btan⁡C\tan A\tan B\tan C gives 1tan⁡Btan⁡C+1tan⁡Atan⁡C+1tan⁡Atan⁡B=1\dfrac{1}{\tan B\tan C}+\dfrac{1}{\tan A\tan C} +\dfrac{1}{\tan A\tan B}=1, i.e. cot⁡Acot⁡B+cot⁡Bcot⁡C+cot⁡Ccot⁡A=1\cot A\cot B+\cot B\cot C+\cot C\cot A=1.

Ex.1(v) — Prove tan⁡A2tan⁡B2+tan⁡B2tan⁡C2+tan⁡C2tan⁡A2=1\tan\dfrac A2\tan\dfrac B2+\tan\dfrac B2\tan\dfrac C2+\tan\dfrac C2\tan\dfrac A2=1. Since

A2+B2=π2−C2\dfrac A2+\dfrac B2=\dfrac{\pi}2-\dfrac C2, tan⁡(A2+B2)=cot⁡C2\tan\left(\dfrac A2+\dfrac B2\right)=\cot\dfrac C2. Expand: …

Misc Ex.1In ΔABC prove: sin2A+sin2B-sin2C=4cosAcosBsinC; cosA+cosB+cosC=1+4sin(A/2)sin(B/2)sin(C/2); sin2A+sin2B-sin2C=2sinAsinBcosC; cotAcotB+cotBcotC+cotCcotA=1; tan(A/2)tan(B/2)+tan(B/2)tan(C/2)+tan(C/2)tan(A/2)=1; (cosA-cosB+cosC-1)/(cosA+cosB+cosC-1)=cot(A/2)cot(C/2)

Worked out. Six worked identities that establish the standard toolkit for the exercise below: each substitutes A+B=π−CA+B=\pi-C (or its half-angle form) into a sum-to-product step, then simplifies. Parts (iv) and (v) additionally use the tangent-sum formula applied to A+B=π−CA+B=\pi-C to derive the tan-product-equals-tan-sum triangle relation and its half-angle analogue. …