在计算机图形学、碰撞检测以及游戏开发等领域，判断两个形状是否分离是一个常见的问题。分离轴定理（Separating Axis Theorem，简称SAT）提供了一种有效的方法来判断两个凸多边形或凸多边形与圆是否分离。本文将详细介绍分离轴定理的原理、步骤，并通过实例来演示如何轻松判断圆和多边形是否分离。
什么是分离轴定理？
分离轴定理指出，对于任意两个凸多边形（或凸多边形与圆），如果存在一个轴（称为分离轴），使得一个多边形在该轴上的投影完全位于另一个多边形的投影外部，那么这两个形状是分离的。
分离轴定理的判断步骤
选择轴：首先，选择一个轴作为潜在的分离轴。对于圆，任何通过圆心的直线都是有效的分离轴。对于多边形，可以选择任意一条边作为分离轴，或者选择多边形的最长对角线作为分离轴。
投影：将每个形状投影到选定的轴上。对于圆，其投影是一个点。对于多边形，其投影是一个线段。
计算距离：计算每个形状的投影到另一个形状投影的最短距离。如果对于某个形状的所有点，其到另一个形状投影的距离都大于等于某个阈值，那么这两个形状是分离的。
重复步骤：对于每个潜在的分离轴，重复上述步骤。如果所有潜在的分离轴都没有找到分离，则两个形状是分离的。
圆和多边形分离的实例
假设我们有一个圆和一个多边形，圆的半径为5，多边形由四个顶点构成：A(1,1)、B(4,1)、C(4,4)和D(1,4)。
选择轴：我们选择多边形的一边AB作为分离轴。
投影：将圆和多边形投影到AB上。
计算距离：计算每个顶点到AB的最短距离。
- 对于顶点A，其到AB的距离为0。
- 对于顶点B，其到AB的距离为3。
- 对于顶点C，其到AB的距离为4。
- 对于顶点D，其到AB的距离为0。
重复步骤：选择多边形的另一边BC作为分离轴，重复上述步骤。
- 对于顶点A，其到BC的距离为2。
- 对于顶点B，其到BC的距离为0。
- 对于顶点C，其到BC的距离为3。
- 对于顶点D，其到BC的距离为1。
判断分离：由于存在一个潜在的分离轴（例如BC），使得圆的投影完全位于多边形的投影外部，因此圆和多边形是分离的。
通过以上实例，我们可以看出分离轴定理在实际应用中的有效性。在计算机图形学、碰撞检测等领域，分离轴定理是一个非常有用的工具。