在SAT中确定要测试的最小轴数（分离轴定理）

Question

我见过的SAT算法的大部分实现都涉及测试每个轴的任何形状，以防止碰撞。但是我最近在python中实现了SAT算法，并注意到对于任何一种形状的所有轴进行测试时每个测试用例都有效，所以当仅针对具有最大边数的形状的轴进行测试时，它也适用于每种情况。

但是，我完全不知道如何证明或反驳这一理论，而且我在证明方面的数学知识很少。有人可以帮助我，证明或反驳这个理论，即我需要为SAT测试的唯一轴是具有最多边数的形状吗？

Answer 1

如果你有一个三角形和一个正方形，只检查方形轴（X和Y），如果它只是通过对角轴分开，就会产生错误的碰撞。

查看图片以获得更好的解释。