(1+x)^n=sum(k=0...n)C(n,k)x^k=1+nx+....+x^n>1+nx pour x>-1 et x#0
si sum(k=2...n)C(n,k)x^k > 0 pour x>-1 et x#0
c'est clair pour x>0
si -1<x<0 on pose y=-x
sum(k=2...n)C(n,k)x^k = sum(k=2...n et k pair)C(n,k)y^k -sum(k=2...n et k impair)C(n,k)y^k
si n=2m
sum(k=2...n et k pair)C(n,k)y^k=sum(k=1...m)C(2m,2k)y^(2k)
sum(k=2...n et k impair)C(n,k)y^k=sum(k=1...m-1 )C(2m,2k+1)y^(2k+1)
==> sum(k=2...n)C(n,k)x^k=sum(k=1...m-1 ) [C(2m,2k)-yC(2m,2k+1)]y^(2k)+y^(2m)>0
de même si n=2m+1