위 사이트에 접속하여 왼쪽 위의 a 부분을 잡고 슬라이드 해보면 원이 굴러가면서 만드는 자취란 것을 알 수 있다.
참고로 위 그래프에서 cycloid는 파란선이다.
사이클로이드는 최속강하이론(다른말로 공이 가장 빨리 내려오는 곡선)에 활용 되기도 하는데, 이 특이하고 신기한 성질은 다음에 알아보도록하고..
2. 사이클로이드 곡선 길이 구하기!
이 독특한 곡선의 길이를 구할 수 없을까?
원은 2πr이지 않은가?
한번 구해보자!
2-1. 선적분
길이를 구하는 적분을 '선적분'이라고도 하는데, 원리는 간단하다.
아주 미소한 양의 증분 x와 y을 피타고라스 정리 써서 직선 거리를 구해내고, 이를 쭉~ 끝까지 적분해내는것이다.
그럼 결국 미소하게 변하는 x와 y를 따라서 어떤 아주아주아주 미세한 직선이 만들어질테고, 이 아주 미소한 직선을 다시 모았으니 곡선의 길이가 되겠다.
그러면 이 아주 미소한 x와 y는 어떻게 구하냐면.. 특정 식을 x에 대해서 미분하고 y에 대해서 미분하면 아주 미소한 x의 증분과 y의 증분이 나올 것이고, 이를 피타고라스 정리로 모으면 아주 미소한 직선이 하나 구해질 것이다. 식으로 쓰면
√(dx)2+(dy)2
그리고 이것을 모으면 되는데,
∫√(dx)2+(dy)2
아뿔싸! 적분은 '아주 미소한 어떤 것'을 '모은다'로 정의 되기 때문에, ∫과 'd어쩌구'가 세트로 나와야한다.
따라서, 우리는 가장 간단하게 'x에 대해서 모을거야' 라고 정의를 해주기 위해 dx를 원 식에서 뽑아내면
∫√(dxdx)2+(dydx)2dx
∫√1+(dydx)2dx
짜잔, 적분식 완성이다.
심지어 이 식이 매개변수로 나타나는 식이라면, 매개변수를 통한 미분으로도 정의할 수 있다.
여기서는 '미소한 x와 미소한 y를 미소한 매개변수로 나타냈을 때, 얘를 모을께!'니까
∫√(dxdt)2+(dydt)2dt
로 정의할 수 있겠다.
2-2. 매개변수 표현법
자, 이제 선의 길이를 구할 수있는 '도구'는 찾아내고 정의를 마쳤는데... 정작 이 사이클로이드의 한 점을 어떻게 x와 y로 표현할 수 있을 것인가!?
가장 쉬운 방법은 원이 어떤 각도 t만큼 돌아갔을 때 그 각도에 대해서 x와 y가 정의가 되므로 이를 이용하여 매개변수로 나타낼 수 있겠다!
출처: 나무위키
자, 가장 쉬운 y부터 보자, y는 원이 t만큼 돌아갔을 때(위 그림에서 θ), 반지름 r에 대해서 r−rcost만큼 움직인 것을 알 수 있겠는가?(위 그림에서 원이 θ만큼 돌아갔을 때 ¯CI−¯CK가 y의 위치임을 알 수 있다. 이를 ¯CI=r,¯CK=rcosθ로 치환하면 바로 식이 나온다)
그럼 x는? 원이 t만큼 돌아갔을 때 원의 중심이 x축으로 이동한 거리는, 그 호의 길이와 같다. 왜냐고? 바닥에 원 둘레를 딱 붙이고 돌아갔을테니까!(위 그림에서 ¯OI=⏜PI)
그러면 원의 중심은 rt(위 그림에서 ⏜PI=¯OI)만큼 움직였을 테고, 여기서 x는 rsint(위 그림에서 ¯PK)만큼 원의 중심보다 뒤에 있을 테니 rt−rsint가 되겠다.
다시 쓰면
x=rt−rsint=r(t−sint) y=r−rcost=r(1−cost)
자, 이렇게 x와 y좌표를 나타낼 수 있는 관계식도 찾았다! 그렇다면 이제 바로 선적분 들어가보자