The set of Segre , named after the Italian mathematician Beniamino Segre , is in the projective geometry the statement:
The statement was suspected in 1949 by the Finnish mathematicians G. Järnefelt and P. Kustaanheimo and their proof was published in 1955 by B. Segre.
A finite Pappus projective plane can be imagined in inhomogeneous coordinates like the real projective plane described, only that instead of the real numbers a finite field is used. Odd order means that is odd. An oval is a circle-like curve (see below): A straight line intersects at most twice and there is exactly one tangent at each point. The standard examples of ovals are the non-degenerate (projective) conic sections .
Segre's theorem is very important for finite ovals, since in the Pappus odd case there can be no other ovals apart from the conic sections. In contrast to straight pappus planes: Here there are ovals that are not conic sections (see Qvist's theorem ). In infinite pappus planes there are ovals that are not conic sections. In the real world, one only has to smoothly join a semicircle with a suitable semiellipse.
The proof of the theorem for the proof that the given oval is a conic section is carried out with the help of the 3-point degeneration of Pascal's theorem . The property that is typical for bodies of odd order, that the product of all elements that are not 0, is equal to −1, is used.
Definition of an oval
- A set of points in a projective plane is called an oval , if
- (1) Any straight line hits a maximum of 2 points. If is, is called passer , if is, is called tangent and if is, is called secant .
- (2) For every point there is exactly one tangent , i. H. .
For finite projective planes (i.e. the set of points and set of lines are finite)
- In a projective plane of order (i.e. every straight line contains points), a set is an oval if and only if is and no three points are collinear (on a straight line).
3-point degeneration of Pascal's theorem
Sentence:
Let it be an oval in a Pappus projective plane of the characteristic . is a non-degenerate conic section if and only if the following statement (P3) applies:
-
(P3): Is any triangle and the tangent in at , so are the points
- collinear.
To prove the 3P Pascal theorem
Proof:
The projective plane is shown in inhomogeneous coordinates over the body in such a way that the tangent in , the x-axis is the tangent in the point and contains the point . Furthermore, let (see picture)
the oval can be described with the help of a function as follows:
The tangent at the point is given by the equation
using a function
described. It then applies (see picture)
-
and
I: If is a non-degenerate conic is and and is expected to light that are collinear (see parable ).
II: If there is an oval with property (P3) , the slope of the straight line is equal to the slope of the straight line , i.e. H. it is
-
and therefore applies
- (i): for everyone .
With you get
- (ii): and with follows
- (iii):
From (i) and (ii) results
- (iv): and with (iii) finally
- (v): for everyone .
From (ii) and (v) it follows
-
.
So is a non-degenerate conic section.
Comment:
- Property (P3) is fulfilled in Pappusian planes of characteristic 2 for all ovals with a node N (all straight lines through N are tangents). Also for ovals that are not conic sections.
- The 3-point Pascal theorem is also valid for ovals in infinite Pappus planes over bodies of the characteristic .
Statement and proof of Segre's theorem
Sentence:
An oval in a finite pappus projective plane of odd order is a non-degenerate conic section.
3-point degeneration of Pascal's theorem, for which is proof
Segre's theorem: for proof
Proof:
As a proof it is shown that the oval fulfills the property (P3) of the 3-point degeneration of Pascal's theorem (see above).
So be any triangle on and as explained in (P3) . The Pappus plane is represented in inhomogeneous coordinates over a finite body in such a way that and is the intersection of the tangents in and . The oval can be represented with the help of a bijective function :
If now , then the slope of the secant Da is both and a bijection of
on , and a bijection of on is, where the slope of the tangent is in, holds for
(Note: For the following applies:
)
So
Since the slopes of and the tangent are
both , it results
. This is true for every triangle .
So the property (P3) of 3-point degeneracy of Pascal's theorem applies and the oval is a non-degenerate conic section.
Web links
literature
-
P. Dembowski : Finite Geometries. Springer-Verlag, 1968, ISBN 3-540-61786-8 , p. 149
-
B. Segre : Ovals in a finite projective plane , Canad. Journal of Math. 7 (1955), pp. 414-416.
-
G. Järnefelt & P. Kustaanheimo : An observation on finite geometries , The 11th Skandinaviske Matematikerkongress, Trondheim (1949), pp. 166–182.
-
Albrecht Beutelspacher , Ute Rosenbaum: Projective geometry. 2nd Edition. Vieweg, Wiesbaden 2004, ISBN 3-528-17241-X , p. 162.
Individual evidence
-
^ E. Hartmann: Planar Circle Geometries, an Introduction to Moebius, Laguerre and Minkowski Planes. Script, TH Darmstadt (PDF; 891 kB), p. 35.