Skip to content

Using the scalar product: proofs, lengths and angles

Using the scalar product: proofs, lengths and angles

Perpendicularity and lengths

The scalar product adds two tools to proofs with vectors:

  • perpendicularity: prove that u‾⋅v‾=0\displaystyle {\underline{u}\cdot\underline{v}}={0};
  • lengths and angles: work out w‾2\displaystyle \underline{w}^2 or cos⁡α=u‾⋅v‾∣u‾∣⋅∣v‾∣\displaystyle {\cos\alpha}={\frac{\underline{u}\cdot\underline{v}}{|\underline{u}|\cdot|\underline{v}|}}.

What you need to know about the base vectors: their lengths and the angles between them – that is, all the products u‾2\displaystyle \underline{u}^2, v‾2\displaystyle \underline{v}^2, u‾⋅v‾\displaystyle \underline{u}\cdot\underline{v}.

Proof: the diagonals of a rhombus

uvABCD

We prove: the diagonals of a rhombus are perpendicular to each other.

The proof below multiplies the diagonals in a scalar product, and shows the product is 0.

  • AB→=u‾\displaystyle {\overrightarrow{AB}}={\underline{u}}, AD→=v‾\displaystyle {\overrightarrow{AD}}={\underline{v}}, and in a rhombus ∣u‾∣=∣v‾∣\displaystyle {|\underline{u}|}={|\underline{v}|}.
  • AC→=u‾+v‾\displaystyle {\overrightarrow{AC}}={\underline{u}+\underline{v}}, BD→=v‾−u‾\displaystyle {\overrightarrow{BD}}={\underline{v}-\underline{u}}.
  • AC→⋅BD→=(v‾+u‾)⋅(v‾−u‾)=v‾2−u‾2=0\displaystyle {\overrightarrow{AC}\cdot\overrightarrow{BD}}={(\underline{v}+\underline{u})\cdot(\underline{v}-\underline{u})}={\underline{v}^2-\underline{u}^2}={0}.
  • So AC⊥BD\displaystyle AC\perp BD.
Proof: a line perpendicular to a plane

We prove: if a line is perpendicular to two intersecting lines in a plane through its foot, it is perpendicular to every line in the plane through the foot.

The proof below writes any line in the plane as a combination of the two lines.

  • n‾\displaystyle \underline{n} is a vector along the line, and u‾\displaystyle \underline{u}, v‾\displaystyle \underline{v} vectors along the two intersecting lines: n‾⋅u‾=0\displaystyle {\underline{n}\cdot\underline{u}}={0}, n‾⋅v‾=0\displaystyle {\underline{n}\cdot\underline{v}}={0}.
  • u‾\displaystyle \underline{u} and v‾\displaystyle \underline{v} are independent, so every vector w‾\displaystyle \underline{w} in the plane is su‾+tv‾\displaystyle s\underline{u}+t\underline{v}.
  • n‾⋅w‾=s(n‾⋅u‾)+t(n‾⋅v‾)=0\displaystyle {\underline{n}\cdot\underline{w}}={s(\underline{n}\cdot\underline{u})+t(\underline{n}\cdot\underline{v})}={0}.

The three perpendiculars theorem is proved the same way: PA→=PP′→+P′A→\displaystyle {\overrightarrow{PA}}={\overrightarrow{PP'}+\overrightarrow{P'A}}, and for every vector d‾\displaystyle \underline{d} in the plane d‾⋅PP′→=0\displaystyle {\underline{d}\cdot\overrightarrow{PP'}}={0}. So d‾⋅PA→=d‾⋅P′A→\displaystyle {\underline{d}\cdot\overrightarrow{PA}}={\underline{d}\cdot\overrightarrow{P'A}}: one is 0 if and only if the other is.

Example: the angle between diagonals

uwABCDA′B′C′D′

