Movatterモバイル変換


[0]ホーム

URL:


TOPICS
SearchClose
Search

Reflection Property


In the plane, the reflection property can be stated as three theorems (Ogilvy 1990, pp. 73-77):

1. Thelocus of the center of a variablecircle, tangent to a fixedcircle and passing through a fixed point inside thatcircle, is anellipse.

2. If a variablecircle is tangent to a fixedcircle and also passes through a fixed point outside thecircle, then thelocus of its moving center is ahyperbola.

3. If a variablecircle is tangent to a fixed straight line and also passes through a fixed point not on the line, then thelocus of its moving center is aparabola.

Letalpha:I->R^2 be a smooth regular parameterized curve inR^2 defined on anopen intervalI, and letF_1 andF_2 be points inP^2\alpha(I), whereP^n is ann-dimensionalprojective space. Thenalpha has a reflection property withfociF_1 andF_2 if, for each pointP in alpha(I),

1. Any vector normal to the curvealpha atP lies in thevector space span of the vectorsF_1P^-> andF_2P^->.

2. The line normal toalpha atP bisects one of the pairs of oppositeangles formed by the intersection of the lines joiningF_1 andF_2 toP.

A smooth connected plane curve has a reflection propertyiff it is part of anellipse,hyperbola,parabola,circle, or straightline.

focisignboth foci finiteone focus finiteboth foci infinite
distinctpositiveconfocal ellipsesconfocal parabolasparallel lines
distinctnegativeconfocal hyperbola and perpendicularconfocal parabolasparallel lines
bisector of interfoci line segment
equalconcentric circlesparallel lines

LetS in R^3 be a smooth connected surface, and letF_1 andF_2 be points inP^3\S, whereP^n is ann-dimensionalprojective space. ThenS has a reflection property withfociF_1 andF_2 if, for each pointP in S,

1. Any vector normal toS atP lies in thevector space span of the vectorsF_1P^-> andF_2P^->.

2. The line normal toS atP bisects one of the pairs of opposite angles formed by the intersection of the lines joiningF_1 andF_2 toP.

A smooth connected surface has a reflection propertyiff it is part of anellipsoid of revolution, ahyperboloid of revolution, aparaboloid of revolution, asphere, or aplane.

focisignboth foci finiteone focus finiteboth foci infinite
distinctpositiveconfocal ellipsoidsconfocal paraboloidsparallel planes
distinctnegativeconfocal hyperboloids and plane perpendicularconfocal paraboloidsparallel planes
bisector of interfoci line segment
equalconcentric spheresparallel planes

See also

Billiards

Explore with Wolfram|Alpha

References

Drucker, D. "Euclidean Hypersurfaces with Reflective Properties."Geometrica Dedicata33, 325-329, 1990.Drucker, D. "Reflective Euclidean Hypersurfaces."Geometrica Dedicata39, 361-362, 1991.Drucker, D. "Reflection Properties of Curves and Surfaces."Math. Mag.65, 147-157, 1992.Drucker, D. and Locke, P. "A Natural Classification of Curves and Surfaces with Reflection Properties."Math. Mag.69, 249-256, 1996.Ogilvy, C. S.Excursions in Geometry. New York: Dover, pp. 73-77, 1990.Wegner, B. "Comment on 'Euclidean Hypersurfaces with Reflective Properties.' "Geometrica Dedicata39, 357-359, 1991.

Referenced on Wolfram|Alpha

Reflection Property

Cite this as:

Weisstein, Eric W. "Reflection Property."FromMathWorld--A Wolfram Resource.https://mathworld.wolfram.com/ReflectionProperty.html

Subject classifications

Created, developed and nurtured by Eric Weisstein at Wolfram Research

[8]ページ先頭

©2009-2025 Movatter.jp