请问什么是斯特沃特定理?是三角形中的,不是关于边的取值范围,好像是一个等式.