Je sais 
Je viens de lui apprendre 2 méthodes de démonstration : par l´absurde, et la contraposée.
Sinon autre démo pour b² pair => b pair(encore par l´absurde) :
Soit b impair tel que b² pair.
b impair : b = 2n + 1
b² = (2n + 1)² = 4n² + 4n + 1 = 2k + 1 avec k = 2n(n + 1), donc b² impair.
Contradiction avec l´hyp de départ (b² pair), donc b pair.