— Нет, мсье, мы как раз подошли к самому главному. А главное для нас с вами — отнюдь не устройство машины, а идея. Да, да, идея, которая подтолкнула мсье Паскаля к ее созданию. Он, если помните, руководствовался утверждением Декарта, полагавшего, что мозгу человеческому свойствен некий автоматизм и что многие умственные процессы, по сути дела, ничем не отличаются от механических. Иными словами, мозг столько же автомат, сколько живой орган. Долгие годы работы заставили Паскаля не только утвердиться в этой мысли, но и углубить ее. Он понял, что действия арифметической машины даже ближе к мыслительному процессу, нежели то, на что способен живой мозг…
— Что?! — взвивается Мате. — У Паскаля есть такая запись? Но ведь это же одно из тех положений, на которых основана кибернетика!
— В том-то и дело, мсье! И значит, у нас с вами есть все основания считать Паскаля ее отдаленным предшественником, что совершенно необходимо отметить еще одной чашкой чая.
Хозяин, улыбаясь, принимает у черта пустую чашку. Но что это? Рисунок на ней опять изменился! Теперь там изображены они сами — Фило, Мате и Асмодей в своем маркизовом обличье, восседающие на крыше руанской судебной палаты.
Улыбка медленно сползает с круглой физиономии Фило. Неужели его заставят копаться в теореме Дезарга? К счастью, эта неприятная для него операция переносится на другое время. Зато разговор о своей собственной теореме Мате откладывать не намерен. И многострадальный филолог покоряется своей участи.
— Итак, — говорит Мате, — напоминаю суть теоремы. Если на сторонах произвольного треугольника построить снаружи или внутри (значения не имеет) по равностороннему треугольнику и соединить прямыми их центры тяжести, то полученный таким образом новый треугольник тоже будет равносторонним.
— Насколько я понимаю, именно это и нуждается в доказательстве, — капризно замечает Фило.
— Совершенно верно. Какого рода доказательство вы желаете получить? Общее или частное — на числовом примере?
— Достаточно будет и частного!
— Понятно, — ядовито кивает Мате. — Тогда к общему виду потрудитесь привести его самостоятельно. А теперь вычертим произвольный треугольник и выберем систему координат с началом в одной из вершин треугольника. Скажем, в точке О. Ось иксов направим вдоль стороны ОВ. — Говоря это, Мате набрасывает чертеж в своем неизменном блокноте. — Как видите, координаты вершины О — нуль, нуль; вершины
— По известной формуле, — сейчас же соображает Асмодей. — Квадрат расстояния между двумя точками равен сумме квадратов разностей координат этих точек, иначе говоря
— Очень хорошо. Подставим в эту формулу координаты соответствующих вершин треугольника. Тогда:
и
Ну, а теперь построим на сторонах нашего треугольника новые треугольники, на сей раз равносторонние. Намечаю их пунктиром. Буквами n, m и р обозначим точки пересечения медиан в каждом из них. Это и будут их центры тяжести. Точки эти, как известно, находятся на расстоянии двух третей медианы, считая от вершины. В первом равностороннем треугольнике это
и
Иначе:
Мате на мгновение отрывается от чертежа и, убедившись, что Фило еще жив, продолжает:
— Далее обозначим искомые координаты центров тяжести равносторонних треугольников. Точки m:
Решая систему двух уравнений:
найдем, что
— А как это у вас получилось? — неожиданно для себя самого интересуется Фило.
— По-моему, это понятно всякому школьнику, — сердито отвечает Мате.
— Допустим. А как же быть с двумя знаками перед вторыми слагаемыми? Какой из них выбрать?
— Ну, а это уж где как. Обратите внимание на то, что первые слагаемые (2 и 2,5) — это координаты середины стороны
А точка
Точно таким же образом найдем координаты точек