Sea P un punto de triángulo ceviano XYZ, y sean X', Y', Z' los simétricos de X, Y, Z en los lados de ABC. Entonces AX', BY', CZ' concurren en un punto Q si P pertenece a la hipérbola de Jerabek (figura 1) o si P está en el infinito (figura 2). En este segundo caso, Q pertenece a la circunferencia de los 9 puntos. Si P es el circuncentro, Q es el punto de Prasolov.