Đáp án:Để chứng minh rằng√1−ab là số hữu tỉ, với điều kiệna2027+b2027=2a2013b2013, ta sẽ nghiên cứu các tính chất của điều kiện này. ### Phân tích

Trường hợpab=k2 cho một số có thể là thực (k). Từ đó, ta có1−ab=1−k2. Khi bình phương cả hai vế: √1−ab=√1−k2. Để√1−k2 là số hữu tỉ, ta cần1−k2 là số chính phương. #, ta đã chứng minh rằngab≤1. Nếuab<1, thì√1−ab sẽ là số hữu tỉ. Nếuab=1, thì√1−ab=0, cũng là số hữu tỉ. 

Do đó, trong mọi trường hợp,√1−ab là số hữu tỉ

. Như vậy, đã chứng minh rằng√1−ab là số hữu tỉ với điều kiện đã cho.Để chứng minh rằng√1−ab là số hữu tỉ, với điều kiệna2027+b2027=2a2013b2013, ta sẽ nghiên cứu các tính chất của điều kiện này. ### Phân tích điều kiện Bắt đầu với: a2027+b2027=2a2013b2013 T# Sử dụng Định lý AM-GM Theo bất đẳng thức AM-GM, chúng ta có: 

a Từ điều kiệna2027+b2027=2a2013b2013, ta có: 2√ab14≤2 Khi chia cả hai vế cho 2, ta có: √ab14≤1 Từ đó, kết luận rằng: ab14≤1⟹ab≤1(nếu a,b>0). ### Giả sửa vàb không âm Trường hợpab=k2 cho một số có thể là thực (k). Từ đó, ta có1−ab=1−k2. Khi bình phương cả hai vế: √1−ab=√1−k2. Để√1−k2 là số hữu tỉ, ta cần1−k2 là số chính phương.

Giả sử: 1−k2=m2(m là số hữu tỉ), thì ta có: 1=m2+k2. ### Kết luận

Với điều kiệna2027+b2027=2a2013b2013, ta đã chứng minh rằngab≤1. Nếuab<1, thì√1−ab sẽ là số hữu tỉ.

Nếuab=1, thì√1−ab=0, cũng là số hữu tỉ. Do đó, trong mọi trường hợp,√1−ab là số hữu tỉ. 

Như vậy, đã chứng minh rằng√1−ab là số hữu tỉ với điều kiện đã cho.

Giải thích các bước giải: