En un ángulo recto $\triangle ABC$ , $\angle B = 90^\circ$ , $\angle C = 15^\circ$ y $|AC| = 7.\;$ Que un punto $D$ ( Punto aleatorio ) se tome en $AC$ y luego las líneas perpendiculares $DE$ y $DF$ se dibujan en $AB$ y $AC$ respectivamente. ¿Cuál es la probabilidad de $DE\cdot DF >3?$
Intento :
Por trigonometría, obtuve la longitud de los otros dos lados a partir de la hipotenusa $AC:$
$AB$ $\approx 1.8117$
$BC$ $\approx 6.7614$ . Y entonces, obtuve la ecuación que
$DE\cdot DF = (6.7614 - DE)\cdot AE\;$ (por la similitud de ambos $\triangle AED$ y $\triangle DFC$ )
De nuevo, desde el ángulo derecho $\triangle AED$ ,
$\dfrac{AE}{DE} = \tan 15^{\circ}\quad \implies \quad AE = DE\cdot \tan 15^\circ$
Aquí, me quedé atascado. No pude encontrar una salida para proceder y saltar esa situación. Me perdí y no pude completar ese proceso. Cualquier tipo de ayuda o pista será de gran ayuda para poder avanzar.