Rigid Motions Fixing 2 Points P, Q Fix All Points on Line PQ

Read · 1 min

Suppose that we have an isometry FF with two fixed points AA and BB. Thus, F(A)=AF(A)=A and F(B)=BF(B)=B.

Consider a point XX on the line ABAB. Let XA=aXA=a and XB=bXB=b. Let Y=F(X)Y=F(X).

Since FF is an isometry, YY must lie on the hypersphere (the number of dimensions will remain unspecified for maximal generality) with center AA and radius aa.

Similarly, YY must also lie on the hypersphere with center BB and radius bb.

But wait! Since XX lies on the line ABAB, one of the quantities a+b,a−b,b−a{a+b, a-b, b-a} must equal ABAB!

This means that the two hyperspheres mentioned above are tangent, and what is their single point of intersection?

You guessed it; it's our point XX! Clearly, we know from the conditions that XX satisfies the two conditions; moreover, since we know that the hyperspheres are tangent, no other point could work.

Thus, we have that Y=F(X)=XY=F(X)=X, which means that XX is also a fixed point of the isometry.

Since XX was an arbitrary point on the line ABAB, the same must hold for all points on the line; thus, we have that any isometry that fixes two points fixes all points on the line containing them.

Type a concept, like “slope” or “photosynthesis”.

↑ ↓ to choose · Enter to openSearch explanations and problems