三角形三边长为有理数.证cos A为有理数