Igazoljuk, hogy az egységnégyzet oldalegyenesein nincs olyan pont, amely mind a négy csúcstól racionális távolságra van.