Sean $\alpha, \beta$ y $\gamma$ los ángulos del triángulo $ABC$. La bisectriz perpendicular de $AB$ interseca a $BC$ en el punto $X$, la bisectriz perpendicular de $AC$ lo interseca en $Y$. Demuestra que $\tan(\beta) \cdot \tan(\gamma) = 3$ implica $BC= XY$ (o en otras palabras: Demuestra que una condición suficiente para $BC = XY$ es $\tan(\beta) \cdot \tan(\gamma) = 3$). Demuestra que esta condición no es necesaria, y da una condición necesaria y suficiente para $BC = XY$.