Хотя это не формальное доказательство, наглядная демонстрация математической теоремы иногда называется «доказательством без слов».
Доказательство от противного - это способ доказательства математической теоремы путем демонстрации того, что если утверждение ложно, возникает проблема с логикой доказательства. То есть, если предположить, что один из результатов теоремы неверен, то доказательство не работает.