Si A, B, G sont trois nombres quelconques, on a

(B + C)XA = BX A + CXA.

Supposons, en effet, en conservant toujours le môme mode de notation,

on aura, d'après les définitions, puisque les nombres a, 6, c, a\ 6', c' sont rationnels

6 + c<B + C<6' + c', 6a < BA < b'a% ca<CA<c'a',

puis, toujours en vertu des définitions,

(6 + c) X a< (B + C) X A < (ô' + c') X a\ 6a + ca < B A + CA < 6'a' + c'a' ;

d^ailleurs, les nombres a, 6, c, a', 6', & étant rationnels, on a

6a + ca = (6 + c)a , 6'a' + &a' = (6' + &)a' ;

donc, pour prouver l'égalité des nombres (B + C)A et BA + CA, il suffit (n* 415) de prouver que l'on peut choisir les nombres a, 6, c, a', 6', c' de façon que la différence

soit plus petite que tel nombre rationnel que Ton voudra. Le raisonnement est le même qu*au n** 430, puisque Ton peut supposer la dilférence entre les deux nombres a' et a, d'une part, entre les deux nombres 6' + c' et 6 + c, de l'autre, aussi petite que Ton voudra. Cette proposition entraîne la suivante : si Ton a B ^ C, on a