НовостиОпубликовано в журнале "Компьютерра" №41 от 10 ноября 2005 года Страница 16 из 21. Вернуться на первую страницу.
Крутите, Шура, крутитеВажную теорему, отражающую жизненные потребности многих людей, доказал физик из Европейского центра ядерных исследований в Женеве Андре Мартин. Ученый установил, что любой стол с четырьмя ножками в углах квадрата можно привести в равновесие на неровном полу путем поворота на угол менее девяноста градусов, если наклон неровностей пола не превышает пятнадцати градусов. Строгому доказательству теоремы предшествовало больше десяти лет размышлений и экспериментов. Мартина раздражало, что на террасе кафетерия ЦЕРНа столы постоянно шатаются из-за неровного бетонного пола. Думая над проблемами ядерной физики и в рассеянности задевая стол, он то и дело расплескивал кофе. Сначала нашлось экспериментальное решение этой трудной проблемы. Круглые столы кафетерия всегда удавалось повернуть так, чтобы все четыре ножки надежно встали на пол. Но многих его коллег удивляло, что это вообще возможно. И ученый решил отыскать строгое доказательство. Но как формализовать проблему? Непогрешимая математика оперирует лишь идеальными объектами, которые порой не соответствуют реалиям жизни. Именно поиски тонкого баланса между строгостью и адекватностью теории и составляют центральную проблему многих естественных наук. В конце концов, Андре предположил, что стол изготовлен идеально и с бесконечно тонкими ножками, а пол является гладкой поверхностью. В этих условиях теорему удалось доказать, причем получилось, что наклон неровностей не должен превышать пятнадцати градусов. Свое доказательство ученый разместил по адресу xxx.arxiv.org/pdf/math-ph/0510065 и предлагает всем желающим его улучшить. Например, условиям гладкости явно не удовлетворяют мощеные камнем или замусоренные полы, хотя и на них экспериментально находится подходящий угол поворота стола. Другим важным направлением дальнейших исследований является обобщение теоремы на прямоугольные столы. Решение тут не так очевидно. Например, если все четыре ножки не лежат на одной окружности, а пол является шаром большого радиуса, то никаким поворотом стол нельзя привести в равновесие. Трудно сказать, стоит ли крутить тяжелый стол с едой или проще подложить под одну из ножек свернутую бумажку. Но наука, как и искусство, требует жертв. И порою даже самые странные теоремы помогают найти неожиданное решение неразрешимых проблем. - Г.А.
|