(해석 기하학으로는 쉽게 풀리는데 논증 기하학을 사용한 풀이는 잘 모르겠음.)