是否存在实数x使得tan x+√3和cot x+√3都是有理数.