Trong toán học, một chứng minh là một cách trình bày thuyết phục (sử dụng những chuẩn mực đã được chấp nhận trong lĩnh vực đó) rằng một phát biểu toán học là đúng đắn[1]. Chứng minh có được từ lập luận suy diễn, chứ không phải là tranh luận kiểu quy nạp hoặc theo kinh nghiệm. Có nghĩa là, một chứng minh phải biểu diễn cho thấy một phát biểu là đúng với mọi trường hợp, không có ngoại lệ. Một mệnh đề chưa được chứng minh nhưng được chấp nhận đúng được gọi là một phỏng đoán.
~
Các phương pháp chứng minh
1 Chứng minh trực tiếp
2 Chứng minh bằng quy nạp toán học
3 Chứng minh bằng chuyển vế
4 Chứng minh bằng phản chứng
5 Chứng minh bằng dẫn chứng
6 Chứng minh vét cạn
7 Chứng minh xác suất
8 Chứng minh tổ hợp
9 Chứng minh không xây dựng
10 Chứng minh bằng hình ảnh
11 Chứng minh cơ bản
12 Chứng minh hai cột
13 Chứng minh thống kê trong toán học thuần túy
14 Chứng minh với sự hỗ trợ của máy tính
Nguồn: wikipedia