Брошюра Ю.П. Соловьева "Неравенства" МЦНМО:
Цитата:
Определение. Центром масс двух точек
и
будем называть такую точку
на отрезке
, что
где
и
- массы точек
и
соответственно.
Это и есть знаменитое правило рычага. В XVIII веке люди пытались его доказать, но оказывается, оно эквивалентно пятому постулату Евклида.
(Скриншот)
В сноске под звездочкой дан лишь исторический комментарий про пятый постулат, суть тейка не раскрывается. Более того, в интернете упоминания этого факта в таком виде не нашёл.
Метод масс там используется для доказательства теоремы Йенсена и в паре других задач.
Вероятно, речь идет о том, что для перемещения рычага силы на обоих концах должны совершить одинаковую работу, тогда их пути соотносятся также, и из подобия треугольников получаем эту же пропорцию для отношения плеч. Существование неравных подобных треугольников эквивалентно 5-ому постулату. В обратную сторону тоже как-нибудь выводится.
Тогда что имелось в виду под "пытались доказать,
но"?