Phương trình vô tỉ