>>971の言うとおり確かにx+2-√3でも割り切れるけど、
無理数の相当とか用いると3つの式出てくるから一意に決まると思う。