I. — Addition

Preuve : 4 = 4 Preuve : 8 = 8

La marche suivie est assez simple pour qu'il ne soit pas nécessaire d'y ajouter des explications.

ilj On irouïcrn une eiposiiion fort approfondie des méthodes de preuve pour toute espèce de formules dans J. Vin Loghrh, Leenpijie ter t'ermiJdiHg en {gnporing K'an rekenfoutmiièJiS) On consultera aussi avec fi-uitTouïrage publié à Paris.la même année, par H. Aug. BoucaE. puis, une note Je H. Kù-uc de Berlin. [CRA 1. XXXVII, p. M6) qui pi-opoM d'appliquer une mélliode déduite nusst de la théorie des con^nienccs.

(3) Remarquons que si dans une mulliplicalion on reculait les chiflres de 3 ran^ vers la gnuclie, les preuves, par Q et It réussiraient et ne seraient plus une garantie d'exactitude; si l'on reculait les cliiiïres d'un rang seulement, la preuve par serait encore en défaut, mais celle pnr 11 ferait découvrir l'erreur.

„Gooi^lc

- Soualraciion.

502145 = 8 1 5(ttii5=6 )

428928 = 6 Mod. 9 128928:^:5 ( Mod. Il

Preuve : 2 = 2 Preuve : 1 = 1

ni. — Multiplmtioa.

Hod. 9 Mod. 11

55034 = 6 SSO-Sl 5

.-^nP 2'28'31-1370 à; 1 ^{filf Preuve : 1 = 3 X 4

Preuve : — 6 X 5

peut opérer comme suit :

Mod. 9

Détails des calculs

La preuve par 11 se ferait de la même manière.