por otra parte en el mismo triángulo OEF, tenemos: