a,b\in\textbf{Q}