Lời giải:
Ta thấy:
$(ab+cd)(ac+bd)=ad(c^2+b^2)+bc(a^2+d^2)$
$=(ad+bc)t$
Mà:
$2(t-ab-cd)=(a-b)^2+(c-d)^2>0$ nên $t> ab+cd$
Tương tự: $t> ac+bd$
Kết hợp $(ab+cd)(ac+bd)=(ad+bc)t$ nên:
$ab+cd> ad+bc, ac+bd> ad+bc$
Nếu $ab+cd, ac+bd$ đều thuộc $P$. Do $ad+bc$ là ước của $ab+cd$ hoặc $ac+bd$. Điều này vô lý
Do đó ta có đpcm.