Kovács Zoltán (Linz): Erdős kérdez, a számítógép válaszol

Egy számítógépes bizonyítást adunk Erdős azon kérdésére, hogy igaz-e, hogy ha a síkban megadott 6 pont csak egyenlő szárú háromszögeket határoz meg, akkor ez a 6 pont csak a szabályos 5-szög lehet a középpontjával. A bizonyítás néhány algebrai geometriai alapösszefüggésre épül. A módszer segítségével Erdős néhány további, rokon feladata is megoldható.