The Biggest Ideas in the Universe: Space, Time, and Motion

by Sean Carroll

Two lines intersecting at a point are perpendicular when the inner product of two vectors pointing along them at that point vanishes.

Using cosine