菱形ABCD的一条对角线长为6,边AB的长是方程x的平方-7x 12=0的一个根