Phiên âm : yú xián dìng lǜ.
Hán Việt : dư huyền định luật.
Thuần Việt : .
Đồng nghĩa : , .
Trái nghĩa : , .
數學上指在任意三角形中, 一邊的平方為其它二邊平方的和減去此邊對角的餘弦與其它鄰邊乘積的兩倍。