∵ AE=DF EC=FB
又 AB=DC 都+BC
∴ AC=BD
∴ △AEC ≌ △BFD(SSS)
∴ ∠1=∠2(都是红线的对应角)
∴ OB=OC
证明:因为 AB=DC,
所以 AC=BD,
又因为 AE=DF,EC=FB,
所以 三角形AEC全等于三角形DFB,
所以 角OBC=角OCB,
所以 OB=OC.