AD+BC=CD+AB,
理由:∵四边形ABCD的边与圆O分别相切于点E、F、G、H,
∴DH=DG,CG=CF,BE=BF,AE=AH,
∴AH+DH+CF+BF=DG+GC+AE+BE,
即AD+BC=CD+AB.