Skip to content

Perpendicularity: perpendicular vectors and a vector perpendicular to a plane

Perpendicularity: perpendicular vectors and a vector perpendicular to a plane

Perpendicular vectors

cos⁡90∘=0\displaystyle {\cos90^{\circ}}={0}, and it is the only angle between 0∘\displaystyle 0^{\circ} and 180∘\displaystyle 180^{\circ} whose cosine is 0. So:

Two vectors are perpendicular if and only if their scalar product is 0: u⃗⊥v⃗  ⟺  u⃗⋅v⃗=0\displaystyle {\vec{u}\perp\vec{v}\iff\vec{u}\cdot\vec{v}}={0}.

For example (1,2,3)⋅(3,0,−1)=3+0−3=0\displaystyle {(1,2,3)\cdot(3,0,-1)}={3+0-3}={0}: the vectors are perpendicular.

A vector perpendicular to a plane

A vector is perpendicular to a plane when it is perpendicular to every vector in the plane.

The sufficient condition: if n⃗\displaystyle \vec{n} is perpendicular to two non-collinear vectors a⃗\displaystyle \vec{a}, b⃗\displaystyle \vec{b} that determine the plane, it is perpendicular to the plane.

  • The reason: every vector in the plane is sa⃗+tb⃗\displaystyle s\vec{a}+t\vec{b}, and n⃗⋅(sa⃗+tb⃗)=s n⃗⋅a⃗+t n⃗⋅b⃗=0\displaystyle {\vec{n}\cdot(s\vec{a}+t\vec{b})}={s\,\vec{n}\cdot\vec{a}+t\,\vec{n}\cdot\vec{b}}={0}.
  • This is how a segment is proved to be the height of a pyramid or a prism: it is perpendicular to two intersecting edges of the base.
Example: a right trapezoid and a pyramid

ABCDE

The points A(3,0,1)\displaystyle A(3,0,1), B(3,1,−1)\displaystyle B(3,1,-1), C(−2,−1,−7)\displaystyle C(-2,-1,-7), D(−2,−4,−1)\displaystyle D(-2,-4,-1), E(−1,4,3)\displaystyle E(-1,4,3) are given.
Prove that ABCD\displaystyle ABCD is a right trapezoid, and that the edge AE\displaystyle AE of the pyramid ABCDE\displaystyle ABCDE is perpendicular to the plane ABCD\displaystyle ABCD.

The proof below shows that DC→\displaystyle \overrightarrow{DC} is collinear with AB→\displaystyle \overrightarrow{AB}, and works out scalar products.

  • AB→=(0,1,−2)\displaystyle {\overrightarrow{AB}}={(0,1,-2)}, DC→=(0,3,−6)=3AB→\displaystyle {\overrightarrow{DC}}={(0,3,-6)}={3\overrightarrow{AB}}: AB∥DC\displaystyle AB\parallel DC, and DC=3AB\displaystyle {DC}={3AB}. So ABCD\displaystyle ABCD is a trapezoid.
  • AD→=(−5,−4,−2)\displaystyle {\overrightarrow{AD}}={(-5,-4,-2)}, AB→⋅AD→=0−4+4=0\displaystyle {\overrightarrow{AB}\cdot\overrightarrow{AD}}={0-4+4}={0}: AD⊥AB\displaystyle AD\perp AB – the trapezoid is right-angled.
  • AE→=(−4,4,2)\displaystyle {\overrightarrow{AE}}={(-4,4,2)}: AE→⋅AB→=0+4−4=0\displaystyle {\overrightarrow{AE}\cdot\overrightarrow{AB}}={0+4-4}={0} and AE→⋅AD→=20−16−4=0\displaystyle {\overrightarrow{AE}\cdot\overrightarrow{AD}}={20-16-4}={0}.
  • AB→\displaystyle \overrightarrow{AB} and AD→\displaystyle \overrightarrow{AD} are not collinear, so AE\displaystyle AE is perpendicular to the plane ABCD\displaystyle ABCD – it is the pyramid’s height.
