[[분류:기하학]]
[include(틀:평면기하학)]
[목차]

[[파일:동위각과 엇각과 동측내각.svg|theme=light]][[파일:동위각과 엇각과 동측내각_White.svg|theme=dark]]

== 개요 ==
동위각이란, 두 직선과 그 두 직선과 만나는 다른 한 직선에 대하여 같은 쪽에 있는 각을 말한다. 위 그림에선 a와 e, b와 f, c와 g, d와 h가 각각 동위각 관계이다. 여기서 중요한 것은, 일반적으로 알려진 사실과 달리, 동위각이 되기 위해서 두 직선이 [[평행]]할 필요는 없다. [[위상]]적으로 보았을 때 같은 쪽에 있기만 하면 동위각이기 때문. 따라서 동위각의 크기가 같다는 [[명제]]는 두 직선이 평행할 때에만 성립한다. 즉 "동위각이 같다"는 명제와 "두 직선이 평행하다"는 명제는 필요충분조건이 되며 이를 이용하여 평행선을 작도하기도 한다. 이에 대한 [[증명]]은 유클리드의 제5 공준을 사용한다.[* 다시 말하면, 제5 공준이 거짓인 [[비유클리드 기하학]]에서는 평행선의 동위각의 크기가 다를 수 있거나(쌍곡 공간), 평행 자체가 성립하지 않는다(타원 공간).] 학교에서 증명을 배우지 않는 이유는 이 때문. 증명은 다음과 같다. 과거 7차 교육과정 때는 [[엇각]]ㆍ[[평행선]]ㆍ[[수직]]ㆍ[[수선]]과 같이 4학년 2학기 때 나왔다.

== 증명 ==
[[파일:sS0MJvU.png]]
두 직선 [math(AB,PQ)]가 [[평행]]하다고 하자. 증명하고자 하는 바는 [math(\angle{OAB}=\angle{OPQ})]이다. [[귀류법]]을 사용해 증명할 것이므로 [math(\angle{OAB}\neq\angle{OPQ})]를 가정하자. 그럼 [math(\angle{OAC}=\angle{OPC})]를 만족하는 점 [math(C)]가 직선 [math(AB)]위에 존재한다.(이상하게 보이지만 평행한 두 직선과 만나서 생기는 두각에서 동위각이 생기지 않는다면 평행하지 않은 즉 만나는 직선에서 생길 수 밖에 없다.) 왜냐하면 유클리드의 제 5 공준에 의해 점 [math(P)]를 지나고 직선 [math(AB)]에 평행한 직선은 단 하나(직선 [math(PQ)]) 밖에 없기 때문이다. 이제 그럼 [math(\triangle{APC})]의 세 내각의 합은
 [math(\angle{PAC}+\angle{APC}+\angle{PCA}=\angle{PAC}+180\degree-\angle{PAC}+\angle{PCA}>180\degree)]이 되어 유클리드의 제 5 공준에 모순이다. 따라서 평행한 두 직선의 동위각의 크기는 같아야 한다.--[[순환 논법|그런데 삼각형 내각의 합이 180°인 건 엇각으로 증명했는데?]]--

== 관련 문서 ==
 * [[맞꼭지각]]
 * [[엇각]]
 * [[평행]]