Az alábbi GeoGebra fájlban látható [i]ABCDA'B'C'D' [/i]kocka [i]A'D [/i]lapátlójának egy pontja [i]M[/i], a [i]BC'[/i] lapátló egy pontja [i]N[/i]. Az [i]MN [/i]szakasz felezőpontja [i]P. [/i]Mi a [i]P [/i]mértani helye, ha az [i](M,N[/i]) pontpárok az összes lehetséges helyzetüket felveszik?
A fenti GeoGebra fájl a probléma megértetéséhez, és a keresett mértani hely megsejtéséhez/megsejtetéséhez használható.
Ez utóbbi fájl az Eigel-féle bizonyítás tárgyalását segítheti.