Sur [r;\pi], f' est strictement positive, donc f est strictement croissante. Comme f(r)=0 on en déduit que f(x)>0 sur ]r;\pi].