AO=OC si BO=OD din datele problemei iar <AOB=<COD deoarece sunt opuse la varf. De aici rezulta ca triunghiurile AOB si COD sunt congruente, motiv pentru care AB=CD si <ABO=<OCD
