Для решения этой задачи нам потребуется использовать основные свойства окружностей и трапеций.
Пусть точка ( O ) - центр окружности, ( M ) - середина отрезка ( AB ), а ( x ) - длина отрезка ( AM = MB ).
Из свойств окружностей известно, что касательная к окружности перпендикулярна радиусу, проведенному к точке касания. Следовательно, ( \angle KOA = 90° ).
Также известно, что угол между касательной и хордой, проведенной из точки касания, равен углу, заключенному между хордой и касательной. Таким образом, угол ( \angle A = \angle D ).
Так как ( AC ) параллельно ( BD ) (так как они обе перпендикулярны к ( KO )), и ( AC = BD ), то трапеция ( ACDB ) - равнобокая.
Обозначим через ( x ) длину отрезка ( AK ). Так как ( ACDB ) - равнобокая, ( DB = AC = x ).
Из теоремы о касательных и хордах следует, что квадрат длины отрезка, проведенного от точки касания до точки пересечения касательной и хорды, равен произведению длин двух отрезков хорды. Таким образом, ( x^2 = x \cdot (2x) = 2x^2 ), откуда ( x = \sqrt{2} \cdot x ).
Теперь рассмотрим треугольник ( EOC ). Так как ( OC ) - радиус окружности, а ( OE ) и ( CE ) касательные, то у треугольника ( EOC ) углы ( \angle EOC ) и ( \angle OCE ) будут прямыми. Так как ( CE = \sqrt{2} \cdot x ), а ( OC = \frac{AB}{2} = \frac{9}{2} ), то ( OE = EC ), и треугольник ( EOC ) является равнобедренным.
Из свойств прямоугольного треугольника ( EOC ) с углом ( \angle EOC = 90° ) следует, что углы ( \angle E = 45° ) и ( \angle C = 45° ) (равнобедренность треугольника).
Теперь рассмотрим треугольник ( EDC ). У него угол ( \angle CED = 90° - \angle E = 45° ), так как ( \angle EDC = 30° ), то ( \angle C = 180° - 30° - 45° = 105° ).
Значит, у нас получился равнобедренный треугольник ( EDC ), где ( \angle C = \angle D = 105° ), а ( \angle E = 45° ).
Поскольку ( \angle C = \angle D = 105° ), ( \angle E = 45° ), то треугольник ( EDC ) - равнобедренный.
Таким образом, длина отрезка ( AD = DC ) будет равна длине отрезка ( EC ), который равен ( \sqrt{2} \cdot x = \sqrt{2} \cdot \sqrt{2} = 2 ).
Итак, длина отрезка ( AD = DC = 2 ).