施泰纳—莱默斯定理是指：如果△ABC的∠B和∠C的角平分线相等，那么AB=AC.

经过探讨，笔者现给出一种更为简捷的三角证法，供参考：