视频字幕
将军饮马问题是一个著名的几何优化问题。问题是这样的：将军从营地A出发，需要先到河边饮马，然后到达目的地B。我们要找到河边的最佳饮马点，使得从A到饮马点再到B的总路程最短。这个问题的解决方法非常巧妙，运用了反射原理。
解决将军饮马问题的关键是运用反射原理。首先，我们将点A关于河流做对称变换，得到对称点A'。然后连接A'和B，这条直线与河流的交点P就是最佳的饮马点。为什么这样做呢？因为根据对称性质，从A到P的距离等于从A'到P的距离，所以总路程AP加PB等于A'P加PB，也就是A'B的长度。根据两点之间直线最短的原理，这就是最短路径。
现在我们来看数学证明。设河边有任意一点Q，从A到Q再到B的总路程是AQ加QB。由于A和A'关于河流对称，根据对称的性质，AP等于A'P。因此，从A到P再到B的总路程AP加PB就等于A'P加PB，也就是A'B的长度。对于河边的任意点Q，根据三角形两边之和大于第三边的原理，AQ加QB一定大于等于A'B。当且仅当A'、P、B三点共线时，等号才成立，这就证明了P点是最优解。
现在我们通过动态演示来验证这个结论。我们让河边的点从左到右移动，观察总路径长度的变化。可以看到，当点移动到与A'B连线的交点位置时，总距离达到最小值。这个动态过程直观地展示了为什么反射原理能够找到最优解。无论点在河边的哪个位置，只有当它位于A'和B连线与河流的交点时，路径才是最短的。