√(x²-16)=√(x+4)*√(x-4)
因为
x+4≥0===>x≥-4
x-4≥0===>x≥4
x²-16≥0===>(x+4)(x-4)≥0===>x≥4或x≤-4
综上,当x≥4的时候,成立