기하학적 증명에서 수학적 귀납법의 역할