Constructions in Projective Geometry - WebHome · PDF fileConstructions in Projective Geometry...

download Constructions in Projective Geometry - WebHome · PDF fileConstructions in Projective Geometry BernhardWerner 31.Juli2016 Bernhard Werner Constructions in Projective Geometry 31. Juli

If you can't read please download the document

Transcript of Constructions in Projective Geometry - WebHome · PDF fileConstructions in Projective Geometry...

  • Constructions in Projective Geometry

    Bernhard Werner

    31. Juli 2016

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 1 / 37

  • Disclaimer

    No information in this course is guaranteed to be correct. References tothis course in the exam are NOT valid justifications for your answers.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 2 / 37

  • Axiomatic constructions

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 3 / 37

  • Projective planes from affine planes

    General procedure:

    1 Add 1 new point for each pencil of parallel lines.

    2 Create 1 new line on which all those points lie.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 4 / 37

  • Projective planes from affine planes

    General procedure:

    1 Add 1 new point for each pencil of parallel lines.

    2 Create 1 new line on which all those points lie.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 4 / 37

  • Projective planes from affine planes

    The Fano-plane F2P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37

  • Projective planes from affine planes

    The Fano-plane F2P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37

  • Projective planes from affine planes

    The Fano-plane F2P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37

  • Projective planes from affine planes

    The Fano-plane F2P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37

  • Projective planes from affine planes

    The Fano-plane F2P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37

  • Projective planes from affine planes

    The Fano-plane F2P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37

  • Projective planes from affine planes

    The Fano-plane F2P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37

  • Projective planes from affine planes

    The Fano-plane F2P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37

  • Projective planes from affine planes

    The Fano-plane F2P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37

  • Projective planes from affine planes

    The Fano-plane F2P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37

  • Projective planes from affine planesThe plane F3P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37

  • Projective planes from affine planesThe plane F3P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37

  • Projective planes from affine planesThe plane F3P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37

  • Projective planes from affine planesThe plane F3P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37

  • Projective planes from affine planesThe plane F3P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37

  • Projective planes from affine planesThe plane F3P2.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37

  • Basic constructions

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 7 / 37

  • Join & Meet

    Constructions:

    Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?

    (A B) (C D)

    or

    [C ,D,B ] A [C ,D,A] B.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37

  • Join & Meet

    Constructions:

    Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?

    (A B) (C D)

    or[C ,D,B ] A [C ,D,A] B.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37

  • Join & Meet

    Constructions:

    Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?

    (A B) (C D)

    or[C ,D,B ] A [C ,D,A] B.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37

  • Join & Meet

    Constructions:

    Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?

    (A B) (C D)

    or[C ,D,B ] A [C ,D,A] B.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37

  • Join & Meet

    Constructions:

    Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?

    (A B) (C D)

    or[C ,D,B ] A [C ,D,A] B.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37

  • Join & Meet

    Constructions:

    Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?

    (A B) (C D)

    or[C ,D,B ] A [C ,D,A] B.

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37

  • The simplest construction

    Given a point P and a line l . How to construct the parallel to l through P?

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 9 / 37

  • The simplest construction

    Given a point P and a line l . How to construct the parallel to l through P?

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 9 / 37

  • The simplest construction

    Given a point P and a line l . How to construct the parallel to l through P?

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 9 / 37

  • The simplest construction

    Given a point P and a line l . How to construct the parallel to l through P?

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 9 / 37

  • Incidence theorems

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 10 / 37

  • Theorem of Desargues

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37

  • Theorem of Desargues

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37

  • Theorem of Desargues

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37

  • Theorem of Desargues

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37

  • Theorem of Desargues

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37

  • Theorem of Desargues

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37

  • Theorem of Desargues

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37

  • Theorem of Desargues

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37

  • Theorem of Desargues

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37

  • Theorem of Pappos

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37

  • Theorem of Pappos

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37

  • Theorem of Pappos

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37

  • Theorem of Pappos

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37

  • Theorem of Pappos

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37

  • Theorem of Pappos

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37

  • Theorem of Pappos

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37

  • Theorem of Pappos

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37

  • Theorem of Pappos

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37

  • Scissor theorem

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 13 / 37

  • Scissor theorem

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 13 / 37

  • Scissor theorem

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 13 / 37

  • Scissor theorem

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 13 / 37

  • Scissor theorem

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 13 / 37

  • Constructions in RP1

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 14 / 37

  • Cross-ratio

    We identify(x

    1

    ) RP1 with x R and

    (10

    ) RP1 with

    (1

    )and

    therefore with .

    Some important identities:

    We have an isomorphism RP1 R {} via P 7 (0,;P, 1).Specifically, for x R {} we have (0,; x , 1) = x .For (A,B;C ,D) = we have

    (B,A;C ,D) = 1 and(A,C ;B,D) = 1 .

    All combinations of these permutations lead to the values

    ,1, 1 , 1

    1 , 11

    and

    1 .

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 15 / 37

  • Cross-ratio

    We identify(x

    1

    ) RP1 with x R and

    (10

    ) RP1 with

    (1

    )and

    therefore with .Some important identities:

    We have an isomorphism RP1 R {} via P 7 (0,;P, 1).Specifically, for x R {} we have (0,; x , 1) = x .For (A,B;C ,D) = we have

    (B,A;C ,D) = 1 and(A,C ;B,D) = 1 .

    All combinations of these permutations lead to the values

    ,1, 1 , 1

    1 , 11

    and

    1 .

    Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 15 / 37