— Внимание! — сказал капитан. — Фрегат идёт вдоль берега Точных Доказательств. Здесь надо вести судно особенно осторожно: повсюду подстерегают подводные камни. Один неумелый манёвр — и можно утонуть в море Ошибок. Вот герб берега Точных Доказательств.

Капитан протянул нам памятный значок. На одной его стороне было написано: «Меньше слов — больше смысла», а на обороте — «Требуйте точных и красивых доказательств!»

Да, это вам не бухта Аксиома, где ничего нельзя доказывать! Здесь не только можно, но и нужно. Но капитан сказал, чтобы я не слишком торопился отделаться от аксиомы. Потому что без аксиомы ничегошеньки не докажешь. Ни одной теоремы!

— Чего-чего? — переспросил я.

— Те-о-ре-мы! — повторил капитан. — Это слово греческое и означает в переводе «обдумывание». Для того чтобы доказать теорему, надо много думать.

Я сказал, что, наверное, очень трудно доказывать теоремы. Но капитан ответил, что совсем не трудно, если всё время думать логически, то есть рассуждать правильно, последовательно, так, чтобы одна мысль вытекала из другой, а не противоречила ей. Уметь логически рассуждать важно каждому, а математику — особенно.

Я попросил капитана доказать какую-нибудь теорему. Он нарисовал два треугольника, оба прямоугольные, — я это понял сразу, потому что не успел ещё забыть легенду про маму-Гипотенузу и братьев-Катетов. Капитан велел запомнить, что точки, где сходятся стороны треугольника, называются вершинами и что вершин у треугольника три. Он их обозначил латинскими буквами. У одного треугольника — большими (А, В, С), у второго — маленькими (а, b, с).

— Эти треугольники замечательны тем, — продолжал капитан, — что как меньшие, так и большие катеты у обоих одинаковой длины. Вот и надо доказать, что при этом треугольники равны между собой.