AO = BO = CO = DO (як радіуси)

∠DOB = ∠AOC (як вертикальні)

Звідки випливає

ΔDOB = ΔAOC - за двома рівними сторонами і кутом між ними