← Chapter 2 §2.4 The Cross Product 叉积 · Chapter 2 · Vectors in Space

Calculus Volume 3 · Chapter 2 · Section 2.4

The Cross Product

Two vectors in, one vector out: perpendicular to both, as long as their parallelogram's area, pointing the way the right hand says.

Colour key u v w u × v, τ key idea · 3D figures turn when you drag them · page links open the textbook

Level 1 · see itWhat the cross product isbefore any formula

Which way is perpendicular?

A wrench turns a bolt, which moves along its own axis — at right angles to the handle and to the push (p149). Up or down, and how hard?

Without the wrench: u=0,2,1\mathbf u=\langle 0,2,1\rangle, v=3,1,0\mathbf v=\langle 3,-1,0\rangle; find w\mathbf w with uw=0\mathbf u\cdot\mathbf w=0, vw=0\mathbf v\cdot\mathbf w=0.

2w2+w3=0,3w1w2=0w=t1,3,6 2w_2+w_3=0,\qquad 3w_1-w_2=0 \quad\Longrightarrow\quad \mathbf w=t\,\langle 1,3,-6\rangle

Two conditions in three dimensions leave a whole line of answers. The cross product picks t=1t=1: u×v=1,3,6\mathbf u\times\mathbf v=\langle 1,3,-6\rangle (Example 2.32).

A dot product is a number, and a number has no direction: answering "which way" needs a product that returns a vector.

Wrench r, push F. Both candidates lie on the bolt's axis. Drag to turn.

Three facts, one figure

  1. Perpendicular to both u\mathbf u and v\mathbf v, so to the plane they span.
  2. Length = area of the parallelogram on u\mathbf u, v\mathbf v. Parallel vectors span no area: u×v=0\mathbf u\times\mathbf v=\mathbf 0.
  3. Right hand: fingers along u\mathbf u, curl toward v\mathbf v; the thumb is u×v\mathbf u\times\mathbf v (p150). Seen from its tip, u\mathbf u turns to v\mathbf v counter-clockwise.

Example 2.32: u×v=1,3,6\mathbf u\times\mathbf v=\langle 1,3,-6\rangle points below the floor; length 466.78\sqrt{46}\approx 6.78 = the shaded area.

Example 2.32 in space. Press from the tip of u × v to look straight down the red arrow.

The right-hand rule

Keep u on the xx-axis and turn v in the floor.

60°

Red: zz-component of u×v\mathbf u\times\mathbf v, 5sinφ5\sin\varphi; dashed: uv=5cosφ\mathbf u\cdot\mathbf v=5\cos\varphi. Past 180°, v is clockwise from u seen from above, so the thumb points down.

Curl your right fingers along the grey arrow: the thumb matches the red one.
ijk
With the arrows: positive. Against: negative.

Unit vectors (p152):

i×j=k,j×k=i,k×i=j,j×i=k,k×j=i,i×k=j,i×i=0,j×j=0,k×k=0. \begin{aligned} \mathbf i\times\mathbf j&=\mathbf k, & \mathbf j\times\mathbf k&=\mathbf i, & \mathbf k\times\mathbf i&=\mathbf j,\\ \mathbf j\times\mathbf i&=-\mathbf k, & \mathbf k\times\mathbf j&=-\mathbf i, & \mathbf i\times\mathbf k&=-\mathbf j,\\ \mathbf i\times\mathbf i&=\mathbf 0, & \mathbf j\times\mathbf j&=\mathbf 0, & \mathbf k\times\mathbf k&=\mathbf 0 . \end{aligned}

i×j=k\mathbf i\times\mathbf j=\mathbf k is what "right-handed axes" means. A vector crossed with itself is the zero vector.

One picture

u=3,0,0\mathbf u=\langle 3,0,0\rangle, v=1,2,0\mathbf v=\langle 1,2,0\rangle: area 6, and u×v=0,0,6\mathbf u\times\mathbf v=\langle 0,0,6\rangle is 6 long. Reverse the order and only the direction changes.

The cross product is an area with a direction.

Level 2 · compute itThe determinant, the rules, what it measuresand four labs

The determinant

