在△AED中,∠AED=∠EAD+∠EDA=(∠BAD+∠CDA)/2
同理,∠BGC=(∠ABC+∠BCD)/2
所以∠AED+∠BGC=(∠BAD+∠CDA+∠ABC+∠BCD)/2=360°/2=180°.
因此E、F、G、H四点共圆.