半角定理指的是已知一个三角形的三个边长，从而可求出各个角的半角的正切值，并由此可出各个角和此三角形的内切圆半径的公式。