- 541 名前：１３２人目の素数さん mailto:sage [2024/04/25(木) 08:15:25.60 ID:zlRFLPXQ.net]
- p,q,r が実ならTFAE
(1) p,q,r ≧ 0
(2) p+q+r,qr+rp+pr,pqr ≧ 0
Suppose (2) ∧ not (1)
WMA p≧q≧r
Then we have
p≧0≧q≧r, p≧-(q+r)
Then
pq + pr ≦ -(q+r)^2
∴ pq + pr + qr ≦ -q^2+qr-p^2 ≦ -(q-r)^2 - qr ≦0
∴ q = r = 0 ∧ p = p+q+r - (q+r) ≧ 0
