Skip to content

Identities in a triangle and proving claims

Identities in a triangle and proving claims

The sum of the angles in a triangle

In a triangle α+β+γ=180∘\displaystyle {\alpha+\beta+\gamma}={180^\circ}, so α=180∘−(β+γ)\displaystyle {\alpha}={180^\circ-(\beta+\gamma)}. By the identities of angles adding up to 180∘\displaystyle 180^\circ:

  • sin⁡α=sin⁡(β+γ)\displaystyle {\sin\alpha}={\sin(\beta+\gamma)}.
  • cos⁡α=−cos⁡(β+γ)\displaystyle {\cos\alpha}={-\cos(\beta+\gamma)}.

So one angle is written with the two others, and the sum formulas open it up.

The area from a side and two angles

The proof below finds b\displaystyle b by the law of sines and puts it into the area formula.
In triangle ABC\displaystyle ABC the side a\displaystyle a and the angles next to it, β\displaystyle \beta and γ\displaystyle \gamma, are given.

ClaimReason
1bsin⁡β=asin⁡α\displaystyle {\frac{b}{\sin\beta}}={\frac{a}{\sin\alpha}}, so b=asin⁡βsin⁡α\displaystyle {b}={\frac{a\sin\beta}{\sin\alpha}}The law of sines
2sin⁡α=sin⁡(β+γ)\displaystyle {\sin\alpha}={\sin(\beta+\gamma)}α=180∘−(β+γ)\displaystyle {\alpha}={180^\circ-(\beta+\gamma)}
3S=12absin⁡γ\displaystyle {S}={\frac{1}{2}ab\sin\gamma}The area of a triangle: two sides and the angle between them
4S=12a⋅asin⁡βsin⁡(β+γ)⋅sin⁡γ=a2sin⁡βsin⁡γ2sin⁡(β+γ)\displaystyle {S}={\frac{1}{2}a\cdot\frac{a\sin\beta}{\sin(\beta+\gamma)}\cdot\sin\gamma}={\frac{a^2\sin\beta\sin\gamma}{2\sin(\beta+\gamma)}}Putting (1) and (2) into (3)
When the triangle is isosceles

The proof below shows: if in triangle ABC\displaystyle ABC a=2bcos⁡γ\displaystyle {a}={2b\cos\gamma}, then the triangle is isosceles, β=γ\displaystyle {\beta}={\gamma}. It goes from sides to sines by the law of sines, and uses sin⁡α=sin⁡(β+γ)\displaystyle {\sin\alpha}={\sin(\beta+\gamma)}.

ClaimReason
1a=2Rsin⁡α\displaystyle {a}={2R\sin\alpha}, b=2Rsin⁡β\displaystyle {b}={2R\sin\beta}The law of sines
2sin⁡α=2sin⁡βcos⁡γ\displaystyle {\sin\alpha}={2\sin\beta\cos\gamma}Putting (1) into a=2bcos⁡γ\displaystyle {a}={2b\cos\gamma}, and dividing by 2R\displaystyle 2R
3sin⁡βcos⁡γ+cos⁡βsin⁡γ=2sin⁡βcos⁡γ\displaystyle {\sin\beta\cos\gamma+\cos\beta\sin\gamma}={2\sin\beta\cos\gamma}sin⁡α=sin⁡(β+γ)\displaystyle {\sin\alpha}={\sin(\beta+\gamma)}, and the sum formula
4sin⁡βcos⁡γ−cos⁡βsin⁡γ=0\displaystyle {\sin\beta\cos\gamma-\cos\beta\sin\gamma}={0}, that is sin⁡(β−γ)=0\displaystyle {\sin(\beta-\gamma)}={0}Moving the terms, and the difference formula
5β−γ=0\displaystyle {\beta-\gamma}={0}, that is β=γ\displaystyle {\beta}={\gamma}−180∘<β−γ<180∘\displaystyle -180^\circ<\beta-\gamma<180^\circ, and there the sine is 0 only at 0∘\displaystyle 0^\circ
A chord in a circle

The law of sines gives the length of every chord in a circle of radius R\displaystyle R: the chord is 2R\displaystyle 2R times the sine of an inscribed angle standing on it. This helps to compare chords with identities.

