Giải:
J bất kì thuộc HI và JK // GI ; JL // GH (gt)
mà ta có: HG _|_ GI (gt) (1)
=> JK _|_ GH ; JL _|_ GI (2)
Từ (1), (2) => tứ giác GKJL là hcn
=> Để GKJL là hv thì GJ phải là p/g của góc G => J là chân đường p/g kẻ từ G đén HI
=> Có tồn tại J thuộc HI để tứ giác GKJL là hv