En el triángulo OEF rectángulo en E se puede deducir: