How can multiplying matching components and adding them up possibly know the angle between two arrows?
Loading…
Componentwise definition
Write the componentwise recipe, note that it extends to components, and record that the output is always a scalar and never a vector.
Geometric theorem
State the theorem with the angle between the two vectors, and record that this one cheap computation carries both length and angle information.
The case
Carry out the first step of the proof by evaluating the geometric formula at and matching it against .
Proof by comparison with the law of cosines
Set , write the law of cosines for , expand into four terms, compare, and record the equivalence of the two statements.