유클리드 원론 · 제1권 · 명제 3

작도하라.

같지 않은 두 직선이 주어졌을 때, 큰 것에서 작은 것과 같은 직선을 잘라 내라.

주어진 것

같지 않은 두 직선 AB 와 C. AB 가 크다.

해야 할 것

AB 에서 C 와 같은 직선을 잘라 내는 것.