用严格的数学语言表述就是，光线的实际路径上光程的变分为