Twierdzenie: Z punktu poza linią prostą jest prosta prostopadła do prostej.
Symulacja twierdzenia z przebiegiem nowonarodzonego żółwia Caretta Caretta na najgłośniejszy bodziec dźwiękowy.