Number theory – Page 2

Bài toán. Cho $a_1,\ldots,a_k$ là các số nguyên không đồng thời bằng $0$ . Chứng minh rằng nếu $n_1,$ $n_2,\ldots,$ $n_k$ là các số nguyên dương đôi một khác nhau và không có ước chính phương lớn hơn $1$ thì $\sum a_i\sqrt{n_i}\not=0$ .

Lời giải. Ta sẽ chứng minh bằng quy nạp theo $N$ , số ước nguyên tố của $\prod n_i$ , khẳng định: Tồn tại tổng $S'=\sum b_i\sqrt{m_i}$ sao cho $SS'$ là số nguyên khác $0$ , ở đây $m_i$ là các số nguyên dương đôi một khác nhau và không có ước chính phương khác $1$ , tập các ước nguyên tố của $\prod m_i$ là tập con của tập các ước nguyên tố của $\prod n_i$ , $b_i$ là các số nguyên, và $S=\sum a_i\sqrt{n_i}$ . Từ đó suy ra $S\not=0$ .