Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Projective geometry (simplest cases)"

(→‎Projection of a circle into a circle)
(→‎Projection of a circle into a circle)
 
(One intermediate revision by the same user not shown)
Line 34: Line 34:
 
==Projection of a circle into a circle==
 
==Projection of a circle into a circle==
 
[[File:Circle to circle.png|350px|right]]
 
[[File:Circle to circle.png|350px|right]]
 +
[[File:Circle to circle stereo.png|350px|right]]
 
Let a circle <math>\omega</math> with diameter <math>PQ</math> and a point <math>A</math> on this diameter <math>(2AP < PQ)</math> be given.  
 
Let a circle <math>\omega</math> with diameter <math>PQ</math> and a point <math>A</math> on this diameter <math>(2AP < PQ)</math> be given.  
  
Line 42: Line 43:
 
Let <math>S</math> be the center of transformation (perspector) which is located on the perpendicular through the point <math>P</math> to the plane containing <math>\omega.</math> Let <math>P = \omega \cap \omega', PQ'</math> be the diameter of <math>\omega', PO' = O'Q'</math> and plane <math>\omega'</math> is perpendicular to <math>SQ.</math>
 
Let <math>S</math> be the center of transformation (perspector) which is located on the perpendicular through the point <math>P</math> to the plane containing <math>\omega.</math> Let <math>P = \omega \cap \omega', PQ'</math> be the diameter of <math>\omega', PO' = O'Q'</math> and plane <math>\omega'</math> is perpendicular to <math>SQ.</math>
  
−
Spheres with diameter <math>PQ</math> and with diameter <math>PQ'</math> contain a point <math>Q'</math>, so they intersect along a circle <math>\omega'</math>, so the circle <math>\omega</math> is a stereographic projection of the circle <math>\omega'</math> from the point <math>S,</math> that is, if the point <math>M</math> lies on <math>\omega</math>, there is a point <math>M'</math> on the circle <math>\omega'</math> along which the line <math>SM</math> intersects <math>\omega'</math>, then <math>\omega</math> is projected into <math>\omega'</math> under central projection from the point <math>S.</math>
+
Spheres with diameter <math>PQ</math> and with diameter <math>PS</math> contain a point <math>Q'</math>, so they intersect along a circle <math>\omega'.</math>
 +
 
 +
Therefore the circle <math>\omega</math> is a stereographic projection of the circle <math>\omega'</math> from the point <math>S.</math>
 +
 
 +
That is, if the point <math>M</math> lies on <math>\omega</math>, there is a point <math>M'</math> on the circle <math>\omega'</math> along which the line <math>SM</math> intersects <math>\omega'.</math>
 +
 
 +
It means that <math>\omega</math> is projected into <math>\omega'</math> under central projection from the point <math>S.</math>
 +
 
 +
<math>PQ \perp SQ, PQ' \perp SQ \implies PQ' </math> is antiparallel <math>PQ</math> in <math>\triangle SPQ.</math>
 +
 
 +
<math>PO' = O'Q' \implies SA</math> is the symmedian.
 +
<cmath>\frac {AQ}{AP} = \frac {SQ^2}{SP^2} \implies \frac {QP - AP}{AP} = \frac {SP^2 + PQ^2}{SP^2} \implies SP = \frac {QP}{\sqrt{\frac {QP}{AP}-2}}.</cmath>
 +
 
 +
<i><b>Corollary</b></i>
 +
 
 +
Let <math>Q'P || SA_0 \implies SA_0 \perp SQ \implies SP^2 = QP \cdot PA_0 =  \frac {QP^2}{\frac {QP}{AP}-2} \implies</math>
 +
<cmath>PA_0 = \frac {AP \cdot OP}{OP – AP} \implies OA \cdot OA_0 = OP^2 .</cmath>
 +
The inverse of a point <math>A</math> with respect to a reference circle <math>\omega</math> is <math>A_0.</math>
 +
 
 +
The line throught <math>A_0</math> in plane of circle <math>\omega</math> perpendicular to <math>PQ</math> is polar of point <math>A.</math>
 +
 
 +
The central projection of this line to the plane of circle <math>\omega'</math> from point <math>S</math> is the line at infinity.
 +
 
 +
'''vladimir.shelomovskii@gmail.com, vvsss'''

Latest revision as of 16:29, 31 October 2024

Projective geometry contains a number of intuitively obvious statements that can be effectively used to solve some Olympiad mathematical problems.

Useful simplified information

