§ 6. Постулат де Лелека.
Бесспорно, что X. Вольф имел влияние и на французскую методическую литературу. В тех ранних французских учебниках начала XIX столетия, в которых отклоняются от лежандрова типа, молено усмотреть влияние X.
Вольфа. Это влияние можно отметить, например, в книге Сюзанна19.Следует обратить внимание на доказательства равновеликости пирамид с равновеликими основаниями и равными высотами. В методическом отношении теоремы эти представляют большой интерес.
Деном и Каганом доказана невозможность вывода этой теоремы методом разложения на равновеликие части. Отсюда вытекает необходимость применения метода исчисления бесконечно малых (методы исчерпывания „чертовой лестницы" или принципа Кавальєри). Сюзанн находит особый путь, обходящий "чертову лестницу", по которому идет Лежандр. В основе своего доказательства он ставит постулат де Левека. По всей вероятности, эта аксиома пускает свои корни в вольфианские идеи. То, что де Левек и Сюзанн называют операциями, определяемыми только формой, а ие размерами. Вольф называет короче: одинаковыми операциями.
Согласно его аксиоме, если подобны Q и Q', Р и Р', то подобны также и пары (Р, Q) и (Р', Q') и потому отношения P:Q и P':Q' одинаковы. Постулат де Левека можно обобщенно сформулировать таким образом: если мы имеем две подобные фигуры S и S' и с помощью одинаковых построений получаем из них (отрезки, площади, объемы) Р и Р' а затем одинаковыми построениями — Qu О' то: