Cho một số tự nhiên a. Nếu a là số chính phương thì √a là một số tự nhiên. Nếu a không là số chính phương thì √a là số vô tỉ