Вопросы к Поиску с Алисой
Теорема Штейнера — Лемуса о равнобедренных треугольниках с равными биссектрисами была доказана в XIX веке, вероятно, из-за сложности элементарного доказательства этого утверждения. old.mccme.ru ru.ruwiki.ru
Немецкий математик Кристиан Лудольф Лемус в 1840 году обратился к Якобу Штейнеру с просьбой дать чисто геометрическое доказательство. sh448.frunz.gov.spb.ru old.mccme.ru Штейнер представил довольно сложное доказательство, которое вдохновило многих других на поиски более простых методов. sh448.frunz.gov.spb.ru
Кроме того, теорема Штейнера — Лемуса известна как пример утверждения, которое не имеет простого классического доказательства, хотя есть несложное аналитическое доказательство. ru.ruwiki.ru ru.wikipedia.org