Треугольник AOD - равнобедренный (дано) => .
Треугольники AOD и ВОС подобны, так как
Или проще: так как ВС║AD, то АВСD - трапеция, а в трапеции диагонали делят ее на два прдобных (с основаниями трапеции) и два равновеликих (с боковыми сторонами трапеции) треугольника.
Треугольник AOD равнобедренный (дано) => Треугольник ВОС также равнобедренный (они подобны). Тогда ВО=ОС и АС = BD.
Треугольники ABD и ACD равны по двум сторонам (АС = BD и AD - общая) и углу между ними (