평행선에서 동위각의 크기가 같은 이유는 기본적인 유클리드 기하학의 공리로부터 증명됩니다. 이 증명은 평행선의 정의와 엇각, 동위각의 성질을 이용합니다.
평행선의 정의와 기본 성질 두 직선이 같은 평면 위에 있고 만나지 않을 때, 이 두 직선을 평행선이라고 합니다. 평행선의 중요한 성질 중 하나는 한 직선이 두 평행선과 만날 때(이 직선을 횡단선이라고 합니다), 동위각과 엇각의 크기가 특정 관계를 가진다는 것입니다.
동위각과 엇각의 관계 동위각은 두 직선과 횡단선이 만날 때, 같은 위치에 있는 각을 말합니다. 예를 들어, 두 평행선 중 위쪽 직선과 횡단선이 만나는 지점에서 형성되는 각과 아래쪽 직선과 횡단선이 만나는 지점에서 형성되는 각 중 같은 쪽에 위치한 각들이 동위각입니다. 엇각은 두 직선과 횡단선이 만날 때, 횡단선을 사이에 두고 서로 반대쪽에 위치한 각을 말합니다.
증명 1: 엇각의 성질 이용 평행선에서 동위각의 크기가 같다는 것을 증명하는 가장 일반적인 방법은 엇각의 크기가 같다는 성질을 이용하는 것입니다. 유클리드 기하학에서는 '평행선은 엇각의 크기가 같다'는 성질이 이미 증명되어 있습니다.
두 평행선 $l$과 $m$이 있고, 이 두 직선을 가로지르는 횡단선 $t$가 있다고 가정해 봅시다. 횡단선 $t$가 직선 $l$과 만나는 지점에서 생기는 각을 $\alpha$라고 하고, 직선 $m$과 만나는 지점에서 생기는 각을 $\beta$라고 합시다. 이때, $\alpha$와 $\beta$는 동위각입니다.
이제 직선 $m$과 횡단선 $t$가 만나는 지점에서 생기는 다른 각들을 살펴봅시다. $\alpha$의 엇각에 해당하는 각의 크기는 이미 엇각의 성질에 의해 $\alpha$와 같습니다. 이 $\alpha$의 엇각은 동위각 $\beta$와 맞꼭지각 관계에 있습니다. 맞꼭지각의 크기는 항상 같으므로, $\alpha$의 엇각의 크기는 $\beta$와 같습니다. 따라서, $\alpha$와 $\beta$는 같은 크기를 갖게 됩니다. 즉, 동위각의 크기는 같습니다.
증명 2: 동일선 상의 각 이용 다른 방법으로는 동일선 상의 각의 합이 180도라는 성질을 이용할 수 있습니다.
앞의 경우와 마찬가지로 두 평행선 $l$, $m$과 횡단선 $t$가 있다고 가정합니다. 횡단선 $t$가 직선 $l$과 만나는 지점에서 생기는 각을 $\alpha$ (동위각 중 하나)라고 하고, 직선 $m$과 만나는 지점에서 생기는 각을 $\beta$ (다른 동위각)라고 하겠습니다.
직선 $m$과 횡단선 $t$가 만나는 지점에서, 동위각 $\beta$와 이웃한 각(직선 $m$ 상에서 횡단선 $t$와 같은 쪽에 있으면서 $\beta$와 붙어 있는 각)을 $\gamma$라고 합시다. 직선 $m$은 평면 위의 직선이므로, $\beta + \gamma = 180^ extrm{o}$입니다.
또한, 직선 $l$과 횡단선 $t$가 만나는 지점에서 $\alpha$와 엇각 관계에 있는 각을 $\delta$라고 합시다. 엇각의 성질에 의해 $\alpha = \delta$입니다.
이제, 횡단선 $t$가 직선 $m$과 만나는 지점에서 $\gamma$와 맞꼭지각 관계에 있는 각을 $\epsilon$이라고 하면, $\gamma = \epsilon$입니다.
여기서 중요한 점은, $\alpha$와 $\gamma$가 엇각 관계에 있다는 것입니다. 평행선에서 엇각의 크기는 같으므로, $\alpha = \gamma$입니다.
앞에서 $\beta + \gamma = 180^ extrm{o}$이고 $\alpha = \gamma$이므로, $\beta + \alpha = 180^ extrm{o}$가 됩니다.
그런데, 만약 $\alpha$와 $\beta$가 동위각이라면, 이 둘은 같은 위치에 있는 각입니다. 우리가 증명하고자 하는 것은 동위각의 크기가 같다는 것이므로, 이 증명 방법은 엇각의 성질을 먼저 받아들여야만 가능합니다.
결론 결론적으로, 평행선에서 동위각의 크기가 같은 이유는 엇각의 크기가 같다는 성질로부터 유도됩니다. 이는 평행선의 정의와 함께 유클리드 기하학의 기본적인 공리 체계 안에서 논리적으로 참임이 증명됩니다. 즉, 두 직선이 평행하다는 조건 하에서, 횡단선에 의해 만들어지는 동위각들은 항상 같은 크기를 갖게 됩니다.