The figure below shows a
right triangle ABC and the square ABDE with the inscribed circle
O. EB and AC extended meet at P. The tangent PT to circle O cuts
BC and AB at G and H, respectively. Prove that the area of
triangle HBG is equal to the area of quadrilateral HGCA.