тогда накрестлежащие углы при параллельных AB и DC и секущей BD равны:
ABD=BDC
накрестлежащие углы при параллельных AB и DC и секущей AC равны:
BAC=ACD (углы при О вертикальны => равны)
вывод: треугольники ABO и CDO подобны по двум углам =>
OB:OD = AB:DC
9:15 = AB:25
AB = 9*25/15 = 3*5 = 15