직선 m, n이 있고 두 직선이 이루는 각을 x라 두면
m위의 두 점 A, B에서 각각 직선 n에 수선의 발을 그었을 때 cosx=(두 수선의 발을 이은 선분의 길이)/(선분 AB의 길이)

이거 맞음? 어디서 들었는데 증명을 찾을 수가 없노..