已知有理数a,b满足(根号6 7)