Involutory
A linear transformation of period two. Since a linear transformation has the form,
applying the transformation a second time gives
For an involutory, lambda^('')=lambda, so
| gamma(alpha+delta)lambda^2+(delta^2-alpha^2)lambda-(alpha+delta)beta=0. |
(3)
|
Since each coefficient must vanish separately,
gamma(alpha+delta) =
(4)
delta^2-alpha^2 =
(5)
beta(alpha+delta) = 0.
(6)
Equation (5) requires delta=+/-alpha. Taking delta=alpha in turn requires that gamma=beta=0, giving lambda=lambda^', i.e., the identity map, while taking delta=-alpha gives delta=-alpha, so
which is the general form of a line involution.
See also
Cross Ratio, Line InvolutionExplore with Wolfram|Alpha
WolframAlpha
More things to try:
References
Woods, F. S. Higher Geometry: An Introduction to Advanced Methods in Analytic Geometry. New York: Dover, pp. 14-15, 1961.Referenced on Wolfram|Alpha
InvolutoryCite this as:
Weisstein, Eric W. "Involutory." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Involutory.html