Formulas from linear algebra.
x . y = x_{1} y_{1} + ... + x_{n} y_{n} , ||x|| = SQRT{x . x} , d(x, y) = ||x - y|| , cosangle(x, y) = {x . y}/{ ||x|| ||y|| } |
Definition. A square matrix U is orthogonal if it is inverted by its transpose transp(U) .
Theorem. Let U be an n \times n matrix, and let f be the linear map from R^{n} to itself given by f(x) = Ux. Then f is distance preserving, i.e., d(f(x), f(y)) = d(x, y) for all x, y if and only if f is dot product preserving, i.e., f(x).f(y) = x.y for all x, y if and only if U is orthogonal.
Proof. Linear algebra.
Corollary. An affine transformation f(x) = U x + v of R^{n} is distance-preserving if and only if its associated matrix U is an orthogonal matrix.
Proof. f is the composition of a linear map and a translation, and all translations are distance preserving; therefore, f is distance preserving if and only if the linear map x -> Ux is distance preserving.
Terminology. Synonyms for “distance-preserving affine transformation”: congruence, isometry, rigid motion.
How many different affine transformations of the plane permute the vertices of a given triangle?
How many of the 24 permutations of the vertices of a non-rectangular parallelogram may be realized with an affine transformation?
Let f(x) = Ax be the linear transformation of the plane where A is the matrix
A = {1}/{5} |
| . |
What points x of the plane are “fixed” by f, i.e., satisfy f(x) = x ?
What lines in the plane are carried by f to other lines?
What lines L in the plane are “stabilized” by f, i.e., satisfy the condition that f(x) is on L if x is on L ?
Let P_{0}, P_{1} ... P_{n} be n+1 given points in R^{m}. Show that these points are barycentrically independent if and only if no non-trivial weight 0 linear combination of them vanishes, i.e., one has
| if and only if |
| . |
Although the three perpendicular bisectors of the sides of a triangle meet in a point, the barycentric coordinates of that point need not all be the same, yet the barycentric coordinates of the three points where the bisectors meet the sides of the triangle, relative to the endpoints of the sides, are all 1/2. Why doesn't this contradict the principle of preservation of proportionality in barycentric coordinates?