Skip to content

Proofs with vectors

Proofs with vectors

How to prove with vectors

Theorems about parallel lines, about ratios between segments and about meeting points are proved like this:

  • choose two independent vectors leaving the same point (in space – three);
  • express the vectors in the claim with them;
  • parallel: one vector is a multiple of the other, v‾=tu‾\displaystyle {\underline{v}}={t\underline{u}} – and the number t\displaystyle t is also the ratio of the lengths;
  • meeting point and ratios: express the same vector in two ways and compare coefficients;
  • the same point: two points have the same vector from a fixed point.
Proof: the midsegment of a triangle

ABCMN

In the triangle ABC\displaystyle ABC, M\displaystyle M is the midpoint of AB\displaystyle AB and N\displaystyle N the midpoint of AC\displaystyle AC. We prove: MN∥BC\displaystyle MN\parallel BC and MN=12BC\displaystyle {MN}={\frac{1}{2}BC}.

The proof below expresses MN→\displaystyle \overrightarrow{MN} and BC→\displaystyle \overrightarrow{BC} with AB→\displaystyle \overrightarrow{AB} and AC→\displaystyle \overrightarrow{AC}.

  • AM→=12AB→\displaystyle {\overrightarrow{AM}}={\frac{1}{2}\overrightarrow{AB}} and AN→=12AC→\displaystyle {\overrightarrow{AN}}={\frac{1}{2}\overrightarrow{AC}}.
  • MN→=AN→−AM→=12(AC→−AB→)=12BC→\displaystyle {\overrightarrow{MN}}={\overrightarrow{AN}-\overrightarrow{AM}}={\frac{1}{2}\left(\overrightarrow{AC}-\overrightarrow{AB}\right)}={\frac{1}{2}\overrightarrow{BC}}.
  • MN→\displaystyle \overrightarrow{MN} is a multiple of BC→\displaystyle \overrightarrow{BC}, so MN∥BC\displaystyle MN\parallel BC and MN=12BC\displaystyle {MN}={\frac{1}{2}BC}.
Proof: diagonals that bisect each other

The diagonals of the quadrilateral ABCD\displaystyle ABCD bisect each other at the point O\displaystyle O. We prove: ABCD\displaystyle ABCD is a parallelogram.

The proof below shows that AB→=DC→\displaystyle {\overrightarrow{AB}}={\overrightarrow{DC}}.

  • O\displaystyle O is the midpoint of AC\displaystyle AC and of BD\displaystyle BD, so OC→=−OA→\displaystyle {\overrightarrow{OC}}={-\overrightarrow{OA}} and OD→=−OB→\displaystyle {\overrightarrow{OD}}={-\overrightarrow{OB}}.
  • AB→=OB→−OA→\displaystyle {\overrightarrow{AB}}={\overrightarrow{OB}-\overrightarrow{OA}}.
  • DC→=OC→−OD→=−OA→+OB→\displaystyle {\overrightarrow{DC}}={\overrightarrow{OC}-\overrightarrow{OD}}={-\overrightarrow{OA}+\overrightarrow{OB}}.
  • AB→=DC→\displaystyle {\overrightarrow{AB}}={\overrightarrow{DC}}: the sides AB\displaystyle AB and DC\displaystyle DC are parallel and equal, so ABCD\displaystyle ABCD is a parallelogram.
Exercise 1

In the triangle ABC\displaystyle ABC: AB→=u‾\displaystyle {\overrightarrow{AB}}={\underline{u}}, AC→=v‾\displaystyle {\overrightarrow{AC}}={\underline{v}}.
D\displaystyle D is on AB\displaystyle AB and AD:DB=1:2\displaystyle {AD:DB}={1:2}; E\displaystyle E is on AC\displaystyle AC and AE:EC=1:2\displaystyle {AE:EC}={1:2}.

a
DE→\displaystyle \overrightarrow{DE}

    / – 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 that DE∥BC\displaystyle DE\parallel BC and DE=13BC\displaystyle {DE}={\frac{1}{3}BC}.

    Exercise 2

    In the quadrilateral ABCD\displaystyle ABCD: AB→=u‾\displaystyle {\overrightarrow{AB}}={\underline{u}}, AD→=v‾\displaystyle {\overrightarrow{AD}}={\underline{v}}, and DC→=u‾\displaystyle {\overrightarrow{DC}}={\underline{u}}.

    a
    AK→\displaystyle \overrightarrow{AK}, where K\displaystyle K is the midpoint of AC\displaystyle AC

      / – 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
      AL→\displaystyle \overrightarrow{AL}, where L\displaystyle L is the midpoint of BD\displaystyle BD

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

        Prove: in a parallelogram the diagonals bisect each other.

        Exercise 3

        ABCDMN

        In the trapezoid ABCD\displaystyle ABCD (AB∥DC\displaystyle AB\parallel DC): AB→=u‾\displaystyle {\overrightarrow{AB}}={\underline{u}}, AD→=v‾\displaystyle {\overrightarrow{AD}}={\underline{v}}, and DC→=12u‾\displaystyle {\overrightarrow{DC}}={\frac{1}{2}\underline{u}}.
        M\displaystyle M is the midpoint of the diagonal AC\displaystyle AC, and N\displaystyle N the midpoint of the diagonal BD\displaystyle BD.

        a
        AM→\displaystyle \overrightarrow{AM}

          / – 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
          AN→\displaystyle \overrightarrow{AN}

            / – 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
            MN→\displaystyle \overrightarrow{MN}

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

              d

              What can you conclude about MN\displaystyle MN? Compare its length to the difference of the bases AB−DC\displaystyle AB-DC.

              Exercise 4

              uvABCDEF

              ABCD\displaystyle ABCD is a quadrilateral – perhaps not in one plane. E\displaystyle E is the midpoint of AD\displaystyle AD, and F\displaystyle F the midpoint of BC\displaystyle BC.
              AB→=u‾\displaystyle {\overrightarrow{AB}}={\underline{u}}, DC→=v‾\displaystyle {\overrightarrow{DC}}={\underline{v}}.

              1. Prove: EF→=12(u‾+v‾)\displaystyle {\overrightarrow{EF}}={\frac{1}{2}(\underline{u}+\underline{v})}. (Hint: express EF→\displaystyle \overrightarrow{EF} along a path through A\displaystyle A and B\displaystyle B, and along a path through D\displaystyle D and C\displaystyle C, and add.)
              2. What do you get when ABCD\displaystyle ABCD is a trapezoid and AB∥DC\displaystyle AB\parallel DC?