An equilateral triangle ABC\displaystyle ABC is inscribed in a circle of radius R\displaystyle R. The point D\displaystyle D is on the arc BC\displaystyle BC that does not hold A\displaystyle A.
Let θ=∠BAD\displaystyle {\theta}={\angle BAD}.
Prove: AD=BD+CD\displaystyle {AD}={BD+CD}.

  • BD=2Rsin⁡θ\displaystyle {BD}={2R\sin\theta} (the angle BAD\displaystyle BAD stands on BD\displaystyle BD).
  • CD=2Rsin⁡(60∘−θ)\displaystyle {CD}={2R\sin(60^\circ-\theta)} (the angle CAD\displaystyle CAD is 60∘−θ\displaystyle 60^\circ-\theta).
  • AD=2Rsin⁡∠ABD\displaystyle {AD}={2R\sin\angle ABD}, and ∠ABD=∠ABC+∠CBD=60∘+(60∘−θ)=120∘−θ\displaystyle {\angle ABD}={\angle ABC+\angle CBD}={60^\circ+(60^\circ-\theta)}={120^\circ-\theta} (∠CBD=∠CAD\displaystyle {\angle CBD}={\angle CAD}: they stand on the same arc).
  • What is left is the identity sin⁡θ+sin⁡(60∘−θ)=sin⁡(120∘−θ)\displaystyle {\sin\theta+\sin(60^\circ-\theta)}={\sin(120^\circ-\theta)} – that is Exercise 1.
Exercise 1

Prove the identity, which completes the proof that AD=BD+CD\displaystyle {AD}={BD+CD}. The card has x\displaystyle x in place of θ\displaystyle \theta, and the angles in degrees.

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

    Exercise 2

    In triangle ABC\displaystyle ABC, sin⁡α=2sin⁡βcos⁡γ\displaystyle {\sin\alpha}={2\sin\beta\cos\gamma}.
    Prove that the triangle is isosceles.
    A hint: sin⁡α=sin⁡(β+γ)\displaystyle {\sin\alpha}={\sin(\beta+\gamma)}. In the card – y\displaystyle y for β\displaystyle \beta and z\displaystyle z for γ\displaystyle \gamma: show that sin⁡(β+γ)−2sin⁡βcos⁡γ=sin⁡(γ−β)\displaystyle {\sin(\beta+\gamma)-2\sin\beta\cos\gamma}={\sin(\gamma-\beta)}.

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

      The end of the proof

      What does sin⁡(γ−β)=0\displaystyle {\sin(\gamma-\beta)}={0} give, when the angles are angles of a triangle?

      Exercise 3

      In triangle ABC\displaystyle ABC: BC=10\displaystyle {BC}={10}, β=50∘\displaystyle {\beta}={50^\circ}, γ=60∘\displaystyle {\gamma}={60^\circ}.
      Find the area of the triangle.

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

        Exercise 4

        ABCD\displaystyle ABCD is a square. E\displaystyle E is the midpoint of the side BC\displaystyle BC, and F\displaystyle F the midpoint of the side CD\displaystyle CD.
        Work out sin⁡∠EAF\displaystyle \sin\angle EAF without a calculator.

        a

        Explain why tan⁡∠BAE=12\displaystyle {\tan\angle BAE}={\frac{1}{2}}, and why ∠EAF=90∘−2∠BAE\displaystyle {\angle EAF}={90^\circ-2\angle BAE}.

        b

        So ∠EAF=90∘−2tan⁡−112\displaystyle {\angle EAF}={90^\circ-2\tan^{-1}\frac{1}{2}}. Work it out without a calculator. A hint: sin⁡(90∘−x)=cos⁡x\displaystyle {\sin(90^\circ-x)}={\cos x}, and cos⁡2α=1−tan⁡2α1+tan⁡2α\displaystyle {\cos2\alpha}={\frac{1-\tan^2\alpha}{1+\tan^2\alpha}}.

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

          c

          Solve again another way: the square’s side is 2\displaystyle 2. Find AE\displaystyle AE, AF\displaystyle AF and EF\displaystyle EF, and cos⁡∠EAF\displaystyle \cos\angle EAF by the law of cosines. What is sin⁡∠EAF\displaystyle \sin\angle EAF?

            / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

            / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power