Цитата:
По условию задачи ОК=КД
Это не следует из условия задачи. У Архимеда это условие выполнялось, потому что он использовал линейку с засечками, где было отложено расстояние ОК, и подбирал точку Д, чтобы ОК=КД. Вы точку Д (или К, это всё равно) находите иначе. В Вашем построении
. Но ошибка мала, и Вы её не замечаете. Но она есть.
Уважаемый Евгений Машеров, Вы не последовательны. Сначала Вы говорите, что "это не следует из условия задачи", а далее пишете, что точка Д подбирается так, чтобы ОК=КД. Это и есть одно из условий задачи. Два других условия в том, что одна засечка (в нашем случае К) находилась на окружности, а вторая Д на осевой вертикали. Именно согласно этим условиям и выполнены мои построения и доказательство.