等腰直角三角形的公式定理为勾股定理，它由古希腊数学家毕达哥拉斯在公元前三世纪发现。勾股定理可以用来求解等腰直角三角形的边长，它的公式为：a^2+b^2=c^2，其中，a和b分别表示等腰直角三角形的两条直角边；c表示对角线（斜边）的长度。根据勾股定理，只要知道两条边的长度，就可以求出斜边的长度，或者知道斜边的长度，就可以求出两条边的长度。