Denotemos $\prod = \{(x, y) | y > 0\}$. Llamamos a un semicírculo en $\prod$ con centro en el eje $x$ una semi-línea . Dos semi-líneas que se intersecan determinan cuatro semi-ángulos . Una bisectriz de un semi-ángulo es una semi-línea que biseca el semi-ángulo . Demuestra que en todo semi-triángulo (determinado por tres semi-líneas ) las bisectrices son concurrentes.