Question de virgule

[Eric Detrez <eric.detrez@xxxxxxxxxxx>]

Bonjour

Une question me turlupine quand j'écris des énoncés de mathématiques 
quand je veux demander de prouver une implication : montrer que A 
implique B.

Je vais commencer par l'assertion simple :
****       L'herbe est mouillée s'il pleut.
Ici A est "il pleut" et B est "l'herbe est mouillée".

J'aurais pu écrire
****       S'il pleut alors l'herbe est mouillée
ou
****       S'il pleut, l'herbe est mouillée
mais je ne suis pas certain que cette virgule soit indispensable, en 
fait elle me gène.

Si je veux poser la question alors je ne suis plus d'accord avec ce que 
je lis dans les énoncés
qui écrivent
****    Montrer que, s'il pleut, l'herbe est mouillée
alors que j'aurais écrit
****    Montrer que s'il pleut, l'herbe est mouillée
voire
****    Montrer que s'il pleut l'herbe est mouillée.

Bien entendu il me semble préférable d'écrire
****    Montrer que s'il pleut alors l'herbe est mouillée.
 Cependant j'ai même vu écrit
****    Montrer que, s'il pleut alors l'herbe est mouillée.

Vos avis ?

Eric DÉTREZ Mathématiques en PC*
Lycée Faidherbe, Lille. Page web : faidherbe.org/edetrez/
Si nous voulons, comme nous le répétons sans cesse, encourager les 
jeunes à faire des mathématiques, il me semble au contraire qu'il faut 
traiter les élèves avec respect et valoriser ce qu'ils ont appris, 
souvent avec plaisir et enthousiasme.