Список проголосовавших за комментарий "zealm, там могут быть разные случаи, включая какие-нибудь вырожденные, заранее о которых неизвестно. Запрограммировать можно неправильно. И даже если правильно, то потом всё многообразие не смочь просмотреть, чтобы увидеть возможную ошибку.<br/> <br/> Когда Григорий Перельман доказал теорему века, его доказательство ещё долго проверяло большое количество математиков.<br/> <br/> Здесь, видимо, что-то подобное должно быть, на запрограммирование надеяться нельзя, ибо при программировании все случаи также закладывать надо и специально их «запрограммировывать». «Автоматически» они не получатся.<br/> <br/> Тут ещё остаются неясные меньшего порядка, как-то закон колебаний, ибо маятник при бесконечно малых колебаниях колеблется по одному закону, а при размахе на 180 градусов закон поменяется."