Некоторые методы математического доказательства теорем:

• Аналитический метод. 1 Исходным пунктом для обоснования требуемого утверждения является само это утверждение, которое путём логически обоснованных шагов сводится к утверждению, известному как истинное. 1
• Синтетический метод. 1 Отыскиваются такие истинные утверждения, которые можно было бы путём логически обоснованных шагов преобразовать в данное утверждение. 1
• Доказательство противоречием (от противного). 3 Начинается с предположения об отрицании заключения, затем показывается, что это предположение приводит к противоречию, тем самым доказывая исходное утверждение. 2
• Метод перебора. 1
• Метод исключения. 1
• Метод бесконечных исключений. 1 Математическое утверждение доказывается для конечного числа случаев, и делается вывод о невыполнимости этого утверждения для остальных случаев, которых бесконечное число. 3
• Метод полной индукции. 3 Перебираются все возможные случаи, к каждому из которых применяют либо синтетический метод, либо метод противоречия. 3
• Метод конструирования. 3 Путем геометрических построений, основанных на свойствах геометрических фигур, известных определениях и теоремах, строится объект, о котором идёт речь в математическом утверждении. 3