AD‖BC,E,F分别是AB,CD的中点
所以AD‖BC‖EF
EF=(a+b)/2
在三角形DBC中,可以得到GF=1/2BC=b/2
在三角形ADC中,可以得到FH=1/2AD=a/2
GH=GF-FH=(b-a)/2