1.거리가 4인 두 점을 작도한다

2.두 점을 잇는다

3.두 점을 잇는 과정에서 선분의 길이는 0에서 시작해 4로 끝난다.

4. intermediate value theorem에 의해 선분의 길이가 pi와 일치하는 순간이 존재하고 이는 곧 길이가 pi인 선분을 작도한 것과 같다.

Q.E.D.