Đối với các định nghĩa khác, xem Đường.

| Hình học |
| --- |
| Hình chiếu một mặt cầu lên mặt phẳng. |
| * Đại cương
* Lịch sử
 |
| Phân nhánh
* Euclid
* Phi Euclid
	+ Elliptic
		- Cầu
	+ Hyperbol
* Hình học phi Archimedes
* Chiếu
* Afin
* Tổng hợp
* Giải tích
* Đại số
	+ Số học
	+ Diophantos
* Vi phân
	+ Riemann
	+ Symplectic
* Phức
* Hữu hạn
* Rời rạc
	+ Kỹ thuật số
* Lồi
* Tính toán
* Fractal
* Liên thuộc
 |
| Khái niệmChiều
* Phép dựng hình bằng thước kẻ và compa

* Đỉnh
* Đường cong
* Đường chéo
* Góc
* Song song
* Vuông góc

* Đối xứng
* Đồng dạng
* Tương đẳng
 |
| Không chiều
* Điểm
 |
| Một chiều
* Đường thẳng
	+ Đoạn thẳng
	+ Tia
* Chiều dài
 |
| Hai chiều

|  |
| --- |
| * Mặt phẳng
* Diện tích
* Đa giác
 |
| Tam giác |
| * Đường cao (tam giác)
* Cạnh huyền
* Định lý Pythagoras
 |
| Hình bình hành |
| * Hình vuông
* Hình chữ nhật
* Hình thoi
* Rhomboid
 |
| Tứ giác |
| * Hình thang
* Hình diều
 |
| Đường tròn |
| * Đường kính
* Chu vi
* Diện tích
 |

 |
| Ba chiều
* Thể tích

* Khối lập phương
	+ Hình hộp chữ nhật
* Hình trụ tròn
* Hình chóp
* Mặt cầu
 |
| Bốn chiều / số chiều khác
* Tesseract
* Siêu cầu
 |
| Nhà hình học |
| theo tên
* Aida
* Aryabhata
* Ahmes
* Alhazen
* Apollonius
* Archimedes
* Atiyah
* Baudhayana
* Bolyai
* Brahmagupta
* Cartan
* Coxeter
* Descartes
* Euclid
* Euler
* Gauss
* Gromov
* Hilbert
* Jyeṣṭhadeva
* Kātyāyana
* Khayyám
* Klein
* Lobachevsky
* Manava
* Minkowski
* Minggatu
* Pascal
* Pythagoras
* Parameshvara
* Poincaré
* Riemann
* Sakabe
* Sijzi
* al-Tusi
* Veblen
* Virasena
* Yang Hui
* al-Yasamin
* Trương Hành
 |
| theo giai đoạn

| trước Công nguyên |
| --- |
| * Ahmes
* Baudhayana
* Manava
* Pythagoras
* Euclid
* Archimedes
* Apollonius
 |
| 
1–1400s |
| * Trương Hành
* Kātyāyana
* Aryabhata
* Brahmagupta
* Virasena
* Alhazen
* Sijzi
* Khayyám
* al-Yasamin
* al-Tusi
* Yang Hui
* Parameshvara
 |
| 
1400s–1700s |
| * Jyeṣṭhadeva
* Descartes
* Pascal
* Minggatu
* Euler
* Sakabe
* Aida
 |
| 
1700s–1900s |
| * Gauss
* Lobachevsky
* Bolyai
* Riemann
* Klein
* Poincaré
* Hilbert
* Minkowski
* Cartan
* Veblen
* Coxeter
 |
| 
Ngày nay |
| * Atiyah
* Gromov
 |

 |
| * x
* t
* s
 |

**Đường thẳng** là một khái niệm nguyên thủy không định nghĩa, được sử dụng làm cơ sở để xây dựng các khái niệm toán học khác. Đường thẳng được hiểu là một đối tượng hình học không có chiều rộng (không gian một chiều) có độ cong bằng không tại mọi điểm, tuy nhiên đây không phải là một định nghĩa.

Khái niệm
---------

Một **đường thẳng** được hiểu như là một đường dài (vô hạn), mỏng (vô cùng) và thẳng tuyệt đối. Trong hình học Euclide, có một và chỉ có một đường thẳng đi qua hai điểm bất kỳ khác nhau. Đường thẳng này tạo ra đoạn nối ngắn nhất giữa hai điểm đó.

Hai hay ba điểm nằm trên cùng một đường thẳng được gọi là ***cộng tuyến***. Trong một mặt phẳng, hai đường thẳng khác nhau hoặc là song song tức không bao giờ gặp nhau, hoặc giao nhau tại một và chỉ một điểm. Hai mặt phẳng giao nhau nhiều nhất là một đường thẳng.

Đường thẳng trong mặt phẳng Descartes có thể được mô tả bằng phương trình tuyến tính và hàm tuyến tính.

