Чем отличается аналитический метод доказательства от синтетического?

Аналитический метод доказательства отличается от синтетического тем, что при первом методе мысль движется от заключения теоремы к её условию, а при втором — от условия теоремы к её заключению. 28

При аналитическом методе исходным пунктом для обоснования требуемого утверждения является само это утверждение, которое путём логически обоснованных шагов сводится к утверждению, известному как истинное. 3

При синтетическом методе отыскиваются такие истинные утверждения, которые можно было бы путём логически обоснованных шагов преобразовать в данное утверждение. 3 Для него характерным является описание того, что делается, но не объясняется, почему берётся в качестве исходного то или иное утверждение. 3

Таким образом, при аналитическом методе доказательство идёт от заключения к условию, а при синтетическом — от условия к заключению. 27