% A property of the orthocenter
% Copyright (c) Christian Obrecht 2002

box(-4.5,-4,9,6.5)

A B C triangle
H = orthocenter(A,B,C)

draw(circle(A,B,C))
draw(H)

thickness(.5)
draw(circle(A,B,H))
draw(circle(A,H,C))
draw(circle(H,B,C))

thickness(1.2)
draw(A,B,C)

draw("$A$",A,.25,-135:)
draw("$B$",B,.15,-30:)
draw("$C$",C,.25,145:)
draw("$H$",H,.15,140:)