Definition · p149 · as a determinant · p156 u×v=ijku1u2u3v1v2v3=u2u3v2v3iu1u3v1v3j+u1u2v1v2k \mathbf u\times\mathbf v=\begin{vmatrix}\mathbf i&\mathbf j&\mathbf k\\ u_1&u_2&u_3\\ v_1&v_2&v_3\end{vmatrix} =\begin{vmatrix}u_2&u_3\\ v_2&v_3\end{vmatrix}\mathbf i-\begin{vmatrix}u_1&u_3\\ v_1&v_3\end{vmatrix}\mathbf j+\begin{vmatrix}u_1&u_2\\ v_1&v_2\end{vmatrix}\mathbf k

Cover a column, take the 2×22\times2 left over: abcd=adbc\begin{vmatrix}a&b\\ c&d\end{vmatrix}=ad-bc. Signs +  ++\ -\ +.

Check every answer by dotting it with both vectors: a wrong sign almost never stays perpendicular.

Rules and length

Theorem 2.6 (p153).

rulenamemeans
u×v=(v×u)\mathbf u\times\mathbf v=-(\mathbf v\times\mathbf u)anticommutativeorder is direction
u×(v+w)=u×v+u×w\mathbf u\times(\mathbf v+\mathbf w)=\mathbf u\times\mathbf v+\mathbf u\times\mathbf wdistributiveexpand, keeping the order
c(u×v)=(cu)×v=u×(cv)c(\mathbf u\times\mathbf v)=(c\mathbf u)\times\mathbf v=\mathbf u\times(c\mathbf v)scalars factor outstretch a side, scale the area
u×0=0,v×v=0\mathbf u\times\mathbf 0=\mathbf 0,\quad \mathbf v\times\mathbf v=\mathbf 0zeroa flat parallelogram
u(v×w)=(u×v)w\mathbf u\cdot(\mathbf v\times\mathbf w)=(\mathbf u\times\mathbf v)\cdot\mathbf wtriple scalar productdot and cross trade places
Length · Theorem 2.7 · p154 u×v=uvsinθ \|\mathbf u\times\mathbf v\|=\|\mathbf u\|\,\|\mathbf v\|\sin\theta

Beside uv=uvcosθ\mathbf u\cdot\mathbf v=\|\mathbf u\|\|\mathbf v\|\cos\theta.

Not true

u×v=v×u\mathbf u\times\mathbf v=\mathbf v\times\mathbf u and (u×v)×w=u×(v×w)(\mathbf u\times\mathbf v)\times\mathbf w=\mathbf u\times(\mathbf v\times\mathbf w) (Level 3).

The dot product measures how much two vectors agree; the cross product, how far they open.

Area, volume, torque

Area · Theorem 2.8 · p157

Parallelogram on u,v\mathbf u,\mathbf v: A=u×vA=\|\mathbf u\times\mathbf v\|. A triangle is half.

Volume · Theorems 2.9–2.10 · p158 V=u(v×w)=u1u2u3v1v2v3w1w2w3 V=|\mathbf u\cdot(\mathbf v\times\mathbf w)|=\left|\begin{vmatrix}u_1&u_2&u_3\\ v_1&v_2&v_3\\ w_1&w_2&w_3\end{vmatrix}\right|

Zero exactly when the three vectors are coplanar.

Torque · p162

τ=r×F\boldsymbol\tau=\mathbf r\times\mathbf F,  τ=rFsinθ\ \|\boldsymbol\tau\|=\|\mathbf r\|\|\mathbf F\|\sin\theta. Only the push square to the handle turns the bolt.

Example 2.39: PQ×PR=1,1,1\overrightarrow{PQ}\times\overrightarrow{PR}=\langle 1,1,1\rangle, length 3\sqrt3 — twice the triangle. The normal is drawn at half length.

Examples 2.31–2.44

