Let ABC be an acute triangle, and let H be its orthocentre. Denote by HA, HB, and HC the second intersection of the circumcircle with the altitudes from A, B, and C respectively. Prove that the area of triangle HAHBHC does not exceed the area of triangle ABC. geometrycircumcircletrigonometryinequalitiesgeometry unsolved