Ответ:

Дано:

АВ = CD, АВ ∩ CD = О, АО = 0D.

доведёння :

АВ = CD i АО = 0D.

За аксіомою вимірювання відрізків маємо

ОВ = АВ - АО i СО = CD - OD, OB = ОС.

Звідси маємо АСОВ - рівнобедрений.

За властивютю кутів рівнобедреного трикутника маємо.

OBC = ∟OCB (кути при ocнові).

Розглянемо ∆АВС i ∆DCB.

АВ = CD, ∟ABC = ∟DCB, CB - спільна сторона.

За I ознакою рівності трикутників маємо ∆АВС = ∆DCB. Доведено.