Въ чемъ состоитъ повѣрка дѣйствій, и чѣмъ она вызывается? Повѣрить дѣйствіе значитъ произвести такое дополнительное вычисленіе, которое вселило бы нѣкоторую увѣренность, что данный намъ нримѣръ рѣшенъ правильно. Въ наши времена повѣрка примѣняется не очень часто, и даже начинающіе школьники на столько бываютъ увѣрены въ своихъ силахъ и въ своемъ умѣньи вычислять, что избѣгаютъ повѣрки.
Это съ одной стороны вредно, такъ какъ дѣти пріучаются съ малыхъ лѣтъ искать опоры не тамъ, гдѣ надо бы, т.-е. не въ своемъ искусствѣ и умѣньи. а на сторонѣ: они надоѣдаютъ учителю вопросами «такъ ли?» и постоянно засматриваютъ въ задачники: сходится ли съ отвѣтомъ?
Этимъ наша школа разслабляетъ дѣтей, вмѣсто того, чтобы помогать имъ становиться на ноги.
Старинная школа была счастливѣе въ выработкѣ характера и самимъ родомъ своихъ занятій закаляла его. Да и какъ было не закалять, когда, напр., въ средніе вѣка та самая работа требовала отъ дѣтей усиленныхъ трудовъ, которая теперь едва-едва оставляетъ въ нихъ впечатлѣніе. Въ средневѣковой школѣ какое-нибудь дѣленіе многозначныхъ чиселъ требовало массы времени, настойчивости, терпѣнія и т. п. Понятно, что затративши много труда и положивши не мало силъ, счетчику интересно было убѣдиться, хорошо ли онъ исполнилъ работу, и годится ли результатъ. Этимъ и вызывалась потребность повѣрки. Еще индусы, творцы ариѳметики, любили поль-зоваться повѣркой; впрочемъ, у нихъ была на то своя особенная, спеціальная причина, именно они, какъ ужъ упоминалось не разъ выше, вели всѣ вычисленія на пескѣ и стирали всѣ лишнія цифры по мѣрѣ того, какъ подходили къ концу, такъ что въ самомъ концѣ у нихъ оставались только данныя числа и отвѣтъ; вслѣдствіе этого имъ нельзя было просмотрѣть дѣйствіе еще разъ и убѣдиться, на-сколько вѣрно оно сдѣлано, поэтому имъ приходилось изобрѣтать особенные способы повѣрки, которыхъ они и предложили нѣсколько. Самымъ уиотребительнымъ способомъ, не только у индусовъ, но и вообще во всей школѣ до ХVIII-го вѣка была повѣрка числомъ 9. Она основана на слѣдующемъ. Если мы возьмемъ 2 слагаемыхъ, напр., 370 и 581, и раздѣлимъ каждое изъ нихъ на 9, затѣмъ сложимъ остатки отъ дѣленія, то эта сумма остатковъ будетъ такою же, какъ если бы мы прямо раздѣлили на 9 сумму данныхъ чиселъ.
Дѣйствительно, остатокъ отъ 370:9 будетъ 1, отъ 581 остатокъ будетъ 5 и отъ суммы данныхъ чиселъ, т.-е. отъ 951, остатокъ будетъ тоже 5+1 = 6 (иногда, впрочемъ, изъ суммы остатковъ приходится выкидывать одну или нѣсколько девятокъ, напр., если бы слагаемыми были 375 и 581, то сумма остатковъ составила бы 11. а остатокъ суммы равнялся бы 2, т.-е. 11—9). Эти числа 1, 5, 6 носятъ названіе повѣрочныхъ чиселъ, слѣд. 1 будетъ повѣрочнымъ числомъ для 370-ти, 5 для 581 и 6 для 951. Огсюда ясно вытекаетъ правило: повѣрочное число суммы равно суммѣ повѣрочныхт чиселъ всѣхъ слагаемыхъ. Точно также при вычитаніи: повѣрочное число разности соотвѣтствуетъ разности повѣрочныхъ чиселъ уменынаемаго и вычитаемаго; или иначе: повѣр. число уменьшаемаго равно суммѣ повѣрочныхъ чиселъ вычитаемаго и разности. При умноженіи правило такое: повѣр. число произведенія соотвѣтствуетъ произведенію повѣр. чиселъ множителей; и, наконецъ, при дѣленіи новѣр. число дѣлимаго со-отвѣтствуетъ произведенію повѣрочныхъ чиселъ дѣлителя и частнаго.
За исключеніемъ сложенія, при каждомъ дѣйствіи имѣется 4 по-вѣрочныхъ числа, и они, обыкновенно, располагались такъ, что получалась фигура косого креста. Примѣръ: 525 раздѣлить на 15, получится въ частномъ 35. Тогда повѣрка представляется слѣдующимъ крестомъ:
\ 3 /
6 \ / 8
/ \
/ 3 \
Нѣкоторые математики, приверженцы совершенной точности и полной безошибочности, находили, что повѣрка числомъ 9 далеко не безупречна и можетъ повести къ ошибкамъ. Зависѣть онѣ могутъ отъ такихъ причинъ. Во-первыхъ, различныя по величинѣ числа, но только отличающіяся другъ отъ друга на цѣлое число девятокъ, имѣютъ повѣрочныя числа одинаковыя; напр., числа 172 и 1081. Во-вторыхъ, этой повѣркой нельзя открыть пропуска нулей или же излишка нулей: числа 105, 1050, 15 даютъ одинаковыя повѣрочныя числа. Въ третьихъ, перестановка цифръ точно также не можетъ быть открыта этой повѣркой, такъ какъ, напр., числа 78932 и 87932 даютъ одинаковыя повѣрочныя числа. Итакъ, повѣрка числомъ 9 ненадежна. Поэтому, лучшіе авторы XVI—XVII в. рекомендуютъ еще повѣрку числомъ 7. Она основана на томъ же, на чемъ и предыдущая, и слѣд. при ней изъ данныхъ и иекомыхъ чиселъ выкидываютъ возможное число семерокъ, а съ остатками поступаютъ точно такимъ же образомъ, какъ и при повѣркѣ числомъ 9. Въ этомъ случаѣ ужъ можно обнаружить и перестановку цифръ, и пропускъ нулей.
Казалось бы, что вполнѣ достаточно повѣрки числомъ 9 и числомъ 7 для того, чтобы можно было успокоиться и убѣдиться, что отвѣтъ вѣренъ. Но нѣтъ, Рудольфъ и Апіанъ (въ XVI ст.) объясняютъ, что повѣрять можно такимъ же путемъ, какъ и выше, еще съ помощью чиеелъ 8, 4, 6.
Фишеръ (въ 1559 г.) провѣряетъ свои вычисленія числами 5, 6, 7, 8, 9, 11.
Но такое большое количество искусственныхъ повѣрокъ приводило многихъ авторовъ прямо къ отрицанію ихъ необходимости и пользы. Петръ Рамусъ, извѣстный французскій ученый и математикъ (ум. 1572 г.), говоритъ, что всѣ эти ухищренія излишни и ненужны, и что если кому требуется повѣрить дѣйствіе, то пусть онъ передѣлаетъ его снова и больше ничего; такъ будетъ лучше и въ томъ отношеніи, что, передѣлывая снова, мы можемъ не только открыть присутствіе ошибки, но и исправить ее.
Лука де-Бурго смотритъ на дѣло хладнокровнѣе. Онъ не отрицаетъ совершенно провѣрки, но только совѣтуетъ дѣлать ее, по возможности, проще. Именно онъ указываетъ для этого 2 способа. Во-первыхъ, можно то же дѣйствіе произвести еще разъ и только измѣнить его порядокъ, напр., при сложеніи нѣсколькихъ чиселъ, если мы сперва складывали сверху внизъ, то потомъ надо пересложить снизу вверхъ. Во-вторыхъ, всякое дѣйствіе повѣряется своимъ обратнымъ: вычитаніе сложеніемъ, дѣленіе умноженіемъ и т. п.