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.