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ó.