Let two planes $\Pi$ and $\Pi'$ and a point $O$ not lying in them be defined in space. To each point $A$ of plane $\Pi$ we assign the point $A'$ of plane $\Pi'$ at which the line $AO$ ​​intersects this plane. We want to find a one-to-one mapping of plane $\Pi$ onto plane $\Pi'$ using such a projection.

We are faced with the following problem. Let us construct a plane containing a point $O$ and parallel to the plane $\Pi'.$ Let us denote the line along which it intersects the plane $\Pi$ as $\ell.$ No point of the line $\ell$ has an image in the plane $\Pi'.$ Such new points are called points at infinity.

To solve it, we turn the ordinary Euclidean plane into a projective plane. We consider that the set of all points at infinity of each plane forms a line. This line is called the line at infinity. The plane supplemented by such line is called the projective plane, and the line for which the central projection is not defined is called (in Russian tradition) the exceptional line of the transformation. We define the central projection as follows.

Let us define two projective planes $\Pi$ and $\Pi'$ and a point $O.$

For each point $A$ of plane $\Pi$ we assign either:

- the point $A'$ of plane $\Pi'$ at which line $AO$ ​​intersects $\Pi',$

- or a point at infinity if line $AO$ ​​does not intersect plane $\Pi'.$

We define the inverse transformation similarly.

A mapping of a plane onto a plane is called a projective transformation if it is a composition of central projections and affine transformations.

Properties of a projective transformation

1. A projective transformation is a one-to-one mapping of a set of points of a projective plane, and is also a one-to-one mapping of a set of lines.

2. The inverse of a projective transformation is projective transformation. The composition of projective transformations is a projective transformation.

3. Let two quadruples of points $A, B, C, D$ and $A', B', C', D'$ be given. In each quadruple no three points lie on the same line: Then there exists a unique projective transformation that maps $A$ to $A',$ $B$ to $B', C$ to $C', D$ to $D'.$

4. There is a central projection that maps any quadrilateral to a square. A square can be obtained as a central projection of any quadrilateral.

5. There is a central projection that maps a circle to a circle, and a chosen interior point of the first circle to the center of the second circle. This central projection maps the polar of the chosen point to the line at infinity.

Projection of a circle into a circle

Circle to circle.png
Circle to circle stereo.png

Let a circle $\omega$ with diameter $PQ$ and a point $A$ on this diameter $(2AP < PQ)$ be given.

Find the prospector of the central projection that maps the circle $\omega$ into the circle $\omega'$ and the point $A$ into point $O'$ - the center of $\omega'.$

Solution

Let $S$ be the center of transformation (perspector) which is located on the perpendicular through the point $P$ to the plane containing $\omega.$ Let $P = \omega \cap \omega', PQ'$ be the diameter of $\omega', PO' = O'Q'$ and plane $\omega'$ is perpendicular to $SQ.$

Spheres with diameter $PQ$ and with diameter $PS$ contain a point $Q'$, so they intersect along a circle $\omega'.$

Therefore the circle $\omega$ is a stereographic projection of the circle $\omega'$ from the point $S.$

That is, if the point $M$ lies on $\omega$, there is a point $M'$ on the circle $\omega'$ along which the line $SM$ intersects $\omega'.$

It means that $\omega$ is projected into $\omega'$ under central projection from the point $S.$

$PQ \perp SQ, PQ' \perp SQ \implies PQ'$ is antiparallel $PQ$ in $\triangle SPQ.$

$PO' = O'Q' \implies SA$ is the symmedian. \[\frac {AQ}{AP} = \frac {SQ^2}{SP^2} \implies \frac {QP - AP}{AP} = \frac {SP^2 + PQ^2}{SP^2} \implies SP = \frac {QP}{\sqrt{\frac {QP}{AP}-2}}.\]

Corollary

Let $Q'P || SA_0 \implies SA_0 \perp SQ \implies SP^2 = QP \cdot PA_0 = \frac {QP^2}{\frac {QP}{AP}-2} \implies$ \[PA_0 = \frac {AP \cdot OP}{OP – AP} \implies OA \cdot OA_0 = OP^2 .\] The inverse of a point $A$ with respect to a reference circle $\omega$ is $A_0.$

The line throught $A_0$ in plane of circle $\omega$ perpendicular to $PQ$ is polar of point $A.$

The central projection of this line to the plane of circle $\omega'$ from point $S$ is the line at infinity.

vladimir.shelomovskii@gmail.com, vvsss

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Projective_geometry_(simplest_cases)&oldid=231098"