그리고 왜 호의 길이도 중심각에 비례하죠?
원주상의 점을 cost sint로 매개화해서 적분하는 것을 생각해봤는데 애초에 호도법이 원주율을 전제로 한거라서 순환논증인거 같아서요