[math-fun] Doppler shift and relativity