Exercise 1

Find the scalar product, and say whether the vectors are perpendicular.

a
(2,−1,4)\displaystyle (2,-1,4) and (1,2,1)\displaystyle (1,2,1)

    / – 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
    (3,−2,5)\displaystyle (3,-2,5) and (4,1,−2)\displaystyle (4,1,-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 2

      xyzABCDS

      In the quadrilateral pyramid SABCD\displaystyle SABCD the base’s vertices are A(0,0,0)\displaystyle A(0,0,0), B(4,0,0)\displaystyle B(4,0,0), C(4,4,0)\displaystyle C(4,4,0), D(0,4,0)\displaystyle D(0,4,0).
      The apex is S(2,2,5)\displaystyle S(2,2,5).

      a

      Prove that the pyramid’s base is a square.

      b

      Why is the pyramid’s base in the plane xy\displaystyle xy?

      c
      ∣SA→∣\displaystyle |\overrightarrow{SA}|, 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

        d
        ∣SC→∣\displaystyle |\overrightarrow{SC}|, 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

          e

          Find SB\displaystyle SB and SD\displaystyle SD too, and explain why the pyramid is right.

          Exercise 3

          ABCDA′B′C′D′E

          In the parallelepiped ABCDA′B′C′D′\displaystyle ABCDA'B'C'D' the base ABCD\displaystyle ABCD is a rhombus of side 1.
          ∠BAD=∠A′AB=∠A′AD=60∘\displaystyle {\angle BAD}={\angle A'AB}={\angle A'AD}={60^{\circ}}, AA′=1.2\displaystyle {AA'}={1.2}.
          AB→=u⃗\displaystyle {\overrightarrow{AB}}={\vec{u}}, AD→=v⃗\displaystyle {\overrightarrow{AD}}={\vec{v}}, AA′→=w⃗\displaystyle {\overrightarrow{AA'}}={\vec{w}}.
          The point E\displaystyle E is on the diagonal AC\displaystyle AC, and AE:EC=2:3\displaystyle {AE:EC}={2:3}.

          a
          u⃗⋅v⃗\displaystyle \vec{u}\cdot\vec{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
            u⃗⋅w⃗\displaystyle \vec{u}\cdot\vec{w}

              / – 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
              A′E→\displaystyle \overrightarrow{A'E} in terms of u⃗\displaystyle \vec{u}, v⃗\displaystyle \vec{v}, w⃗\displaystyle \vec{w}

                / – 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
                A′E→⋅u⃗\displaystyle \overrightarrow{A'E}\cdot\vec{u}

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

                  e
                  A′E→⋅v⃗\displaystyle \overrightarrow{A'E}\cdot\vec{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

                    f

                    Explain why A′E\displaystyle A'E is perpendicular to the base plane.

                    Exercise 4

                    ABCDSK

                    In the pyramid SABCD\displaystyle SABCD the vertices are A(3,−5,9)\displaystyle A(3,-5,9), B(6,1,0)\displaystyle B(6,1,0), C(0,4,−9)\displaystyle C(0,4,-9), D(−3,−2,0)\displaystyle D(-3,-2,0), S(6,−19,−10)\displaystyle S(6,-19,-10).
                    The point K\displaystyle K satisfies DK→=13DB→\displaystyle {\overrightarrow{DK}}={\frac{1}{3}\overrightarrow{DB}}.

                    a

                    Explain why K\displaystyle K is on the diagonal DB\displaystyle DB, and find its coordinates.

                    b
                    SK→⋅DB→\displaystyle \overrightarrow{SK}\cdot\overrightarrow{DB}

                      / – 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
                      SK→⋅DA→\displaystyle \overrightarrow{SK}\cdot\overrightarrow{DA}

                        / – 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 follows about SK\displaystyle SK? Explain.