证明:
EF=EA+AB+BF
故:EF-AB=-AE+BF=-AD/2+BC/2=(-AD+BC)/2
又:EF=ED+DC+CF
故:DC-EF=-ED-CF=-AD/2+FC=-AD/2+BC/2=(-AD+BC)/2
即:EF-AB=DC-EF
证明:
EF=EA+AB+BF
故:EF-AB=-AE+BF=-AD/2+BC/2=(-AD+BC)/2
又:EF=ED+DC+CF
故:DC-EF=-ED-CF=-AD/2+FC=-AD/2+BC/2=(-AD+BC)/2
即:EF-AB=DC-EF