Định lí và chứng minh

Toán lớp 7. Góc và đường thẳng song song.

Trong bóng đá, có luật mới biết phạt hay không. Trong toán học, định lí gồm giả thiết và kết luận, chứng minh là lập luận dựa trên điều đã biết.

Định lí có dạng "nếu giả thiết thì kết luận". Chứng minh là dùng lập luận để đi từ giả thiết đến kết luận.