Examplegivenresult
2.31 · p150p=1,2,5\mathbf p=\langle -1,2,5\rangle, q=4,0,3\mathbf q=\langle 4,0,-3\ranglep×q=6,17,8\mathbf p\times\mathbf q=\langle -6,17,-8\rangle
2.32 · p151u=0,2,1\mathbf u=\langle 0,2,1\rangle, v=3,1,0\mathbf v=\langle 3,-1,0\rangleu×v=1,3,6\mathbf u\times\mathbf v=\langle 1,3,-6\rangle, v×u=1,3,6\mathbf v\times\mathbf u=\langle -1,-3,6\rangle
2.33 · p152i×(j×k)\mathbf i\times(\mathbf j\times\mathbf k)i×i=0\mathbf i\times\mathbf i=\mathbf 0
2.34 · p154(2i×3j)×j(2\mathbf i\times3\mathbf j)\times\mathbf j6(k×j)=6i6(\mathbf k\times\mathbf j)=-6\mathbf i
2.35 · p1540,4,0×0,0,3\|\langle 0,4,0\rangle\times\langle 0,0,-3\rangle\|43sinπ2=124\cdot3\cdot\sin\tfrac\pi2=12
2.36 · p1553×33\times3 determinant, rows 2,5,1; 1,1,3; 2,3,42,5,-1;\ -1,1,3;\ -2,3,419-19
2.37 · p156Example 2.31 by determinant6,17,8\langle -6,17,-8\rangle; dots with p\mathbf p, q\mathbf q: 0, 00,\ 0
2.38 · p156unit vector ⟂ 5,2,1, 0,1,4\langle 5,2,-1\rangle,\ \langle 0,-1,4\rangle14747,20,5\tfrac{1}{\sqrt{474}}\langle 7,-20,-5\rangle
2.39 · p157triangle P(1,0,0),Q(0,1,0),R(0,0,1)P(1,0,0),Q(0,1,0),R(0,0,1)area 123\tfrac12\sqrt3
2.40 · p1591,3,5(2,1,0×3,0,1)\langle 1,3,5\rangle\cdot(\langle 2,-1,0\rangle\times\langle -3,0,-1\rangle)8-8
2.41 · p161box on 1,2,1,4,3,2,0,5,2\langle -1,-2,1\rangle,\langle 4,3,2\rangle,\langle 0,-5,-2\rangletriple product 40-40, V=40V=40
2.42 · p1612,0,5,2,2,4,1,1,3\langle 2,0,5\rangle,\langle 2,2,4\rangle,\langle 1,-1,3\rangletriple product 0: coplanar
2.43 · p162⟂ the plane of P(9,3,2),Q(1,3,0),R(2,5,0)P(9,-3,-2),Q(1,3,0),R(-2,5,0)PQ×QR=4,6,2\overrightarrow{PQ}\times\overrightarrow{QR}=\langle -4,-6,2\rangle
2.44 · p1630.15 m wrench, 6 N at 40°0.58 Nm\approx 0.58\ \text{N}\cdot\text{m}

Lab 1 · compute any u × v

−1 2 5 4 0 −3
presets

Step through the determinant

Try: parallel — the area collapses, u×v=0\mathbf u\times\mathbf v=\mathbf 0. swap u ↔ v — every component flips sign. i, j — you get k\mathbf k. A long cross product is drawn shorter; its label says by how much.

Lab 2 · sine against cosine

2.5 2 60°

(uv)2(\mathbf u\cdot\mathbf v)^2 u×v2\|\mathbf u\times\mathbf v\|^2 — together they always fill (uv)2(\|\mathbf u\|\|\mathbf v\|)^2.

Try: φ = 90° — dot product 0, area as large as it gets. Both lengths 3 at 30° — area 4.5, half of 9. Agreement and spread share one fixed budget, u2v2\|\mathbf u\|^2\|\mathbf v\|^2.

Lab 3 · the box and the triple product

Fixed base: v=3,0,0\mathbf v=\langle 3,0,0\rangle, w=1,2.5,0\mathbf w=\langle 1,2.5,0\rangle, area 7.5. Move the third edge u.

1 1 2

Try: play the lean — the volume stays 7.5×height7.5\times\text{height}. Height 0 — coplanar, volume 0. Negative height — the triple product turns negative, the volume does not. The absolute value is the volume; the sign says which side of the base u is on.

Lab 4 · torque on a bolt

Bolt on the zz-axis, wrench along xx. Opens on Example 2.44.

0.15 6 40°
Not to one scale: r in m, F in N, τ in N·m.

Try: play the angle — largest at 90°, zero along the handle. Double the wrench: double the torque. Lift the push with φ: only τz\tau_z, dashed, turns the bolt. A longer wrench and a square push: rFsinθ\|\mathbf r\|\|\mathbf F\|\sin\theta in the hands.

Common mistakes

