一直ab属于R,求证根号下a^2+1*根号下b^2+1