Ha valamely ABC háromszögben β-γ=90∘, akkor az A csúcsból kiinduló magasság a háromszög köré írt körnek érintője (az A pontban).