费马三角形定理，又称费马多项式定理，是欧几里得数学家费马在1785年提出的，它告诉我们，如果一个凸四边形的内角A，B，C，D满足a^2+b^2=c^2+d^2，则这个凸四边形是矩形。这也是证明矩形的最常用定理，这条定理同时也适用于非正多边形。此定理可以拓展到高维空间中，即由n个内角相应的余弦值等式构成的n阶非正规多项式方程，当该方程具有实数根时，则该多面体所对应的n-1阶角均为直角。