如图,EF与GH把正方形ABCD分成四个矩形,其中矩形PHCF的面积是矩形AEPG的面积的2倍,求证:HE=BH+DF