MistakeResultFix
Dropping the minus on the j\mathbf j term6,17,8\langle -6,-17,-8\rangle in Example 2.37: not perpendicularsigns +  ++\ -\ +; dot the answer with u\mathbf u
v×u\mathbf v\times\mathbf u for u×v\mathbf u\times\mathbf vright size, opposite directionfirst vector in row 2
i×i=0\mathbf i\times\mathbf i=0, a numbera scalar added to a vector lateri×i=0\mathbf i\times\mathbf i=\mathbf 0, the zero vector
Angle to the horizontal in rFsinθ\|\mathbf r\|\|\mathbf F\|\sin\thetaExercise 235: sin30\sin30^\circ gives 5.00, not 8.66 ft·lbangle between r\mathbf r and F\mathbf F, tail to tail: 120°
Triangle area =PQ×PR=\|\overrightarrow{PQ}\times\overrightarrow{PR}\|twice the areahalve it
OP×OQ\overrightarrow{OP}\times\overrightarrow{OQ} for triangle PQRPQRa different triangle, cornered at the originedge vectors from one vertex
40-40 reported as a volumea negative volume in Example 2.41V=u(v×w)V=|\mathbf u\cdot(\mathbf v\times\mathbf w)|
(a×b)×c=a×(b×c)(\mathbf a\times\mathbf b)\times\mathbf c=\mathbf a\times(\mathbf b\times\mathbf c)(i×i)×j=0(\mathbf i\times\mathbf i)\times\mathbf j=\mathbf 0, but i×(i×j)=j\mathbf i\times(\mathbf i\times\mathbf j)=-\mathbf jbrackets matter
a,b×c,d\langle a,b\rangle\times\langle c,d\rangleundefined in the planea,b,0×c,d,0=(adbc)k\langle a,b,0\rangle\times\langle c,d,0\rangle=(ad-bc)\mathbf k

Practice and answers

Exercises from p163; the book's key: p835, p840842.

