En cherchant de la doc sur l'argument du pari de Pascal, je suis tombée sur quelque chose d'étonnant, regarder plutot:
Nous allons démontrer que si a > b, alors a = b
Posons a = b + c, avec c > 0
Multiplions les deux termes de l'égalité par a - b
a2 - ab = ab + ac - b2 - bc
a2 - ab - ac = ab - b2 - bc
a (a - b - c) = b (a - b -c )
En divisant par (a - b - c) nous obtenons,
a = b