Sea $O$ el circuncentro de un triángulo acutángulo $ABC$ . Suponga que el circunradio del triángulo es $R = 2p$ , donde $p$ es un número primo. Las líneas $AO,BO,CO$ se encuentran con los lados $BC,CA,AB$ en $A_1,B_1,C_1$ , respectivamente. Dado que las longitudes de $OA_1,OB_1,OC_1$ son enteros positivos, encuentre las longitudes de los lados del triángulo.