已知a、b、c三角形ABC的三条边,其中角C=90度,两条直角边a、b是方程x的平方-7x+12=0的两根,求三角形AB