Etant mathématicien, ni l’un ni l’autre ne me choquent et j’emploie les deux un peu au hasard chaque jour.

Cependant, tu as tout à fait raison quant à l’emploi du subjonctif dans les mathématiques : il est quasiment tout le temps utilisé dans les démonstrations par l’absurde, sans doute parce qu’une démonstration par l’absurde repose uniquement sur son hypothèse et donc le choix du subjonctif est là pour souligner cette absurdité. Mais en aucun cas il est interdit d’utiliser l’indicatif! C’est juste moins commun.

Une nouvelle fois, aucun des deux n’est choquant. Le choix des mots de logique est EXTRÊMEMENT important dans un théorème ou une démonstration car c’est là dessus que repose toute la justesse et la cohérence de l’énoncé, mais le choix du subjonctif ou de l’indicatif n’influe en aucun cas sur la justesse d’un théorème.

Grammaticalement, il faut utiliser le subjonctif dans cette construction de phrase avec ‘que’. Je pense que l’utilisation de l’indicatif est un abus de langage. Personnellement, je trouve que ‘Supposons que i est grand’ sonne faux.

On ne connaît pas la valeur d’un objet, il dépend d’un autre objet, le subjonctif est recommandé :

Supposons que a soit supérieur à b, alors nous pouvons démontrer ….

… ici on a fait une hypothèse sur a qui n’est pas connu, l’existence de a est subordonnée à celle de b.

Cela vient de l’étymologie du mot subjonctif : du latin subjunctivus « attaché sous…, subordonné ».

On attribut une valeur à cet objet singulier, le présent s’emploie alors :

Maintenant supposons que a est nul, alors la valeur de b …

… ici a est connu.

Le subjonctif est de moins en moins utilisé à l’oral et la grammaire mathématique est abstraite, ce qui peut amener à entendre l’indicatif à la place du subjonctif et à effacer ces nuances sans que la question perdent son sens.