Orthocenter Exists Theorem

OrthocenterExists:=proc() local A,B,C:

Concurrent( Altitude(A,Le(B,C)) , Altitude (B,Le(A,C)) , Altitude(C,Le(A,B)) ):

end:

Previous Definitions Theorems Next

AltStyle によって変換されたページ (->オリジナル) /