Issues on Automated Reasoning Tools

Zoltán Kovács, 27.2.2017

A collection of issues found by Pilar Vélez, Katharina Schiffler and Zoltán Kovács.

Sisällysluettelo

  1. Pilar's examples
    1. Inscribed and central angles
    2. Inscribed and circumscribed squares
    3. Bisectors as a locus
    4. Simson-Wallace variation
  2. Katharina's examples
    1. Mittellinie
    2. Satz von Varignon
    3. Umkreismittelpunkt
    4. Trägergeraden der Höhen eines Dreiecks
    5. Schwerpunkt eines Dreiecks
    6. Inkreismittelpunkt eines Dreiecks
    7. Fermat-Punkt eines Dreiecks
    8. Euler'sche Gerade

1.

Pilar's examples

A collection of Pilar's examples

  • 1. Inscribed and central angles
  • 2. Inscribed and circumscribed squares
  • 3. Bisectors as a locus
  • 4. Simson-Wallace variation

1.1.

Inscribed and central angles

– M. Pilar Vélez

1.2.

–

1.3.

–

1.4.

–

2.

Katharina's examples

Some nice theorems tested by Katharina.

  • 1. Mittellinie
  • 2. Satz von Varignon
  • 3. Umkreismittelpunkt
  • 4. Trägergeraden der Höhen eines Dreiecks
  • 5. Schwerpunkt eines Dreiecks
  • 6. Inkreismittelpunkt eines Dreiecks
  • 7. Fermat-Punkt eines Dreiecks
  • 8. Euler'sche Gerade

2.1.

Mittellinie

– schika

2.2.

–

2.3.

–

2.4.

–

2.5.

–

2.6.

–

2.7.

–

2.8.

–

Tiedot