Math 2.0

Geometry Definition

Angle between two vectors

Builds on Euclidean vectorLength of a vector

Definition

Let nn be a positive integer, and let uu and vv be nonzero vectors in ℝn\mathbb{R}^n. Let u⋅v=u1v1+⋯+unvnu \cdot v = u_1 v_1 + \dots + u_n v_n be their dot product, and let ∥u∥\|u\| and ∥v∥\|v\| be their lengths. The angle between uu and vv is the unique real number θ\theta with 0≤θ≤π0 \leq \theta \leq \pi such that cos⁡θ=u⋅v∥u∥ ∥v∥.\cos \theta = \frac{u \cdot v}{\|u\| \, \|v\|}. The Cauchy–Schwarz inequality ∣u⋅v∣≤∥u∥ ∥v∥|u \cdot v| \leq \|u\| \, \|v\| makes sure that the quotient is in [−1,1][-1, 1]. Thus θ=arccos⁡(u⋅v∥u∥ ∥v∥)\theta = \arccos\left(\frac{u \cdot v}{\|u\| \, \|v\|}\right) exists.

Remarks

The angle is 00 if and only if v=cuv = c u for a real number c>0c > 0. It is π\pi if and only if v=cuv = c u for a real number c<0c < 0. The angle does not depend on the order of the vectors. It does not change when you multiply uu or vv by a positive number. Mathlib uses the same formula for all vectors. With the convention 0/0=00 / 0 = 0, the angle between the zero vector and any vector is then π/2\pi / 2.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euclidean vector concept
  2. Length of a vector concept
  3. Angle between two vectors definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Angle, Inner product
  2. Web https://en.wikipedia.org/wiki/Dot_product, Geometric definition
About this page
Tag0PRAS55318
URIm2://0PRAS55318
Kinddefinition
WritingW0 stub
MSC51N20
DefinesAngle between two vectors
UsesEuclidean vector, Length of a vector

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.