От автора
Брошюра поможет разобраться учащимся в следующих вопросах: что такое доказательство и зачем нужно доказательство, каким оно должно быть и что в геометрии можно принимать без доказательства.

Содержание
Введение
? 1. Что такое доказательство?
? 2. Зачем нужно доказательство?
? 3. Каким должно быть доказательство?
? 4. Какие предложения геометрии можно принимать без доказательства?

Другие выпуски серии на сайте
Вып. 1 - Маркушевич А. И. Возвратные последовательности
Вып. 2 - Натансон И. П. Простейшие задачи на максимум и минимум
Вып. 3 - Соминский И. С. Метод математической индукции
Вып. 4 - Маркушевич А. И. Замечательные кривые
Вып. 5 - Коровкин П. П. Неравенства
Вып. 6 - Воробьев Н. Н. Числа Фибоначчи
Вып. 7 - Курош А. Г. Алгебраические уравнения произвольных степеней
Вып. 8 - Гельфонд А. О. Решение уравнений в целых числах
Вып. 9 - Маркушевич А. И. Площади и логарифмы
Вып. 10 - Смогоржевский А. С. Метод координат
Вып. 11 - Дубнов Я. С. Ошибки в геометрических доказательствах
Вып. 12 - Натансон И. П. Суммирование бесконечно малых величин
Вып. 15 - Шафаревич И. Р. О решениях уравнений высших степеней
Вып. 20 - Лопшиц А. М. Вычисление площадей ориентированных фигур
Вып. 21 - Головина Л. И., Яглом И. М. Индукция в геометрии
Вып. 22 - Болтянский В. Г. Равновеликие и равносоставленные фигуры
Вып. 23 - Смогоржевский А. С. О геометрии Лобачевского
Вып. 24 - Аргунов Б. И., Скорняков Л. А. Конфигурационные теоремы
Вып. 25 - Смогоржевский А. С. Линейка в геометрических построениях
Вып. 26 - Трахтенброт Б. А. Алгоритмы и машинное решение задач
Вып. 28 - Архангельский Н. А., Зайцев Б. И. Автоматические цифровые машины
Вып. 29 - Костовский А. Н. Геометрические построения одним циркулем
Вып. 33 - Барсов А. С. Что такое линейное программирование
Вып. 46 ? Соболь И. М. Метод Монте-Карло
Вып. 54 - Успенский В. А. Машина Поста
Вып. 57 - Успенский В. А. Теорема Гёделя о неполноте