设正有理数x是根号3