Relate arcs
The same perpendicular-bisect或symmetry gives equality 的corresponding arcs: AX^=BU^\widehat{AX}=\widehat{BU}AX=BU 且 AY^=UC^\widehat{AY}=\widehat{UC}AY=UC. 所以 XY^=BC^\widehat{XY}=\widehat{BC}XY=BC.