Right triangle altitude theorem