PROOF 155
Prove.
Vector addition is commutative
On plane vectors.
Definition D1
Define a vector of the plane to be an ordered pair of real numbers a = (a₁, a₂). Two vectors are equal when, and only when, their components are respectively equal.
Proof.
Related labs