Дано: AB = CD, AD = 9. Найти OF.

Решение:

По условию задачи у нас есть квадрат ABCD, где AB = CD. Также известно, что AD = 9. Точка O является центром окружности, проходящей через точки A, B, C, D. Точка F находится на стороне AD, и отрезок OF перпендикулярен AD.

Так как ABCD — квадрат, то все его стороны равны. Следовательно, AD = AB = BC = CD = 9.

Точка O — центр описанной окружности квадрата. Центр описанной окружности квадрата находится в точке пересечения его диагоналей. Диагонали квадрата пересекаются в середине и равны друг другу.

OD — это радиус описанной окружности, который равен половине диагонали квадрата.

Длина диагонали квадрата со стороной 9 вычисляется по теореме Пифагора: \( d = \sqrt{a^2 + a^2} = \sqrt{9^2 + 9^2} = \sqrt{2 \times 81} = 9\sqrt{2} \).

Радиус окружности OD = \( \frac{9\sqrt{2}}{2} \).

OF — это перпендикуляр, опущенный из центра окружности на сторону квадрата AD. В квадрате перпендикуляр из центра на сторону равен половине длины стороны.

OF = \( \frac{AD}{2} = \frac{9}{2} = 4.5 \).

Ответ: OF = 4.5