Checkpoints 2.30–2.42
#taskanswer
2.305,1,2×2,0,1\langle 5,1,2\rangle\times\langle -2,0,1\ranglei9j+2k\mathbf i-9\mathbf j+2\mathbf k
2.31u,v\mathbf u,\mathbf v in the xyxy-plane, u1,u2,v2>0u_1,u_2,v_2>0, v1<0v_1<0: direction of u×v\mathbf u\times\mathbf v?up: u1v2u2v1>0u_1v_2-u_2v_1>0
2.32(i×j)×(k×i)(\mathbf i\times\mathbf j)\times(\mathbf k\times\mathbf i)k×j=i\mathbf k\times\mathbf j=-\mathbf i
2.33(i×k)×(k×j)(\mathbf i\times\mathbf k)\times(\mathbf k\times\mathbf j)(j)×(i)=k(-\mathbf j)\times(-\mathbf i)=-\mathbf k
2.348,0,0×0,2,0\|\langle -8,0,0\rangle\times\langle 0,2,0\rangle\|82sin90=168\cdot2\cdot\sin90^\circ=16
2.35det\det with rows 1,2,1; 3,2,3; 1,5,41,-2,-1;\ 3,2,-3;\ 1,5,423+3013=4023+30-13=40
2.368,2,3×1,0,4\langle 8,2,3\rangle\times\langle -1,0,4\rangle8,35,2\langle 8,-35,2\rangle
2.37unit vector ⟂ 4,0,3,1,1,4\langle 4,0,3\rangle,\langle 1,1,4\rangle11943,13,4\tfrac{1}{\sqrt{194}}\langle -3,-13,4\rangle
2.38area of PQRSPQRS, P(1,1,0),Q(7,1,0),R(9,4,2),S(3,4,2)P(1,1,0),Q(7,1,0),R(9,4,2),S(3,4,2)6,0,0×2,3,2=61321.63\|\langle 6,0,0\rangle\times\langle 2,3,2\rangle\|=6\sqrt{13}\approx21.63
2.39a(b×c)\mathbf a\cdot(\mathbf b\times\mathbf c), 2,4,1,0,3,1,5,3,3\langle 2,-4,1\rangle,\langle 0,3,-1\rangle,\langle 5,-3,3\rangle17
2.40volume, 3i+4jk, 2ijk, 3j+k3\mathbf i+4\mathbf j-\mathbf k,\ 2\mathbf i-\mathbf j-\mathbf k,\ 3\mathbf j+\mathbf k8=8|-8|=8
2.41coplanar? i+jk, ij+k, i+j+k\mathbf i+\mathbf j-\mathbf k,\ \mathbf i-\mathbf j+\mathbf k,\ \mathbf i+\mathbf j+\mathbf kno: triple product 4-4
2.42force for 15 N·m at 30° on a 150-cm rod15/(1.512)=2015/(1.5\cdot\tfrac12)=20 N
Exercises
#taskanswerkey step
1832,0,0×2,2,0\langle 2,0,0\rangle\times\langle 2,2,0\rangle0,0,4\langle 0,0,4\rangleboth in the floor → along zz
185(2i+3j)×(j+2k)(2\mathbf i+3\mathbf j)\times(\mathbf j+2\mathbf k)6,4,2\langle 6,-4,2\ranglemissing components are 0
187(i×i2i×j4i×k+3j×k)×i(\mathbf i\times\mathbf i-2\mathbf i\times\mathbf j-4\mathbf i\times\mathbf k+3\mathbf j\times\mathbf k)\times\mathbf i2j4k-2\mathbf j-4\mathbf k(3i+4j2k)×i(3\mathbf i+4\mathbf j-2\mathbf k)\times\mathbf i
189unit w\mathbf w along 3,1,2×2,0,1\langle 3,-1,2\rangle\times\langle -2,0,1\rangle (p164)1361,7,2\tfrac{1}{3\sqrt6}\langle -1,-7,-2\rangle54=36\sqrt{54}=3\sqrt6
197determinant, rows i,j,k; 1,1,7; 2,0,3\mathbf i,\mathbf j,\mathbf k;\ 1,-1,7;\ 2,0,33i+11j+2k-3\mathbf i+11\mathbf j+2\mathbf k1,1,7×2,0,3\langle 1,-1,7\rangle\times\langle 2,0,3\rangle
209area, sides 3,2,0,0,2,1\langle 3,2,0\rangle,\langle 0,2,1\rangle (p165)72,3,6=49\|\langle 2,-3,6\rangle\|=\sqrt{49}
211A(3,1,2),B(2,1,5),C(1,2,2)A(3,-1,2),B(2,1,5),C(1,-2,-2): parallelogram, triangle, distance from A to BC565\sqrt6; 562\tfrac{5\sqrt6}{2}; 56591.59\tfrac{5\sqrt6}{\sqrt{59}}\approx1.59height = area ÷ base
213volume on i+j, j+k, i+k\mathbf i+\mathbf j,\ \mathbf j+\mathbf k,\ \mathbf i+\mathbf k23 × 3 determinant
219A(2,1,0),B(1,2,0),C(0,1,α)A(2,1,0),B(1,2,0),C(0,1,\alpha): α for volume 3; height (p166)α=1\alpha=1; h=1h=1determinant =3α=3\alpha
23512-in wrench at 30°, 10 lb down (p168)8.66 ft·lbangle between r and F: 120°
23720-cm wrench on +y+y, force along 0,1,2\langle 0,1,-2\rangle, 100 N·m559 N0.4k=1000.4k=100, F=2505\|\mathbf F\|=250\sqrt5
239F=1.6×1019(v×B)\mathbf F=1.6\times10^{-19}(\mathbf v\times\mathbf B), v=105i+105j\mathbf v=10^5\mathbf i+10^5\mathbf j, B=0.3j\mathbf B=0.3\mathbf j4.8×1015k4.8\times10^{-15}\,\mathbf k Nmagnetic force is a cross product
Level 3 · why it worksWhere the formulas come fromshort arguments

Where the formula comes from

Solve for a perpendicular vector (p149):

u1w1+u2w2+u3w3=0,v1w1+v2w2+v3w3=0 u_1w_1+u_2w_2+u_3w_3=0,\qquad v_1w_1+v_2w_2+v_3w_3=0

Multiply by v3v_3 and u3u_3, subtract; w3w_3 drops out:

(u1v3u3v1)w1+(u2v3u3v2)w2=0 (u_1v_3-u_3v_1)\,w_1+(u_2v_3-u_3v_2)\,w_2=0

