Bạn bổ sung thêm điều kiện `x,y,z` dương.
Áp dụng BĐT CauChy-Schwarz hay Cô-si dạng Engel ta có:
`1/(x+1)+1/(y+1)+1/(z+1)=1^2/(x+1)+1^2/(y+1)+1^2/(z+1)>=(1+1+1)^2/(x+1+y+1+z+1)=9/(x+y+z+3)`
Đẳng thức xảy ra `↔1/(x+1)=1/(y+1)=1/(z+1)`
`↔x+1=y+1=z+1`
`↔x=y=z`
Vậy BĐT được chứng minh.