Re: HSC 2014 4U Marathon
your proof is more elegant and yes the the perpendicular bisectors do meet at the circumcentre
(interesting to note is that this occurs irrespective of whether this circumcentre is external to the triangle or not)
In terms of what Sy said, the orthocentre is...