Авторство «Катоптрики» весьма спорно. Тем не менее необходимо сказать, что в ней приведено строгое геометрическое доказательство закона отражения света. Он гласит, что солнечные лучи отражаются под равными углами относительно горизонтальной (или вертикальной) оси. На примере рисунка 1 угол падения 0 равен углу отражения Евклид основывается на геометрическом предложении из Книги 1 «Начал»:
РИС.1
РИС. 2
Предложение 20 .В любом треугольнике сумма двух его сторон больше третьей стороны.
Оно доказывается следующим образом. Если отраженный луч образует два равных угла, мы получим отрезки АС и СВ\ если же эти углы не равны, то мы получим отрезки AD и DB. Проведем прямую СЕ, симметричную отрезку АС, и прямую DE, симметричную отрезку AD. Получим треугольник BED, где сторона BE короче суммы сторон BD и DE. Сумма отрезков АС и СВ меньше, чем сумма AD и DB (см. рисунок 2).
Доказав, что луч по закону отражения всегда проходит наиболее короткий путь между точками А, С и В, Евклид выдвигает интереснейшую гипотезу: сама природа заставляет луч выбирать именно этот, самый короткий путь, следуя так называемому принципу наименьшего времени.
При помощи такого изящного доказательства Евклид выдвинул важнейшую идею: в законах природы всегда задействованы минимальные величины. Это значит, что физическая величина, указанная в задаче, например расстояние, затраченное время, энергия и так далее, всегда будет настолько мала, насколько это возможно. Много веков спустя Пьер Ферма (1601-1665), вероятно, обратился к этой мысли, чтобы сформулировать закон отражения света, который описывает трансформации луча солнца, проходящего через разные среды: сначала через воздух, а затем через воду. Ферма утверждал, что его «путь будет тем, который он преодолеет за меньшее количество времени». Эта гипотеза гениального французского математика была подтверждена Готфридом Лейбницем (1646-1716): он использовал ее для доказательства важности дифференциального исчисления, которое применяется в том числе для нахождения наибольших и наименьших величин. Основываясь на общем принципе определения наименьших величин, швейцарский ученый Леонард Эйлер (1707-1783) создал новую область математики — вариационное исчисление. Но окончательно сформулировал этот основополагающий закон природы Пьер Луи Моро де Мопертюи, назвав его принципом наименьшего действия.
Наконец, Евклиду приписываются два сочинения по механике, цитируемые арабскими переводчиками «Начал», но на самом деле их авторство неясно. «О легкости и тяжести» содержит самое точное изложение аристотелевской динамики свободно движущихся тел, дошедшее до наших дней; «О рычаге», напротив, описывает теорию равновесия, независимую от аристотелевской механики.