[b][color=#0000ff]공리 4[/color].[/b] 임의의 점 [math]P_1[/math]과 직선 [math]l_1[/math]이 주어질 때, 점 [math]P_1[/math]을 지나며 직선 [math]l_1[/math]에 수직인 [b]유일한 [/b]직선을 접을 수 있다.

[color=#0000ff][b]공리 4.[/b][/color] 은 유클리드 원론 I의 명제 "주어진 직선과 직선 위에 있지 않은 임의의 한 점에서 직선에 수직선을 그을 수 있다."와 같다.

[b]유클리드 원론 I권의 명제 12번[/b]이 바로 이 명제이다. 이 증명과정은 아래 링크를 따라가면 살펴볼 수 있다.[br][br][b]유클리드 원론 (황운구 역, 수학사랑 제공) :[/b] [url=http://www.mathlove.kr/v2/stories/stories5/Book_I/Proposition_12_Book_I.html]Proposition 12 of Book I (mathlove.kr)[/url]