 Then any real number in [0,1) having a periodic β-expansion must lie in Q(β).On the other hand, the converse need not be true.The converse does hold if β is a Pisot number , although necessary and sufficient conditions are not known.