lý thuyết : Phép phản chứng trong toán học được biết dưới dạng chứng minh mâu thuẫn hay chứng minh bằng phản chứng . Muốn kết luận yêu cầu của bài toán là đúng thì ta phải giả sử ngược lại và chứng minh giả sử đã nêu ra là sai .
Các bước thực hiện :
1) giả sử điều trái với kết luận bài toán ( thường thì mấy bài chứng minh như : vô tỉ, hoặc phủ định câu hỏi thì ta áp dụng )
2) từ giả sử và giả thuyết của bài toán, ta chứng minh điều mâu thuẫn với giả thuyết bằng các kiến thức đã học
3) khẳng định bài toán đúng
Tuy nhiên cũng có một số bài ta dùng phản chứng để chứng minh điều bài toán nói là sai ( th ít )