Định lý

Các định lý trong Hình học, giống như trong các môn học khác, là các phát biểu lý thuyết cần chứng minh bằng cách sử dụng các tiên đề đã biết là đúng. Những phát biểu này được sử dụng để nghiên cứu các hiện tượng khác nhau dựa trên việc giải quyết các vấn đề lý thuyết. Thuật ngữ «định lý» trong dịch từ tiếng Hy Lạp cổ đại có nghĩa là «bằng chứng».

Trong hầu hết các trường hợp, nhưng không phải luôn luôn, bằng chứng của các định lý đã được tìm thấy. Định lý được áp dụng trong kiến trúc và nghệ thuật, được biểu diễn bằng công thức a2+b2 = c2 định lý Pythagoras, và biến thể ngược lại của nó. Các định lý toán học nổi tiếng được đặt theo tên của các tác giả đã phát biểu và chứng minh chúng: Ptolemy, Fermat, Vieta, Ceva, Thales và những người khác.

Trong các tính toán kỹ thuật, sử dụng phổ biến nhất là cả các định lý được liệt kê và các định lý khác liên quan đến tam giác: định lý cosin, sin và tangent. Ngoài ra, các định lý về đường trung tuyến, phân giác, tổng các góc trong tam giác, v.v. Về đa giác, trong các tính toán lý thuyết và thực tế, định lý về tổng các góc của chúng được yêu cầu. Ngoài các định lý rất quan trọng trong hình học và các hướng khoa học khác, các phát biểu được chỉ định bằng các thuật ngữ: định nghĩa, hệ quả, điều kiện và đề xuất cũng được sử dụng.