光程差 推導