Take w1=u2v3u3v2w_1=u_2v_3-u_3v_2, w2=(u1v3u3v1)w_2=-(u_1v_3-u_3v_1); then w3=u1v2u2v1w_3=u_1v_2-u_2v_1. That is (2.9). A determinant with a repeated row is 0, so u(u×v)=0\mathbf u\cdot(\mathbf u\times\mathbf v)=0. Nothing about area went in; the length is a bonus.

Why the length is ‖u‖‖v‖ sin θ

Square and add the components of (2.9) (p154):

u×v2=u2v2(uv)2=u2v2sin2θ \|\mathbf u\times\mathbf v\|^2=\|\mathbf u\|^2\|\mathbf v\|^2-(\mathbf u\cdot\mathbf v)^2=\|\mathbf u\|^2\|\mathbf v\|^2\sin^2\theta
Check · Example 2.32

510(2)2=46=12+32+(6)25\cdot10-(-2)^2=46=1^2+3^2+(-6)^2.

Read it as Pythagoras

(uv)2+u×v2=(uv)2(\mathbf u\cdot\mathbf v)^2+\|\mathbf u\times\mathbf v\|^2=(\|\mathbf u\|\|\mathbf v\|)^2. Agreement and spread are the two legs of one right triangle.

The sign is an orientation

Swapping two rows of a determinant flips its sign (p159); a cyclic shift is two swaps:

u(v×w)=v(w×u)=w(u×v)=u(w×v) \mathbf u\cdot(\mathbf v\times\mathbf w)=\mathbf v\cdot(\mathbf w\times\mathbf u)=\mathbf w\cdot(\mathbf u\times\mathbf v)=-\,\mathbf u\cdot(\mathbf w\times\mathbf v) V=v×wbaseu(v×w)v×wheight=u(v×w) V=\underbrace{\|\mathbf v\times\mathbf w\|}_{\text{base}}\cdot\underbrace{\frac{|\mathbf u\cdot(\mathbf v\times\mathbf w)|}{\|\mathbf v\times\mathbf w\|}}_{\text{height}}=|\mathbf u\cdot(\mathbf v\times\mathbf w)|

Positive: the edges in order are right-handed, like i,j,k\mathbf i,\mathbf j,\mathbf k. The determinant is a volume that remembers which hand built it.

Example 2.41: v×w=4,8,20\mathbf v\times\mathbf w=\langle 4,8,-20\rangle, u4,8,20=41620=40\mathbf u\cdot\langle 4,8,-20\rangle=-4-16-20=-40; in the order u,w,v\mathbf u,\mathbf w,\mathbf v it is +40+40.

Not associative

i×(i×j)=j,(i×i)×j=0 \mathbf i\times(\mathbf i\times\mathbf j)=-\mathbf j,\qquad (\mathbf i\times\mathbf i)\times\mathbf j=\mathbf 0

What holds instead:

a×(b×c)=b(ac)c(ab) \mathbf a\times(\mathbf b\times\mathbf c)=\mathbf b\,(\mathbf a\cdot\mathbf c)-\mathbf c\,(\mathbf a\cdot\mathbf b)

a×(b×c)\mathbf a\times(\mathbf b\times\mathbf c) is perpendicular to b×c\mathbf b\times\mathbf c, so it lies back in the plane of b\mathbf b and c\mathbf c.

Only in three dimensions

The cross product is defined only in three dimensions.

In the plane a,b,0×c,d,0=0,0,adbc \langle a,b,0\rangle\times\langle c,d,0\rangle=\langle 0,0,ad-bc\rangle

In two dimensions it survives as a signed area.

Count the directions

In Rn\mathbb R^n, two independent vectors leave n2n-2 perpendicular directions. Exactly one only when n=3n=3.

Where it is used next

WhereThe cross product gives
§2.5 Planesthe normal n=PQ×PR\mathbf n=\overrightarrow{PQ}\times\overrightarrow{PR} (Example 2.43)
§2.5 Distancespoint to line = parallelogram area ÷ base (Exercise 211)
§3.3 Curvesthe binormal B=T×N\mathbf B=\mathbf T\times\mathbf N
Physicstorque r×F\mathbf r\times\mathbf F, angular momentum r×p\mathbf r\times\mathbf p, magnetic force qv×Bq\,\mathbf v\times\mathbf B
§6.6 Surface integralsru×rv\|\mathbf r_u\times\mathbf r_v\|, the area of a small patch

Each use is one of the three facts: perpendicular, length = area, right-handed.