hana program에서 사용된 밥법이 임의의 운동하는 좌표계에서도 성립하는지 알아봅시다. 좌표계 S'상에 점 1, 2가 있습니다. 1,2 사이의 정지거리는 Lo입니다. 1의 속도가 V1으로 관측되었다고 합시다. 그때 점2의 속도는 다음과 같이 관측됩니다. 2*Lo V1 dV1 V2 = V1 - ------------------ ---- ----- (1) sqrt(c**2 - V1**2) c dt 마찬가지로 V2로 부터 V1을 구할 수 있습니다. (부호 바뀜에 주의) 2*Lo V2 dV2 V1 = V2 + ------------------ ---- ----- (2) sqrt(c**2 - V2**2) c dt 이제 식 (2)에 (1)을 대입해 봅니다. 그러면, 다음과 같은 결과를 얻을 수 있습니다. V1 = 아주_지저분한_함수(V1,dV1/dt,dV1**2/dt**2) (3) 일일이 타이핑하기가 너무 귀찮으니까 아주_지저분한_함수 의 형태는 직접 해보시면 되고. 식 (3)이 dV1/dt = 0일때 성립한다는 것은 잘 알 수 있습니다. 이 경우, V2 = V1이 되고 따라서 dV2/dt = 0이 됩니다. 특수상대론의 결과입지요. 그런데 식 (3)이 임의의 V1에 대해서 항상 만족할까요?