Djordje Baralić

Transcription

Djordje Baralić
Mystic Hexagon and Octagon
- A Nice Application of Bézout’s Theorem
Djordje Baralić
Mathematical Institute SASA, Belgrade, Serbia
djbaralic@mi.sanu.ac.rs
Adviser : Rade Živaljević
Problems I am working on
My Research Area
Currently I am studying quasitoric manifolds and small covers, topological generalizations of toric and
real toric varieties, relations between their topology and combinatorics of their naturally associated
simple polytopes and its application in geometric combinatorics
toric topology, algebraic topology, geometric combinatorics, combinatorial algebraic geometry, projective geometry
New Generalizations in Hexagrammum Mysticum
Introduction
Pappos, IV century A. D.
Pascal line for cubics D1 and D2
Let A1, A2, A3 be three points on a straight
line and let B1, B2, B3 be three points on
another line. Let the lines A1B2 , A2B3, A3B1
intersect the lines B1A2 , B2A3, B3A1, in the
points C1, C2 and C3 respectively. Then the
three points C1, C2 and C3 are collinear.
Let the points A, B, C, D, E and F lie
on cubics D1 and D2. Then the remaining 3 intersection points of the cubics D1
and D2, P , Q and R lie on the same line
l(ABCDEF ; D1, D2).
Baralić & Spasojević, 2012
The
lines
l(ABCDEF ; D1, D2),
l(ABCDEF ; D2, D3)
and
l(ABCDEF ; D3, D1) intersect in the
Steiner-Kirkman point for the cubics D1, D2
and D3 and we denote it by N(D1)(D2)(D3).
Blaise Pascal, 1639.
Let the points A1, A2, A3, A4, A5 and A6 lie
on conics C. The lines A1A2 and A4A5 meet
at P , the lines A2A3 and A5A6 meet at Q, the
lines A3A4 and A6A1 meet at R. Then the
points P , Q and R are collinear.
The point N(A.BD.E.CF ; D) = N(D)(l(AB) · l(EC) · l(DF ))(l(AD) · l(EF ) · l(BC)) is called
generalized D Steiner point.
Baralić & Spasojević, 2012
Bézout
The four generalized D Steiner points N(A.BC.F.DE; D), N(A.BD.F.CE; D),
N(A.DE.F.BC; D) and N(A.CE.F.BD; D) lie on the Generalized Steiner Line.
If two projective curves C and D in CP 2 of
degree n intersect at exactly n2 points and if
n·m of these points lie on an irreducible curve E
of degree m < n, then the remaining n·(n−m)
points lie on a curve of degree at most n − m.
Octagrammum Mysticum
Hexagrammum
Mysticum
60 possible ways for joining six points on a conic
produce 60 Pascal lines. They are concurrent by
triples in 20 ’Steiner points’ and also by triples in another 60 points, known as ‘Kirkman’s points’ which
form a (60)3-type configuration. ’Veronese’s Decomposition Theorem’ states that (60)3-type configuration splits properly into six Desargues Configurations of the type (10)31’s. He also proved the
existence of infinitely many systems comprised of
sixty lines and points, explaining the complete Mystic Hexagon Configuration.
Wilkinson 1872.
Let ABCDEF GH be an octagon inscribed in a
conic C and let Q1 and Q2 be distinct quartics
that pass through the points A, B, C, D, E,
F , G and H. Let L, M, N, O, P , Q, R and
S be the eight other points of the intersection
of Q1 and Q2. Then these eight points lie on
the same conic D.
Baralić & Spasojević, 2012.
Plücker
Let ABCDEF GH be an octagon inscribed
in a conic C and assume that Q1, Q2 and
Q3 are distinct quartics that pass through
A, B, C, D, E, F , G and H. Then
the
conics
D1(ABCDEF GH; Q2, Q3),
D2(ABCDEF GH; Q3, Q1)
and
D3(ABCDEF GH; Q1, Q2)
belong
to
the same pencil of conics.
20 Steiner points lie in fours on 15 SteinerPlücker lines, three through each point.
Cayley and Salmon
The Kirkman points lie in threes on 20 CayleySalmon lines. Each Steiner point lie on the
Cayley-Salmon line. The Cayley-Salmon lines
meet in threes in 15 Salmon points.
References
um,
c
ti
s
y
M
m
u
m
m
ra
g
ta
c
O
um and
m
m
ra
g
a
x
e
H
s
l’
a
c
s
a
P
f
o
ination
m
lu
Il
:
ić
v
je
o
s
a
p
S
I.
d
n
a
-427
4
1
1 Dj. Baralić
4
p
p
,
2
e
u
s
Is
,
)
5
1
0
2
ol. 53 (
V
.,
m
o
o. 3,
e
N
G
,
t.
4
u
3
p
l.
m
o
o
V
C
r,
e
te
c
n
e
g
lli
Discre
te
Math. In
,
d
e
fi
ti
s
y
m
e
D
m
u
c
ti
s
y
scal M
a
P
e
h
T
,
a
b
y
R
.
A
d
n
a
y
2 J. Conwa
4–8, 2012.
9, 1-12
7
8
1
,
2
l.
o
V
.,
th
a
M
.
J
, Amer.
m
ra
g
a
x
ei
e
d
H
ie
l
a
m
c
e
s
d
a
a
P
c
c
e
h
A
T
le
,
a
d
e
d
R
a
L
i
e
.
d
3C
morie
e
M
,
m
u
c
ti
is
M
m
u
m
m
Hexagra
ll’
u
s
i
m
re
o
e
T
i
v
o
u
N
,
e
4 G. Verones
-703.
Lincei, Vol. I, 1877, 649
Baralić & Spasojević, 2012.
Let Q be a quartic passing through 8 vertices of
mystic octagon ABCDEF GH, let C1, C2 and
C3 be three distinct conics through the points
A, B, C and D and let D1, D2 and D3 be three
distinct conics through the points E, F , G and
H. Let X1 be the mystic conic arising from the
curves Q and C1 · D1 and let Y1 be the mystic
conic arising from the curves Q and C3 · D2.
The conics X2, X3, Y2 and Y3 are defined in
analogous way. Then 12 intersection points of
X1 ∩ Y1, X2 ∩ Y2 and X3 ∩ Y3 lie on the same
conic.