Lion D.

$n$개의 서로 다른 점 $p_1, \cdots, p_n \in \mathbb R^2$에 대하여, $X = \mathbb R^2 - \{p_1, \cdots, p_n\}$의 fundamental group 을 구하여라. 1) 먼저, 적당한 회전을 통하여 모든 점들의 $x$ 좌표가 다르도록 만들자.서로 다른 두 점 $(x_i, y_i)$, $(x_j, y_j)$에 대하여, 원점을 중심으로 $\theta$만큼 회전시켰을 때 각 $x$ 좌표는 다음과 같다.$$ x_1 \cos \theta - y_1 \sin \theta = x_2 \cos \theta - y_2 \sin \theta $$그런데 이 식을 정리해서 양변을 제곱하면 $\cos \theta$에 대한 다항 방정식이 되므로, 이 식의 해는 유한하다. 따..