기하학에서 직선(直線, 영어:(straight) line)은 곧게 뻗은 선을 추상화한 개념이다. 직관에 가장 가까운 유클리드 기하학은 직선에 정의를 두지 않으며, 대신 그 성질을 나타내는 공리를 세워 기술한다. 이 경우 직선은 점이 서로 반대인 두 방향으로 휘지 않고 무한히 뻗어나가 얻는 1차원 도형으로 해석된다. 유클리드 기하학의 표준 모형인 해석기하학에서 직선은 연립 일차 방정식의 특수한 경우로 주어진다. 사영 평면의 직선은 유클리드 기하학의 직선에 무한원점 하나를 보탠 경우와 모든 무한원점으로 이루어진 직선(무한원직선)의 경우로 나뉘며, 3차원 공간의 고정된 점을 포함하는 평면들로 해석할 수도 있다. 미분기하학에서 직선은 측지선의 개념을 통해 기술할 수 있다. 결합기하학은 직선을 점들의 집합으로 생각하는 대신 점이 놓였는지(점을 지나는지)에 대한 관계를 논할 수 있는, 점과는 독립된 대상으로 간주한다.
직교 좌표 평면 위의 직선(일차 함수)의 예. 빨간 직선과 파란 직선은 기울기가 같고, 빨간 직선과 초록 직선은 y절편이 같다.
유클리드 기하학을 처음 다룬 《원론》은 선을 "길이가 있되 너비가 없다"고 정의한 뒤 직선을 "그 위의 점이 평등히 놓인 선"이라고 정의하지만, 이는 오늘날의 기준에서 정의에 속하지 않는다. 직선을 기술하는 공리들 역시 정의되지 않은 용어를 사용한다는 점에서 엄밀하지 않다. 힐베르트 공리계는 점과 직선의 관계에 대한 공리의 엄밀한 서술과 직선이 만족시켜야 하는 아르키메데스 성질 및 완비성을 추가하여 유클리드 기하학을 엄밀화하였다. 3차원 직교 좌표 공간 (또는 )은 유클리드 기하학의 모든 공리를 만족시키는 가장 통용되는 모형이며, 이 모형에서 직선을 비롯한 개념들을 직교 좌표계를 도구로 사용하여 대수학적으로 다룰 수 있다. 즉, 직교 좌표 공간 위의 점은 그 좌표와 일대일 대응하며, 직선은 어떤 일차 방정식(들)을 만족시키는 좌표에 대응하는 점의 집합으로 해석할 수 있다. 더 추상적인 관점에서, 유클리드 기하학의 직선은 실수선과 동형인 거리 공간을 뜻하며, 이는 직교 좌표 평면 또는 직교 좌표 공간 또는 고차원 유클리드 공간에 매장된 경우를 포함한다.
이다. 수평선이나 수직선이나 원점을 지나는 직선은 이러한 방정식을 가질 수 없다. 직선에 극좌표 방정식을 줄 수도 있다. 기울기와 절편을 사용하면
와 같은 꼴을 얻으며, 두 절편을 사용하면
와 같은 꼴을 얻는다. 직선은 매개 변수 방정식이나 벡터 방정식으로 나타낼 수도 있으며, 이는 고차원 공간에서도 마찬가지다. 점 를 지나고 방향 벡터가 인 직선은 매개 변수 방정식
또는 매개 변수 벡터 방정식
를 만족시키는 점 의 집합과 같다. 평면 직선의 한 가지 특수한 경우는 좌표축에 평행하는 직선이다. 점 를 지나는 수직선(축에 평행하는 직선)(축에 수직인 직선)의 방정식은 이다. 점 를 지나는 수평선(축에 평행하는 직선)(축에 수직인 직선)의 방정식은 이다.
기울기와 절편
평면 직선의 각종 방정식의 계수를 사용하여 직선의 각종 속성을 나타내는 공식은 다음과 같다. (분모가 0일 경우 존재하지 않는다고 생각하거나 무한대라고 생각할 수 있다.)
자세한 정보, ...
직선의 방정식
기울기
x절편
y절편
닫기
두 직선의 위치 관계
평면 위의 두 직선의 위치 관계는 일치·평행·교차 세 가지뿐이다. 즉, 완전히 겹치거나, 교점이 없거나, 교점이 유일하다. 이는 더 높은 차원에서는 성립하지 않는다. 교차할 경우 수직인지(둘 사이의 각이 직각인지)를 논할 수도 있다. 각 위치 관계의 필요충분조건은 방정식의 계수를 통해 나타낼 수 있으며, 이는 다음과 같다.
자세한 정보, ...
직선의 방정식
직선의 방정식
일치
,
,
평행
,
,
교차
수직
닫기
방정식
3차원 직교 좌표 공간부터는 직선이 낱개의 일차 방정식으로 주어지지 않는다. 이는 추상적인 관점에서 1차원 공간이 더 이상 초평면이 아니기 때문이다.
점 를 지나고 벡터 와 평행한 직선의 매개 변수 방정식은 다음과 같다.
이를 , , 와 같이 줄여 쓰면 다음과 같다.
매개 변수를 쓰지 않는 방정식은 다음과 같다.
단, 인 경우 '1/0'은 '∞'로 이해하여야 하며, '(=)0/0(=)'는 '(∈)R(∋)'로 이해하여야 한다.
직선이 두 평면의 교선일 경우, 직선은 다음과 같이 각각 두 평면을 나타내는 두 일차방정식의 연립으로 나타낼 수 있다.
곡선을 어떤 점에서 스치면서 지나가는 직선을 접선이라고 한다. 곡선의 어떤 점에서의 접선은 곡선의 그 점 주위의 부분을 선형 근사한다. 곡선의 접선은 곡선과 유일한 교점을 갖는 직선과 다른 개념이다. 원의 접선이 될 필요충분조건은 교점의 유일성이지만, 이는 일반적인 곡선에 대하여 성립하지 않는다. 반면 곡선을 두 번 가로질러 지나가는 직선을 할선이라고 한다. 접선은 할선이 가로지르는 두 교점이 점차 가까워질 때 가지는 극한이라고 생각할 수 있다.