已知直角三角形的两边长分别是一元二次方程x²-7x+12=0的两个根,求此直角三角形的第三边长.