ADD1=CDD1=D/2 (DD1 - биссектриса)

ADD1 =CD1D (накрест лежащие при AD||BC)

CD1D=CDD1 => △DCD1 -равнобедренный, CD=CD1

Биссектриса внутреннего угла при параллельных отсекает равнобедренный треугольник.

CD1D =D/2 =B/2 =CBB1 (соответственные) => BB1||DD1

BB1DD1 - параллелограмм

В равнобедренных треугольниках (△BAB1, △DCD1) биссектрисы являются медианами.

O1 - середина BB1, O2 - середина DD1

O1O2 - средняя линия в параллелограмме BB1DD1, O1O2 =BD1

O1O2 =BD1 =BC-CD1 =BC-CD =12-5 =7