En el triángulo OEF, rectángulo en E, tenemos: