Возник ещё побочный вопрос: в принципе Ферма мы фиксируем две точки и говорим, что оптическая длина пути между ними должна быть экстремальной по сравнению с любым другим путём, отличающимся от данного на величины 1-го порядка малости. Получается, действительный путь луча есть путь по дуге окружности, а "альтернативный" путь, который по принципу Ферма в линейном приближении должен от действительного не отличаться по оптической длине, - путь, где мы сначала идём по радиусу на бесконечно малую первого порядка

, потом по дуге радиуса

, затем опять по радиусу до конечной точки? (при этом в линейном приближении оптические длины путей по радиусам сразу уходят, и можно дифференцировать только

. Только вот почему они должны уйти, если они, вроде бесконечно малые первого порядка)