Three lines — the red and blue lines have same slope, while the red and green ones have same y-intercept.
Khái niệm trực quan về đường thẳng có thể được hình thức hóa bằng nhiều cách. Nếu hình học được phát triển theo phương pháp tiên đề (như trong tác phẩm *Các phần tử* của Euclid hay trong tác phẩm sau này *Cơ sở của hình học* của David Hilbert), thì đường thẳng chẳng được định nghĩa gì cả, mà chỉ được đặc trưng bởi các tính chất của nó trong hệ tiên đề. "Bất kỳ thứ gì thỏa mãn các tiên đề của đường thẳng thì nó chính là đường thẳng.". Trong khi Euclide đã từng định nghĩa đường thẳng là cái gì đấy "có chiều dài mà không có bề dày", thực ra ông chưa bao giờ dùng định nghĩa mơ hồ này ở các chứng minh phía sau trong tác phẩm của mình.

Trong không gian Euclide **R***n* (và cũng như trong mọi không gian vector khác), chúng ta định nghĩa đường thẳng L là tập con của không gian đang xét và có dạng

L=\{{\mathbf {a}}+t{\mathbf {b}}\mid t\in {\mathbb {R}}\}
với **a** và **b** là hai vector cho trước trong **R***n*, đồng thời **b** phải khác **0**. Vector **b** xác định hướng của đường thẳng, và **a** là một điểm nằm trên đường thẳng. Chọn các vector **a** và **b** khác nhau có thể dẫn đến kết quả cùng một đường thẳng.

Trong không gian hai chiều, chẳng hạn trong một mặt phẳng, hai đường thẳng phân biệt hoặc là hai đường thẳng song song hoặc phải cắt nhau tại một điểm. Tuy nhiên, trong không gian nhiều hơn hai chiều, hai đường thẳng có thể không song song nhau mà cũng chẳng cắt nhau, và hai đường thẳng như vậy gọi là hai đường thẳng chéo nhau.

Trong **R**2, mọi đường thẳng được biểu diễn bởi một phương trình tuyến tính có dạng

L=\{(x,y)\mid ax+by=-c\}\,
với *a*, *b* và *c* là các hệ số thực cố định trong đó *a* và *b* không đồng thời bằng 0 (xem phần phương trình tuyến tính để có thêm các dạng khác). Các tính chất quan trọng của đường thẳng trong không gian hai chiều là độ dốc, giao điểm của nó với trục Ox, giao điểm của nó với trục Oy.

Trừu tượng hơn, người ta thường nghĩ về trục số thực như là một nguyên mẫu điển hình cho một đường thẳng, và giả định rằng mỗi điểm trên đường thẳng tương ứng một-một với một số thực nào đó trên trục số thực. Thế nhưng ta hoàn toàn có thể sử dụng cả số siêu thực và kể cả đường thẳng dài trong lý thuyết topo để làm nguyên mẫu cho đường thẳng.

Tính chất "thẳng" của đường thẳng, thường được hiểu là tính chất cho phép đường thẳng cực tiểu hóa khoảng cách giữa hai điểm, mà về sau có thể được tổng quát hóa thành khái niệm đường trắc địa trong đa tạp khả vi.

Phương trình đường thẳng
------------------------

Bài chi tiết: Phương trình đường thẳng
Trong hệ tọa độ Descartes vuông góc Oxy, phương trình đường thẳng có dạng {\displaystyle y=ax+b} trong đó a là hệ số góc. Hoặc tổng quát hơn là phương trình {\displaystyle Ax+By+C=0}.

Tia
---

Trong hình học Euclid, nếu cho một đường thẳng *l* và hai điểm *A* và *B*, một **tia**, hay **nửa-đường thẳng**, có gốc *A* và đi qua *B* là tập hợp các điểm *C* trên đường thẳng *l* sao cho *A* và *B* đều thuộc tập hợp này và *A* không nằm giữa *C* và *B*. Điều này có nghĩa là, trong hình học, một tia phát xuất từ một điểm rồi đi mãi về một hướng.

TiaTia
Trong quang học, nhất là trong quang hình, đường lan truyền của ánh sáng hoặc các bức xạ điện từ khác, trong môi trường đồng nhất, là một đường thẳng và được gọi là tia sáng hay quang tuyến. Tia này vuông góc với mặt sóng trong lý thuyết quang sóng.

Xem thêm
--------

* Đoạn thẳng
* Hình học affine
* Quang tuyến
* Phương trình tuyến tính
* Hàm tuyến tính
* Sự nhiễu xạ
* Không-thời gian
* Hình học phi Euclide
* Lý thuyết tương đối

Tham khảo
---------

Liên kết ngoài
--------------

|  |  |
| --- | --- |
|  | Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về ***Đường thẳng***. |

* Đường thẳng tại Từ điển bách khoa Việt Nam
* Weisstein, Eric W. "Đường" từ MathWorld.

* Cổng thông tin Toán học
* Cổng thông tin Hình học
* Cổng thông tin Sao Hỏa

| Các chủ đề chính trong toán học |
| --- |
| Nền tảng toán học | Đại số | Giải tích | Hình học | Lý thuyết số | Toán học rời rạc | Toán học ứng dụng | Toán học giải trí | Toán học tô pô | Xác suất thống kê |