In the box ABCDA′B′C′D′\displaystyle ABCDA'B'C'D': AB→=u‾\displaystyle {\overrightarrow{AB}}={\underline{u}}, AD→=v‾\displaystyle {\overrightarrow{AD}}={\underline{v}}, AA′→=w‾\displaystyle {\overrightarrow{AA'}}={\underline{w}}, and ∣u‾∣=4\displaystyle {|\underline{u}|}={4}, ∣v‾∣=3\displaystyle {|\underline{v}|}={3}, ∣w‾∣=2\displaystyle {|\underline{w}|}={2}.
Find the angle between the diagonals AC′\displaystyle AC' and BD′\displaystyle BD'.

The solution below uses the fact that the box’s edges are perpendicular: the product of any two different vectors among u‾\displaystyle \underline{u}, v‾\displaystyle \underline{v}, w‾\displaystyle \underline{w} is 0.

  • AC′→=u‾+v‾+w‾\displaystyle {\overrightarrow{AC'}}={\underline{u}+\underline{v}+\underline{w}}, BD′→=−u‾+v‾+w‾\displaystyle {\overrightarrow{BD'}}={-\underline{u}+\underline{v}+\underline{w}}.
  • AC′→⋅BD′→=−u‾2+v‾2+w‾2=−16+9+4=−3\displaystyle {\overrightarrow{AC'}\cdot\overrightarrow{BD'}}={-\underline{u}^2+\underline{v}^2+\underline{w}^2}={-16+9+4}={-3}.
  • ∣AC′→∣2=16+9+4=29\displaystyle {|\overrightarrow{AC'}|^2}={16+9+4}={29}, and also ∣BD′→∣2=29\displaystyle {|\overrightarrow{BD'}|^2}={29}.
  • cos⁡α=−329\displaystyle {\cos\alpha}={\frac{-3}{29}}, so α≈95.94∘\displaystyle \alpha\approx95.94^{\circ}. The angle between the lines is the acute one: 180∘−95.94∘=84.06∘\displaystyle {180^{\circ}-95.94^{\circ}}={84.06^{\circ}}.
Exercise 1

acABCO

AB\displaystyle AB is a diameter of a circle with centre O\displaystyle O, and C\displaystyle C is a point on the circle. OB→=a‾\displaystyle {\overrightarrow{OB}}={\underline{a}}, OC→=c‾\displaystyle {\overrightarrow{OC}}={\underline{c}}.

a
CA→⋅CB→\displaystyle \overrightarrow{CA}\cdot\overrightarrow{CB}, with a, c – open the brackets

    / – 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

    b

    Prove: an inscribed angle on a diameter is a right angle.

    Exercise 2

    In the parallelogram ABCD\displaystyle ABCD: AB→=u‾\displaystyle {\overrightarrow{AB}}={\underline{u}}, AD→=v‾\displaystyle {\overrightarrow{AD}}={\underline{v}}.
    Prove: the sum of the squares of the diagonals equals the sum of the squares of the sides. Open AC→2+BD→2\displaystyle \overrightarrow{AC}^2+\overrightarrow{BD}^2.

      / – 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 3

      ABCD

      In the triangle ABC\displaystyle ABC, CD\displaystyle CD is the height to the side AB\displaystyle AB (or to its extension).
      CB→=v‾\displaystyle {\overrightarrow{CB}}={\underline{v}}, CA→=u‾\displaystyle {\overrightarrow{CA}}={\underline{u}}, AD→=t⋅AB→\displaystyle {\overrightarrow{AD}}={t\cdot\overrightarrow{AB}}.
      ∣v‾∣=2\displaystyle {|\underline{v}|}={2}, ∣u‾∣=1\displaystyle {|\underline{u}|}={1}, cos⁡∠ACB=34\displaystyle {\cos\angle ACB}={\frac{3}{4}}.

      a
      u‾⋅v‾\displaystyle \underline{u}\cdot\underline{v}

        / – 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

        b
        CD→\displaystyle \overrightarrow{CD}, with t\displaystyle t, u, v

          / – 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

          CD→⋅AB→=0\displaystyle {\overrightarrow{CD}\cdot\overrightarrow{AB}}={0}. Open it, put in u‾2\displaystyle \underline{u}^2, v‾2\displaystyle \underline{v}^2, u‾⋅v‾\displaystyle \underline{u}\cdot\underline{v}, and find t\displaystyle t.

            d

            What does the sign of t\displaystyle t tell you about where D\displaystyle D is?

            Exercise 4

            In a cube ABCDA′B′C′D′\displaystyle ABCDA'B'C'D' of edge 2: AB→=u‾\displaystyle {\overrightarrow{AB}}={\underline{u}}, AD→=v‾\displaystyle {\overrightarrow{AD}}={\underline{v}}, AA′→=w‾\displaystyle {\overrightarrow{AA'}}={\underline{w}}.
            Find the angle between the diagonal AC′\displaystyle AC' and the edge AB\displaystyle AB. Round to two decimal places.

            a
            AC′→⋅AB→\displaystyle \overrightarrow{AC'}\cdot\overrightarrow{AB}

              / – 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

              b
              ∣AC′→∣\displaystyle |\overrightarrow{AC'}|, exactly

                / – 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
                The angle

                  / – 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