Брошюра Ю.П. Соловьева "Неравенства" МЦНМО:
Цитата:
Определение. Центром масс двух точек

и

будем называть такую точку

на отрезке

, что

где

и

- массы точек

и

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