свести справедливость ее к такому простому воззрению. К тому же всякий a priori сознает необходимость такого основания бытия для каждого пространственного отношения, как и необходимость причины для каждого изменения. Конечно, такое основание в сложных теоремах очень трудно указать, и здесь не место для трудных геометрических изысканий. Поэтому, только для того, чтобы еще более уяснить свою мысль, я сведу сейчас к основанию бытия такую не очень сложную теорему, в которой оно во всяком случае не сразу бросается в глаза.
Я пропускаю десять теорем и останавливаюсь на шестнадцатой. «В каждом треугольнике, у которого одна сторона продолжена — внешний угол больше, чем каждый из двух внутренних, ему противолежащих». Доказательство Эвклида таково (см. фиг. 4):
Возьмем треугольник : продолжим сторону к , и я утверждаю, что внешний угол больше каждого из двух внутренних, противолежащих ему. Фиг. 4.Разделим сторону в точке пополам, проведем линию , продолжим ее до и сделаем равной ; соединим точки и и продолжим линию до . Так как равна и равна , то две стороны и равны двум сторонам и , взятым каждая в отдельности, и угол равен углу , ибо это — углы вертикальные. Вместе с тем основная линия равна основной линии , и треугольник равен треугольнику , и остальные углы равны остальным углам, следовательно — и угол равен углу . Ho угол больше угла ; следовательно, и угол больше угла . Если мы разделим и линию пополам, то подобным же образом докажем, что и угол , т. е. его вертикальный угол , больше угла .
Я бы доказал эту теорему следующим образом (см. фиг. 5):
Для того чтобы угол только сравнялся с углом , не говоря уже — превзошел его, линия (ведь именно это и значит равенство углов) должна была бы упасть на в таком же направлении, как и , т. е. параллельно , — другими