두 종류의 논증이 있는 것 같네

하나는 시간지연 효과로 도플러 효과 유도

하나는 로런츠 역변환식과 선형 근사로 유도