Let be a triangle with and . Let be an altitude and be an interior angle bisector.
Hayaan ay isang tatsulok na may at . Hayaan maging isang altitude at maging isang panloob na panggitnang guhit anggulo.