평면 기하학 정리의 3 차원 유도