Арыфме́тыка (стар.-грэч.: ἀριθμητική ад ἀριθμός — лік) — раздзел матэматыкі, які вывучае лікі, іх адносіны і ўласцівасці. Прадметам арыфметыкі з’яўляецца паняцце ліку ў развіцці ўяўленняў аб ім (натуральныя, цэлыя і рацыянальныя, рэчаісныя, камплексныя лікі) і яго ўласцівасцях. У арыфметыцы разглядаюцца вымярэнні, вылічальныя аперацыі (складанне, адніманне, множанне, дзяленне) і прыёмы вылічэнняў. Вывучэннем уласцівасцей асобных цэлых лікаў займаецца вышэйшая арыфметыка, ці тэорыя лікаў. Тэарэтычная арыфметыка надае ўвагу азначэнню і аналізу паняцця ліку, тады як фармальная арыфметыка аперуе лагічнымі пабудовамі прэдыкатаў і аксіём. Арыфметыка — найстаражытнейшая і адна з асноўных матэматычных навук, яна цесна звязана з алгебрай, геаметрыяй і тэорыяй лікаў.
Прычынай стала практычная патрэба ў , найпрасцейшых вымярэннях і вылічэннях. Навука развівалася разам з ростам складанасці задач, якія патрабавалі рашэння. Вялікі ўклад у развіццё арыфметыкі ўнеслі , у тым ліку філосафы-, якія спрабавалі з дапамогай лікаў спасцігнуць і апісаць усе заканамернасці свету.
У Сярэднія вякі арыфметыку адносілі, услед за неаплатонікамі, да так званых Сямі вольных мастацтваў. Асноўнымі абласцямі практычнага прымянення арыфметыкі тады былі гандаль, навігацыя, будаўніцтва. У сувязі з гэтым асаблівае значэнне атрымалі прыбліжаныя вылічэнні ірацыянальных лікаў, неабходныя ў першую чаргу для геаметрычных пабудоў. Асабліва бурна арыфметыка развівалася ў і , адкуль навейшыя дасягненні матэматычнай думкі праніклі ў Заходнюю Еўропу.
З надыходам Новага часу мараходная астраномія, механіка, больш складаныя камерцыйныя разлікі паставілі новыя запросы да тэхнікі вылічэнняў і падштурхнулі да далейшага развіцця арыфметыкі. У пачатку XVII ст. вынайшаў лагарыфмы, а затым Ферма выдзеліў тэорыю лікаў у самастойны раздзел арыфметыкі. К канцу стагоддзя сфарміравалася ўяўленне аб ірацыянальным ліку як аб паслядоўнасці рацыянальных прыбліжэнняў, а на працягу наступнага стагоддзя дзякуючы працам Ламберта, Эйлера, Гауса арыфметыка ўключыла ў сябе аперацыі з камплекснымі велічынямі, набыўшы сучаснае аблічча.
Наступная гісторыя арыфметыкі адзначана крытычным пераглядам яе асноў, спробамі яе абгрунтавання. Тэарэтычныя абгрунтаванні ўяўлення аб ліку звязаныя ў першую чаргу са строгім азначэннем натуральнага ліку і аксіёмамі Пеана, сфармуляванымі ў 1889 годзе. фармальнай пабудовы арыфметыкі была паказана у 1936 годзе.
Асновам арыфметыкі здаўна і нязменна надаецца вялікая ўвага ў .
Прадмет арыфметыкі
Прадметам арыфметыкі з’яўляюцца лікавыя мноствы, уласцівасці лікаў і дзеянні над лікамі. Да яе таксама адносяць пытанні, звязаныя з тэхнікай лічэння, вымярэннямі, паходжаннем і развіццём паняцця ліку. Арыфметыка вывучае натуральныя і рацыянальныя лікі, ці дробы. На аснове аксіяматычнай структуры мноства натуральных лікаў ажыццяўляецца пабудова іншых лікавых мностваў, уключаючы цэлыя, рэчаісныя і камплексныя лікі, праводзіцца іх аналіз. Часам у рамках арыфметыкі разглядаюць таксама і іншыя . Разам з тым з вынікае, што пашырыць паняцце ліку за граніцы камплекснай плоскасці без страты нейкіх яго арыфметычных уласцівасцей немагчыма.
Да асноўных дзеянняў над лікамі адносяць складанне, адніманне, множанне і дзяленне, радзей узвядзенне ў ступень, здабыванне кораня і рашэнне лікавых ураўненняў. Гістарычна спіс арыфметычных дзеянняў таксама ўключаў уласна , падваенне (акрамя множання), дзяленне на два і дзяленне з астачай (акрамя дзялення), пошук сумы арыфметычнай і геаметрычнай прагрэсій. у сваёй кнізе «Лагістычнае мастацтва» раздзяліў арыфметычныя дзеянні па ступенях. На самай нізкай ступені знаходзяцца складанне і адніманне, на наступнай — множанне і дзяленне, далей — узвяздзенне ў ступень і здабыванне каранёў. Вядомы метадыст да аперацый трэцяй ступені адносіў таксама лагарыфмаванне. Традыцыйна арыфметыкай называюць выкананне аперацый над рознымі аб’ектамі, як то: «арыфметыка », «арыфметыка матрыц».
Уласна матэматычная разлікі і вымярэнні, неабходныя для практычных патрэб, як то: , працэнты, трайное правіла , адносяць да ніжэйшай ці практычнай арыфметыкі, тады як лагічны аналіз паняцця ліку адносяць да тэарэтычнай арыфметыкі. Уласцівасці цэлых лікаў, дзяленне іх на часткі, пабудова непарыўных дробаў уваходзяць у тэорыю лікаў, якую доўгі час лічылі вышэйшай арыфметыкай. Арыфметыка таксама цесна звязана з алгебрай, якая вывучае ўласна без уліку асаблівасцей і ўласцівасцей лікаў. Такія арыфметычныя дзеянні, як узвядзенне ў ступень і здабыванне каранёў, з’яўляюцца тэхнічнай часткай алгебры. У гэтым ключы, услед за Ньютанам і Гаусам, алгебру прынята лічыць абагульненнем арыфметыкі. Увогуле кажучы, выразных граніц паміж арыфметыкай, элементарнай алгебрай і тэорыяй лікаў не існуе. У ВСЭ сказана: «Алгебра вывучае, карыстаючыся літарнымі абазначэннямі, агульныя ўласцівасці лікавых сістэм і агульныя метады рашэння задач пры дапамозе ўраўненняў; арыфметыка займаецца прыёмамі вылічэнняў з канкрэтна зададзенымі лікамі, а ў сваіх больш высокіх абласцях (гл. Лікаў тэорыя) — больш тонкімі індывідуальнымі ўласцівасцямі лікаў».
Як і іншыя , арыфметыка сутыкаецца з прынцыповымі праблемамі; для яе неабходна даследаванне пытанняў і паўнаты аксіём. Лагічнымі пабудовамі фармальнай сістэмы прэдыкатаў і аксіём арыфметыкі займаецца .
Найпрасцейшыя паняцці
Парадкавае лічэнне, натуральныя лікі
Самым простым арыфметычным паняццем з’яўляецца парадкавае лічэнне. Аб’ектам лічэння служацб розныя элементы ці іх мноствы, напрыклад: яблыкі і кошыкі яблыкаў. З дапамогай парадкавага лічэння можна элементы і абазначыць іх .
Парадкавае лічэнне звязана з лічэннем групамі, якія ўтрымліваюць пэўную роўную колькасць элементаў, — напрыклад, лічэнне дзясяткамі яблыкаў. Звычайна гэта пальцы на дзвюх руках (аснова роўная ), але ў гістарычных крыніцах сустракаюцца групоўкі па . Колькасць элементаў у групе служаць асновай для сістэмы злічэння.
Лікавы рад, які атрымліваецца пры лічэнні, называюць натуральным, а яго элементы — натуральнымі лікамі. Паняцце натуральнага рада ўпершыню паявілася ў працах грэчаскага матэматыка ў I ст. н. э., а натуральнага ліку — у рымскага аўтара Баэцыя ў канцы V — пачатку VI ст. Усеагульнае ўжыванне тэрміна пачынаецца з работ Д’Аламбера ў XVIII ст. Архімед у сваёй рабоце «Псаміт» адзначыў, што лікавы рад можна працягваць неабмежавана, але разам з тым заўважыў, што для рэальных задач дастаткова невялікага адрэзка. Дзяленне натуральных лікаў на прыпісваюць піфагарэйцам, яно таксама ёсць у егіпецкім . Піфагарэйцы таксама вызначылі простыя і састаўныя лікі.
Складанне, множенне, узвядзенне ў ступень
Для натуральных лікаў натуральным чынам вызначаны аперацыі складання і множання. Пры аб’яднанні двух набораў, якія ўтрымліваюць некаторую колькасць прадметаў, новы набор будзе мець столькі прадметаў, колькі было ў першых двух наборах разам. Калі першы набор утрымліваў прадметы, а другі — прадметы, то іх сума будзе ўтрымліваць прадметаў. Апісанае дзеянне носіць назву складання і з’яўляецца найпрасцейшай бінарнай аперацыяй. Для праверкі карэктнасці сумы табліцу складання знаць не абавязкова, досыць пералічыць прадметы.
Шматкратнае складанне элементаў некалькіх аднолькавых мностваз не залежыць ад парадку гэтых мностваў, што дазволіла вызначыць другую бінарную аперацыю — множанне. Акрамя множання, у старажытнасці выдзялялася асобнае арыфметычнае дзеянне — падваенне, ці множанне на два.
Па аналогіі з вызначэннем множання цераз складанне, многаразовае множанне дазваляе вызначыць аперацыю ўзвядзення ў ступень.
Асноўныя законы арыфметыкі
Пра ўласцівасці гэтых аперацый сфармуляваны пяць законаў, якія лічацца асноўнымі законамі арыфметыкі:
- Камутатыўнасць: перамяшчальны закон складання гаворыць, што ад змены месцаў складнікаў сума не мяняецца. Аналагічны закон вядомы і для множання, але ён, канечне, гаворыць аб множніках і здабытку. Гэтыя законы можна выразіць у алгебраічнай форме з дапамогай літарных абазначэнняў:
- Асацыятыўнасць: спалучальны закон складання гаворыць, што складваючы некалькі складнікаў, можна групаваць іх у любым парадку. Аналагічны закон для множання гаворыць аб перамнажэнні множнікаў. Гэтыя законы таксама можна запісаць у алгебраічнай форме:
- Дыстрыбутыўнасць: размеркавальны закон кажа: каб памножыць суму на лік, можна памножыць кожны складнік на гэты лік і потым скласці атрыманыя здабыткі. У алгебраічнай форме:
Акрамя асноўных законаў арыфметыкі для натуральных лікаў выконваюцца таксама законы манатоннасці складання і множання, якія ў алгебраічнай форме запісваюцца так:
- пры ;
- пры і .
Тэрмін «камутатыўны» для перамяшчальнага закона ўвёў у 1814 годзе французскі матэматык . Тэрмін «асацыятыўны» для спалучальнага закона ўвёў у 1853 годзе Гамільтан.
Пуанкарэ разглядаў усе арыфметычныя аперацыі і законы з погляду інтуіцыі. Сцвярджаючы, што законы відавочным чынам выконваюцца для малых лікаў, і выкарыстоўваючы правіла індукцыі, можна прыйсці да вываду, што яны выконваюцца для ўсіх лікаў. Пры іншым падыходзе інтуітыўна вернымі лічацца не ўсе, а толькі самыя простыя законы, тады як далейшы доказ звязаны з лагічнымі пабудовамі. За відавочныя прынімаліся перамяшчальны і спалучальны законы. Размеркавальны, ці дыстрыбутыўны, закон у сваіх «Пачатках» доказваў яшчэ Еўклід, карыстаючыся геаметрычным метадам.
Аперацыя ўзвядзення ў ступень ужо не камутатыўныя і не асацыятыўная, у яе свае правілы. Асноўныя правілы выканання гэтай аперацыі пры дадатных ступенях відавочным чынам вынікаюць з яе азначэння. У алгебраічнай форме іх можна запісаць наступным чынам:
- Дыстрыбутыўнасць: размеркавальны закон для аперацыі ўзвядзення ў ступень:
-
- ён жа, у выпадку аднімання, набывае форму дробу:
- Паўторнае ўзвядзенне ў ступень раскрываецца як перамнажэнне ступеней:
- .
Адваротныя аперацыі
Ва ўсіх аперацый арыфметыкі ёсць адваротныя: у складання — адніманне, у множання — дзяленне, ва ўзвядзення ў ступень — арыфметычны корань і лагарыфм. Тое, што ў складання і множання па адной адваротнай аперацыі, нягледзячы на іх бінарнасць, тлумачыцца іх камутатыўнасцю.
Адніманне: адмоўныя лікі
Адніманне — гэта аперацыя, адваротная складанню: рознасцю двух лікаў і з’яўляецца невядомая з ураўнення . Абазначаецца аперацыя аднімання знакам «−» і запісваецца ў выглядзе . Для выканання аперацыі прымянялі два прыёмы: адлічванне ад памяншаемага ліку адзінак аднімаемага ці падбор такога ліку, прыбаўленне якога да аднімаемага давала бы памяншаемае.
Аперацыя аднімання, калі яе прымяняць да ўсіх пар натуральных лікаў, а не толькі да такіх, якія маглі б быць сумай і складнікам у рамках аперацыі складання, дазваляе выйсці за граніцы натуральнага рада, г.зн. рознасць двух натуральных лікаў не абавязкова будзе натуральным лікам — у выніку аднімання можа атрымацца нуль ці ўвогуле адмоўны лік. Адмоўныя лікі ўжо немагчыма разглядаць як колькасць прадметаў, на лікавай восі яны размяшчаюцца злева ад нуля. Мноства лікаў, атрыманае дабаўленнем да натуральных лікаў адмоўных лікаў і ліку нуль, носіць назву мноства цэлых лікаў. Нуль і мноства натуральных лікаў называюцца дадатныя цэлыя лікі. Пры множанні, каб вызначыць, дадатным ці адмоўным будзе здабытак лікаў, карыстаюцца «правілам знакаў».
Адмоўныя лікі лічылі несапраўднымі і бессэнсоўнымі вельмі многія матэматыкі аж да XIX ст., што, аднак, не замінала іх паўсюднаму фармальнаму ўжыванню. Упершыню паняцце адмоўных лікаў паявілася ў Індыі, дзе іх тлумачылі як «доўг» (дадатныя лікі — «маёмасць»). Распаўсюдзіліся ж адмоўныя лікі толькі ў XVII ст. Тэрмін «адніманне» паявіўся яшчэ ў Баэцыя, тэрміны «аднімаемае» і «памяншаемае» ўвёў ва ўжытак Вольф у 1716 годзе, «рознасць» — Відман у 1489 годзе. Сучасныя абазначэнні знакамі «+» і «−» таксама ўвёў Відман у канцы XV ст.
Дзяленне: рацыянальныя лікі
Адваротнай да аперацыі множання з’яўляецца аперацыя дзялення. Першае вызначэнне дзялення — гэта пошук ліку, які ўтрымліваецца ў дзялімым столькі разоў, колькі адзінак утрымліваецца ў дзельніку. Такое азначэнне дадзена ў падручніках арыфметыкі XIV ст. Напрыклад, . Дзяленне лічылася вельмі складанай і грувасткай аперацыяй. Сучасны спосаб дзялення, які выкарыстоўвае частковыя здабыткі дзельніка на асобныя разрады дзелі (), прадстаўлен у італьянскім рукапісе 1460 года.
Для натуральных лікаў, якія не з’яўляюцца множнікам і здабыткам, вядома аперацыя дзяленне з астачай (а азначэнне ўласна астачы ад дзялення таксама называецца дзяленне па модулю). Таксама існуе мноства спосабаў, якія спрашчаюць дзяленне ў розных асобных выпадках ці на той ці іншы лік. Напрыклад:
- лік без астачы дзеліцца на два, калі яго апошняя лічба ў дзесятковым запісе дзеліцца на два;
- лік без астачы дзеліцца на тры, калі сума ўсіх яго лічбаў у дзесятковым запісе дзеліцца на тры;
- лік без астачы дзеліцца на дзесяць, калі яго апошняя лічба ў дзесятковым запісе — нуль.
Аперацыя дзялення, калі дзяліць не толькі тыя лікі, якія можна атрымаць множаннем натуральных лікаў, і пры гэтым не выдзяляць астатак, таксама як і адніманне, дазваляе выйсці за граніцы мноства натуральных лікаў. Пры дзяленні могуць атрымацца дробы, якія немагчыма без астачы скараціць да цэлага. Лікі, якія адпавядаюць такім дробам, называюцца рацыянальнымі. За кошт усведамлення заснаваных на дзяленні рацыянальных лікаў адбываецца яшчэ адно пашырэнне набору вядомых відаў лікаў. Гістарычна спачатку ўзнікла паняцце дробу, а затым адмоўнага ліку. Такі ж парадак прыняты ў школьным курсе.
Ужываецца дзве формы запісу дробаў — у выглядзе лічніка і назоўніка, раздзеленых гарызантальнай ці нахіленай рысай і часта скарочаных да ўзаемна простых лікаў, і ў выглядзе лічбаў дробнай часткі, размешчаных пасля знака- ў пазіцыйнага запісу ліку. Напрыклад, вынік дзялення 10 на 20 можна запісаць як .
Узяцце кораня: ірацыянальныя і камплексныя лікі
Адна з дзвюх адваротных для ўзвядзення ў ступень аперацый — узяцце кораня. Гэта пошук ліку, які пры ўзвядзенні ў адпаведную ступень будзе даваць вядомы вынік. Г.зн. кажучы алгебраічна, гэта пошук кораня для ўраўнення віду . Другая адваротная аперацыя — лагарыфм, гэта корань ураўнення віду . Да арыфметыкі, як правіла, адносяць толькі вылічэнне кораня другой ступені — квадратнага кораня. Карані іншых ступеней і лагарыфмы арыфметычнымі аперацыямі не лічацца.
Аперацыя вылічэння кораня, калі выконваць яе не толькі для тых лікаў, якія можна атрымаць узвядзеннем у ступень натуральных лікаў, таксама як і астатнія адваротныя аперацыі, дазваляе выйсці за граніцы мноства натуральных лікаў. Лікі, якія атрымліваюцца пры гэтым, часта нельга прадставіць у выглядзе канечных рацыянальных дробаў, і таму яны называюцца ірацыянальнымі. Мноства лікаў, атрыманае дабаўленнем к рацыянальным лікам ірацыянальных, назвалі рэчаіснымі, ці сапраўднымі лікамі.
Яшчэ ў Старажытнай Грэцыі было вядома пра існаванне , прынамсі, на прыкладзе старон і дыяганалі квадрата са стараной, прынятай за адзінку, і ажыццяўляліся спробы атрымаць для іх дакладныя лікавыя значэнні, што знайшло адлюстраванне ў «Пачатках» Эўкліда. Рэчаісныя лікі сталі аб’ектам даследаванняў толькі ў XVII—XVIII ст. У другой палавіне XIX ст. Дэдэкінд, Кантар і Веерштрас сфармулявалі свае .
Для аперацыі здабывання кораня вядома наступнае правіла:
Далейшае пашырэнне мноства лікаў было звязана з немагчымасцю здабыцця квадратнага кораня з адмоўнага ліку. З падобнай задачай сутыкаліся ў старажытнасці пры рашэнні квадратных ураўненняў, і такія ўраўненні проста лічылі невырашальнымі. У першай палавіне XVI ст. сталі выражаць рашэнні такіх ураўненняў цераз карані з адмоўных лікаў і называць такія карані «уяўнымі», «немагчымымі» і т. д.
Практычная арыфметыка
Практычны бок арыфметыкі ўключае ў сябе метады, схемы і алгарытмы для ажыццяўлення дакладных арыфметычных дзеянняў, у тым ліку выкарыстанне лічыльных машын і іншых прылад, а таксама розныя прыёмы прыбліжаных вылічэнняў, якія з’явіліся ад немагчымасці атрымаць дакладны вынік пры некаторых вымярэннях і дазваляюць вызначыць яго парадак, г.зн. першыя значныя лічбы.
- Рымскі абак
-
-
- (лічыльнікі)
Дакладныя метады
Пачынаючы з XV ст. прапаноўваліся розныя алгарытмы для ажыццяўлення арыфметычных аперацый над многаразраднымі лікамі, якія адрозніваюцца характарам запісу прамежкавых вылічэнняў. Арыфметычныя алгарытмы пабудаваны на ўжываемай пазіцыйнай сістэме злічэння, калі любы дадатны рэчаісны лік адназначна запісваецца ў выглядзе
дзе — чарговая лічба запісу ліку , — аснова сістэмы злічэння, — колькасць разрадаў цэлай часткі ліку .
Усе дзеянні над лікамі грунтуюцца на табліцах складання і множання да дзесяці і асноўных арыфметычных законах. У якасці ілюстрацыі вядомы папулярызатар навукі Клейн прыводзіць наступны прыклад:
у якім выкарыстоўваюцца размеркаваны і спалучальны законы.
Патрэба ў быстрых і дакладных вылічэннях прывяла да стварэння найпрасцейшых лічыльных прылад: абака, , ці лічыльнікаў (шчотаў). Наступным крокам было стварэнне Оўтрэдам у 1622 годзе лагарыфмічнай лінейкі, якая дазваляе ажыццяўляць множанне і дзяленне.
Камп’ютарная арыфметыка
Кнут лічыў арыфметычныя дзеянні «удзелам камп’ютараў». Першыя , якія дазвалялі механізаваць чатыры арыфметычныя дзеянні, былі сканструяваны ў XVII ст. «Арыфметычная машына» , як ён сам яе называў, была пабудавана ў 1623 годзе. Аперацыі складання і аднімання праводзіліся шляхам кручэння цыліндраў, спецыяльныя цыліндры былі таксама для множання і дзялення. Акрамя таго, машына магла пераносіць дзясяткі. Паскаля была распрацавана ім у 1642 годзе ў помач бацьку ў выкананні фінансавых разлікаў. Яна мела той жа прынцып дзеяння, што і машына Шыкарда. Асноўную частку машыны складаў механізм пераносу дзясяткаў. Разам з тым рамесны выраб такіх машын усё яшчэ заставалася нявыгадным. Спробы ўдасканаліць арыфмометр працягваліся ўсё XVIII стагоддзе, але толькі ў XIX ст. ужыванне набыло шырокую распаўсюджанасць.
У XX ст. на змену арыфмометрам прыйшлі электронныя вылічальныя машыны. У іх аснове ляжаць алгарытмы, якія выкарыстоўваюць найменшы лік для выканання арыфметычных дзеянняў. ўключае алгарытмы выканання аперацый над , дробамі і вельмі .
Вымярэнне
Акрамя прадметаў, якія можна пералічыць, існуюць прадметы, якія можна вымераць, у першую чаргу гэта даўжыня і маса. Як і пры лічэнні, першымі мерамі даўжыні ў чалавека былі пальцы рук. Затым адлегласць сталі мераць крокамі, двайнымі крокамі, мілямі (тысяча двайных крокамі), . Акрамя таго, для вымярэння даўжыні выкарыстоўвалі локці, далоні, сажні, дзюймы. У розных рэгіёнах устанаўліваліся свае сістэмы мер, якія рэдка былі кратныя дзесяці. Мнагастайнасць мер, в прыватнасці, дазваляла абысціся без выкарыстання дробаў. Тарговая арыфметыка ўключала ў сябе ўменне аперыраваць велічынямі (грашовымі адзінкамі, адзінкамі мер і вагаў) у недзесятковай сістэме злічэння.
У канцы XVIII ст. французскім рэвалюцыйным урадам на аснове часовага — а затым і архіўнага (законам 10 снежня 1799 года) — метра была прынята метрычная сістэма мер (канчаткова Францыя перайшла на яе з 1 студзеня 1840 года). Разам з метрам быў вызначан і кілаграм. У аснове метрычнай сістэмы ляжыць дзесятковая сістэма. Іменна гэтая акалічнасць дазволіла метрычнай сістэме распаўсюдзіцца амаль на ўвесь свет (выключэнне складаюць Вялікабрытанія і ЗША). Па ўказу спецыяльнага , размешчанага ў Парыжы, у 1888 годзе са сплаву плаціны і ірыдыю былі зроблены міжнародны метр і міжнародны кілаграм — эталоны мер і вагаў. Акрамя мер часу і вугла, усе астатнія адзінкі мер таксама звязаныя з дзесятковай сістэмай.
Прыбліжаныя метады
Гістарычна прыбліжаныя вылічэнні ўзніклі пры пошуку даўжыні дыяганалі адзінкавага квадрата, але атрымалі шырокае распаўсюджанне пры пераходзе да дзесятковай сістэмы і выкарыстанні канечных замест ірацыянальных лікаў і лікаў, выражаных бесканечным перыядычным дробам.
Для ацэначных вылічэнняў выкарыстоўваюць, у першую чаргу, законы манатоннасці. Напрыклад, каб вызначыць парадак здабытку , можна выкарыстаць наступную ацэнку .
Тэорыя лікаў
Тэорыя лікаў, ці вышэйшая арыфметыка, — гэта навука аб цэлых ліках, якая ўзнікла з арыфметычных задач, звязаных з дзялімасцю лікаў. мае справу з праблемамі, якія рашаюцца элементарнымі метадамі, звычайна без выкарыстання ўяўных лікаў. Да яе адносяць тэорыю дзялімасці, тэорыю параўнанняў, нявызначаныя ўраўненні, , прыбліжэнні рацыянальнымі лікамі, ланцуговыя дробы. — пра адназначнасць раскладання ліку на простыя множнікі — таксама з’яўляецца часткай элементарнай тэорыі лікаў.
Асобныя падкласы цэлых лікаў, такія як простыя, састаўныя, , дасканалыя лікі, былі выдзелены яшчэ старажытнымі грэкамі. Яны вывелі формулы для вызначэння піфагоравых троек, найбольшага агульнага дзельніка, паказалі бесканечнасць колькасці простых лікаў. Дыяфант правёў сістэматызацыю задач, звязаных з цэлымі лікамі. Работы Дыяфанта былі працягнуты Ферма ў XVII і Эйлерам у XVIII ст. Ферма займаўся рашэннем ураўненняў у цэлых ліках і сфармуляваў без доказу малую і вялікую тэарэмы Ферма. Эйлер, працягваючы даследаванні Ферма, даказаў малую тэарэму і асобны выпадак вялікай тэарэмы Ферма. Ён упершыню прымяніў матэматычны аналіз для рашэння задач тэорыі лікаў і стварыў . Эйлер вызначыў , на аснове якіх былі пабудаваныя кругавы метад і .
Цяпер, акрамя элементарнай і аналітычнай тэорыі лікаў, існуюць такія раздзелы, як адытыўная, алгебраічная, імавернасная, метрычная тэорыя лікаў.
Тэарэтычная арыфметыка
У сучаснай матэматыцы прадстаўляе сабой выбар базавых уласцівасцей, ці аксіём, з якіх патрабуецца вывесці ўсе палажэнні тэорыі, ці тэарэмы, з дапамогай агульнапрынятай логікі. Тэарэтычная пабудова арыфметыкі аперыруе алгебраічнымі паняццямі. Складанасць выдзялення асноўных азначэнняў арыфметыкі звязана з простасцю яе начальных палажэнняў. Пеана, асцерагаючыся памылковага асацыятыўнага рада пры выкарыстанні слоў, праводзіў доказы выключна на мове сімвалаў, абапіраючыся толькі на прынятыя ім папярэднія палажэнні. Кантар і Дэдэкінд звязалі лікі з мноствамі і абстрактнымі адносінамі над імі. Тэорыя мностваў разглядае арыфметычныя дзеянні як асаблівыя адносіны паміж тройкамі элементаў, у якіх адзін элемент вызначаецца цераз два іншыя, ці . Кажучы пра тэорыю мностваў, Клейн заўважыў, што пры такім падыходзе развіццё тэорыі становіцца «адцягнутым і мала даступным».
Натуральныя лікі
У 1810 годзе чэшскі матэматык Бальцана вызначыў дзеянне складання для натуральных лікаў. Незалежна ад яго падобнае азначэнне далі нямецкія матэматыкі у 1861 годзе і Ганкель у 1869 годзе. «Энциклопедия элементарной математики» прапануе наступнае азначэнне складання натуральных лікаў:
Азначэнне. Складеннем натуральных лікаў называецца такая адпаведнасць, якая кожнай пары натуральных лікаў і супастаўляе адзін і толькі адзін натуральны лік і валодае наступнымі ўласцівасцямі:
|
Складанне натуральных лікаў заўсёды ажыццявімае і адназначнае.
Множанне, як і складанне, вызначылі незалежна Бальцана, Грасман і Ганкель. «Энциклопедия элементарной математики» прапануе наступнае азначэнне множання натуральных лікаў:
Азначэнне. Множаннем натуральных лікаў называецца такая адпаведнасць, якая кожнай пары натуральных лікаў і супастаўляе адзін і толькі адзін натуральны лік (ці ) і валодае наступнымі ўласцівасцямі:
|
Множанне натуральных лікаў заўсёды ажыццявімае і адназначнае.
У 1891 годзе Пеана прадставіў аксіёмы для натуральных лікаў (у іншых крыніцах упамінаецца таксама 1889 год). З тае пары аксіёмы змяніліся вельмі нязначна.
Азначэнне. Натуральнымі лікамі называюцца элементы ўсякага непустога мноства , у яком для некаторых элементаў і існуе дачыненне « ідзе за », для якога выконваюцца наступныя аксіёмы:
|
Цэлыя лікі
«Энциклопедия элементарной математики» прапануе наступнае азначэнне аднімання натуральных лікаў:
Азначэнне. Адніманнем натуральных лікаў называецца такая адпаведнасць, якая кожнай пары натуральных лікаў і супастаўляе лік з наступнай уласцівасцю:
|
Адніманне натуральных лікаў ажыццявіма, толькі калі , калі рознасць існуе, то яна адназначная. Пашырэнне натуральных лікаў за кошт уласцівасцей складання і аднімання прыводзіць да паняцця цэлых лікаў.
Азначэнне. Кальцом цэлых лікаў называецца мінімальнае кальцо , якое ўтрымлівае мноства усіх натуральных лікаў і валодае наступнымі ўласцівасцямі:
Элементы кальца называюцца цэлымі лікамі. |
Кальцо існуе і з’яўляецца адзіным з дакладнасцю да ізамарфізма, а кожны яго элемент ровен рознасці натуральных лікаў. Пры пабудове кальца выкарыстоўваюць мноства пар натуральных лікаў віду . Для пар вызначаюць , складанне і множанне наступным чынам:
- эквівалентна тады і толькі тады, калі
Рацыянальныя лікі
«Энциклопедия элементарной математики» прапануе наступнае азначэнне дзялення натуральных лікаў:
Азначэнне. Дзяленнем натуральных лікаў называецца такая адпаведнасць, якая кожнай пары натуральных лікаў і супастаўляе лік і валодае наступнай уласцівасцю:
|
Дзяленне натуральных лікаў ажыццявіма, толькі калі ( кратна ), калі дзель існуе, то яна адзіная. Пашырэнне цэлых лікаў за кошт паняццяў множання і дзялення прыводзіць да азначэння рацыянальных лікаў. Яшчэ ў 1710 годзе Вольф выказаў патрабаванне, што ўжо вядомыя законы выканання арыфметычных дзеянняў з цэлымі лікамі не могуць напрамую прымяняцца для дробаў і павінны быць абгрунтаваны. Сама абгрунтаванне было распрацавана толькі ў XIX ст. з выкарыстаннем прынцыпа пастаянства фармальных законаў.
Азначэнне. Полем рацыянальных лікаў называецца мінімальнае поле , якое ўтрымлівае кальцо цэлых лікаў і валодае наступнымі ўласцівасцямі:
Элементы поля называюцца рацыянальнымі лікамі. |
Поле існуе і з’яўляецца адзіным з дакладнасцю да ізамарфізма, а кожны яго элемент ровен дзелі цэлых лікаў. Як і для цэлых лікаў, пры пабудове поля рацыянальных лікаў выкарыстоўваюць мноства пар , але цяпер ужо цэлых лікаў, пры гэтым . Для пар вызначаюць эквівалентнасць, складанне і множанне наступным чынам:
- эквівалентна тады і толькі тады, калі
Рэчаісныя лікі
У другой палавіне XIX ст. было прапанавана тры розныя тэарэтычныя пабудовы сапраўдных лікаў. Найбольш папулярнай з’яўляецца пабудова Дэдэкінда. Кантар у сваёй пабудове выкарыстоўваў тэорыю граніц.
Азначэнне. Полем рэчаісных лікаў называецца непарыўнае поле , якое ўтрымлівае ў якасці падполя поле рацыянальных лікаў. Элементы поля называюцца рэчаіснымі лікамі. |
Поле існуе і з’яўляецца адзіным з дакладнасцю да ізамарфізма, а кожны яго элемент ровен граніцы паслядоўнасці рацыянальных лікаў.
Камплексныя лікі
Азначэнне. Полем камплексных лікаў называецца мінімальнае поле , якое ўтрымлівае поле рэчаісных лікаў і элемент такі, што , і валодае наступнымі ўласцівасцямі:
Элементы поля называюцца камплекснымі лікамі. |
Поле з’яўляецца . Пры пабудове поля камплексных лікаў выкарыстоўваецца мноства . Для пар вызначаюць эквівалентнасць, складанне і множанне наступным чынам:
- эквівалентна тады і толькі тады, калі і ,
Фармальная арыфметыка
Логіка-матэматычная пабудова носіць назву фармальнай арыфметыкі. Пераход да логікі звязан з падыходам школы Гільберта, які разглядаў замест лікаў абстракцыі і меркаваў для іх вернымі асноўныя арыфметычныя законы. Для абгрунтавання арыфметыкі было прапанавана некалькі варыянтаў аксіяматыкі. Акрамя сістэмы аксіём Пеана, у якой вызначаныя і складанне, і множанне, існуе , у якой вызначана толькі складанне, а таксама аксіёмы, у якіх вызначаны складанне, множанне і ўзвядзенне ў ступень. Часта ў якасці аксіём уключаюць усе ўласцівасці аперацый. Усе гэтыя аксіяматычныя тэорыі заснаваныя на мностве цэлых лікаў і не ўключаюць у сябе . Іншыя даследчыя падыходы выводзяць арыфметыку з аксіём тэорыі мностваў або матэматычнай логікі. Для зручнасці даследавання аксіёмы запісваюць на спецыяльнай фармальнай мове . Яна ўтрымлівае , лікавыя пераменныя, сімвалы () і лагічныя звязкі (), пастулатамі з’яўляюцца пастулаты прэдыкатаў злічэння. Аксіёма індукцыі ўяўляе сабой бесканечны набор аксіём, які нельга замяніць ніякім канечным мноствам.
У ідэале базавы набор аксіём павінен валодаць трыма якасцямі:
- — аксіёмы не павінны канфліктаваць адна з адной;
- — сярод аксіём не павінна быць лішніх, якія лагічна выводзяцца з іншых аксіём;
- (Паўната) — набор аксіём павінен быць дастатковы для таго, каб любую правільна сфармуляваную тэарэму можна было даказаць ці абвергнуць.
Арыфметыка натуральных лікаў мае вялікае значэнне для абгрунтавання матэматычных тэорый: з яе несупярэчлівасці вынікае несупярэчлівасць арыфметыкі сапраўдных лікаў, якая ў сваю чаргу дазваляе, карыстаючыся метадам мадэлей, паказаць несупярэчлівасць эўклідавай геаметрыі і . Доказам несупярэчлівасці арыфметыкі ў сістэме Пеана і роднасных ёй аксіяматычных сістэмах беспаспяхова займаўся Гільберт у пачатку XX стагоддзя. Пасля адкрыцця ў 1930 годзе стала ясна, што ў падобных простых сістэмах гэта немагчыма. Доказ несупярэчлівасці быў праведзены ў 1936 годзе з выкарыстаннем разнавіднасці .
Для даследавання незалежнасці кожная аксіёма па чарзе замяняецца на процілеглую і затым будуецца мадэль, дзе атрыманы набор аксіём выконваецца. Калі замененая аксіёма залежная, г.зн. лагічна выцякае з іншых аксіём, то замена яе на процілеглую, відавочна, прыводзіць да супярэчлівай сістэмы аксіём, і пабудова мадэлі немагчыма. Такім чынам, калі мадэль удаецца пабудаваць, то адпаведная аксіёма незалежная. Такім спосабам было даказана, што ўсе аксіёмы Пеана незалежныя адна ад адной.
Сродкамі фармальнай арыфметыкі, якая будуецца на аксіёмах Пеана, можна запісаць тэарэмы тэорыі лікаў, якія даказваюцца без выкарыстання матэматычнага аналізу, а таксама функцыі і іх уласцівасці. Яна эквівалентная Цэрмела — Фрэнкеля без . Разам з тым даказаная ў 1929 годзе паказала, што аксіяматыка Пеана няпоўная, г.зн. існуюць арыфметычныя тэарэмы, якія нельга ні даказаць, ні абвергнуць. У той час як арыфметыка поўная адносна формул віду , існуюць тэарэмы віду , якія сцвярджаюць праўдзівы факт, але іх немагчыма вывесці. Удалося знайсці і канкрэтныя прыклады тэарэм: тэарэма Гудстэйна , Тэарэма Пэрыса – Харынгтана і іншыя.
Гісторыя
Старажытныя матэматычныя тэксты і сістэмы злічэння
асаблівую ўвагу надавалі вылічэнням і ўзнікаючым пры гэтым складанасцям, ад якіх у многім залежалі метады рашэння задач. Матэматычныя папірусы Старажытнага Егіпта былі састаўлены для навучальных мэт, яны ўтрымлівалі задачы з рашэннямі, дапаможныя табліцы і правілы дзеянняў над цэлымі лікамі і дробамі, сустракаюцца арыфметычныя і геаметрычныя прагрэсіі, а таксама ўраўненні. Егіпцяне карысталіся дзесятковай сістэмай злічэння. Егіпцяне зналі такія арыфметычныя аперацыі, як складанне, падваенне і дапаўненне дробу да адзінкі. Любое памнажэнне на цэлы лік і дзяленне без астачы праводзіліся з дапамогай шматразовага паўтарэння аперацыі падваення, што прыводзіла да грувасткіх вылічэнняў, у якіх удзельнічалі пэўныя члены паслядоўнасці . У Егіпце знайшлі прымяненні толькі , ці долі адзінкі (), а ўсе астатнія дробы раскладаліся на суму аліквотных. Пры вызначэнні , ці знаходжанні стараны квадрата па яго плошчы егіпцяне сутыкаліся з узвядзеннем у ступень і здабываннем кораня, хаця назвы гэтым аперацыям яшчэ не было.
клінапісныя матэматычныя тэксты выкарыстоўвалі , характэрную яшчэ для шумераў, і прадстаўлялі сабой навучальныя дапаможнікі, якія ўключаюць табліцы множання для лікаў ад да , а таксама табліцы , табліцы квадратаў і кубоў лікаў натуральнага рада, табліцы вылічэння працэнтаў, дробы з асноваю . Пры рашэнні арыфметычных задач вавіланяне апіраліся на і прагрэсіі. Яны зналі формулу сумы членаў арыфметычнай прагрэсіі, правіла для суміравання геаметрычнай прагрэсіі, рашалі задачы на працэнты. У Вавілоне зналі мноства піфагоравых троек, для пошуку якіх, верагодна, карысталіся невядомым агульным прыёмам. У цэлым задача знаходжання цэлых і рацыянальных рашэнняў ураўнення адносіцца да тэорыі лікаў. Геаметрычныя задачы прывялі да неабходнасці прыбліжанага здабывання квадратных каранёў, якія яны выконвалі, карыстаючыся правілам і ітэрацыйнымі метадамі для далейшага прыбліжэння выніку.
Найстаражытнейшыя тэксты адносяцца да XIV—VII ст. да н. э. Першапачаткова грэкі карысталіся атычнай нумарацыяй, якую з часам замяніла кампактная літарная, ці іанічная. Развіццё старажытнагрэчаскай арыфметыкі належыць . Піфагарэйцы меркавалі спачатку, што адносіну любых двух адрэзкаў можна выразіць цераз адносіну цэлых лікаў, г.зн. геаметрыя прадстаўляла сабой арыфметыку рацыянальных лікаў. Яны разглядалі толькі цэлыя дадатныя лікі і вызначалі лік як збор адзінак. Вывучаючы ўласцівасці лікаў, яны разбілі іх на (як прыкмета дзялімасці на два), простыя і састаўныя, знайшлі бесканечнае мноства піфагоравых троек. У 399 годзе да н. э. з'явілася агульная тэорыя дзялімасці, якая належыць, відаць, , вучню Сакрата. Еўклід прысвяціў ёй кнігу VII i частку кнігі IX «Пачаткаў». У аснове тэорыі ляжыць алгарытм Еўкліда для знаходжання найбольшага агульнага дзельніка двух лікаў. З алгарытму вынікае , што любы лік можна раскласці на простыя, прычым такое раскладанне адзінае.
Разам з тым піфагарэйцам належыць доказ несувымернасці дыяганалі і стараны адзінкавага квадрата. Дадзенае адкрыццё паказала, што адносін цэлых лікаў недастаткова для выражэння адносін любых адрэзкаў, і на гэтай аснове немагчыма будаваць метрычную геаметрыю. Першае вучэнне аб ірацыянальнасцях належыць Тээтэту. Алгарытм Еўкліда дазваляе вызначыць няпоўныя дзелі раскладання рацыянальнага ліку ў непарыўны дроб. Разам з тым паняцце непарыўнага дробу ў Старажытнай Грэцыі не ўзнікла. У III стагоддзі Дыяфант пачаў пабудову алгебры з апорай не на геаметрыю, а на арыфметыку. Дыяфант таксама пашырыў лікавую вобласць на адмоўныя лікі.
Рымская сістэма нумарацыі была мала прыстасаваная для вылічэнняў. Рымскія лічбавыя знакі ўзніклі да з'яўлення алфавіта і не паходзяць ад яго літар. Лічыцца, што першапачаткова лікі ад да абазначыліся адпаведнай колькасцю вертыкальных рысачак, а іх перакрэсліванне азначала ўдзесяцярэнне ліку (адсюль лік ). Адпаведна, каб атрымаць лік , палачку перакрэслівалі два разы. Пасля адбылося спрашчэнне сістэмы. У цяперашні час яна ўжываецца ў асноўным для абазначэння парадкавых лікаў.
Да XIV стагоддзя ўяўляла сабой набор вылічальных алгарытмаў для рашэння на . Арыфметычныя аперацыі складання і аднімання, якія рабіліся на лічыльнай дошцы, не патрабавалі дадатковых табліц, для множання ж існавала табліца ад да . Дзеянні множання і дзялення рабіліся пачынаючы са старэйшых разрадаў, пры гэтым прамежкавыя вынікі выдаляліся з дошкі, што рабіла праверку немагчымай. Спачатку множанне і дзяленне былі незалежнымі аперацыямі, але затым адзначыў іх узаемную адваротнасць. У Кітаі ўмелі рашаць задачы з дапамогай , а для рашэння сістэм лінейных ураўненняў былі ўведзеныя адмоўныя лікі. Спачатку яны выкарыстоўваліся толькі ў працэсе разлікаў і к канцу вылічэнняў выдаляліся з дошкі, затым кітайскія навукоўцы сталі тлумачыць іх як доўг або недастачу.
Арыфметыка ў Сярэдневякоўі
Пазіцыйная сістэма злічэння (дзесяць лічбаў, уключаючы ) была ўведзена ў Індыі. Яна дазволіла распрацаваць параўнальна простыя правілы выканання арыфметычных аперацый. Асноўнымі арыфметычнымі дзеяннямі ў Індыі лічыліся складанне, адніманне, множанне, дзяленне, узвядзенне ў квадрат і куб, здабыванне квадратных і кубічных каранёў, для якіх былі распрацаваны правілы. Вылічэнні праводзіліся на лічыльнай дошцы з пяском ці пылам або проста на зямлі і запісваліся палачкай. Індыйцы ведалі дробы і ўмелі здзяйсняць аперацыі над імі, прапорцыі, прагрэсіі. Ужо з VII стагоддзя н. э. яны карысталіся адмоўнымі лікамі, інтэрпрэтуючы іх як доўг, а таксама ірацыянальнымі лікамі.
У пачатку IX стагоддзя Мухамед iбн-Муса ал-Харэзмі напісаў кнігу «Аб індыйскім лічэнні». Падручнік утрымліваў рашэнні практычных задач «рознага роду і сорту» і быў першай кнігай, напісанай з выкарыстаннем пазіцыйнай сістэмы злічэння, да гэтага лічбамі карысталіся толькі для вылічэнняў на лічыльнай дошцы. У XII стагоддзі Адэлардам і было зроблена два пераклады кнігі на лацінскую мову. Яе арыгінал не захаваўся, але ў 1857 годзе пад назвай «Алхарэзмі аб індыйскім ліку» быў выдадзены знойдзены лацінскі пераклад. У трактаце апісваецца выкананне з дапамогай індыйскіх лічбаў на лічыльнай дошцы такіх арыфметычных дзеянняў, як складанне, адніманне, падваенне, множанне, раздваенне, дзяленне і здабыванне квадратнага кораня. Множанне дробаў, як і дзяленне, разглядалася з дапамогай прапорцый: памножыць на было раўназначна пошуку такога , што . Гэтая тэорыя была асновай арабскай арыфметыкі. Аднак пры гэтым існавала і іншае злічэнне дробаў, якое прадстаўляла любы дроб у выглядзе сумы аліквотных дробаў. Для рашэння задач арабы карысталіся , якое прыйшло з Індыі і было апісана разам з шэрагам іншых прыёмаў у «Кнізе аб індыйскіх рашыках» аль-Біруні, правілам двух ілжывых палажэнняў, якое прыйшло з Кітая і атрымала тэарэтычнае абгрунтаванне ў «кнізе аб правіле двайнога ілжывага палажэння» .
Праз Іспанію і Сіцылію ў X стагоддзі пачалі завязвацца навуковыя сувязі Еўропы з арабскім светам. У гэты час Каталонію наведаў вучоны манах Герберт, які стаў пазней папам Сільвестрам II. Яму прыпісваюць такія сачыненні, як «Кніжка аб дзяленні лікаў» і «Правілы лічэння на абаку». У абедзвюх кнігах лікі напісаныя словамі ці рымскімі лічбамі. Герберт называў вылічальнікаў на абаку «абацыстамі». У XII—XIII стагоддзях у Еўропе з'явіліся лацінскія пераклады арабскіх кніг па арыфметыцы. Прыхільнікі прадстаўленай у кнігах дзесятковай пазіцыйнай нумарацыі сталі называцца «алгарыстамі» па імені арабскага матэматыка ал-Харэзмі ў лацінскай форме. У пачатку XIII стагоддзя ў Заходняй Еўропе існавала дзве сістэмы злічэння: старая, заснаваная на абаку, якую падтрымліваў Герберт, і новая, пазіцыйная індыйская сістэма, якую падтрымліваў Леанарда Фібаначы. Паступова новая сістэма ўзяла верх. Асноўнай яе перавагай з'яўляецца спрашчэнне арыфметычных аперацый. Разам з тым у Германіі, Францыі і Англіі новыя лічбы не ўжываліся да канца XV стагоддзя. Выцясненне старой нумарацыі адбылося толькі ў XVI—XVII стагоддзях.
У 1427 годзе апісаў сістэму , якая пачала паўсюдна ўжывацца пасля твораў ў 1585 годзе. Стэвін хацеў як мага шырэй распаўсюдзіць дзесятковую сістэму. Іменна таму ён напісаў свае сачыненні на французскай і фламандскай мовах, а не на латыні. Акрамя таго, ён стаў энергічна змагацца за ўвядзенне дзесятковай сістэмы мер.
Арыфметыка Новага часу
У XVII стагоддзі , механіка, больш складаныя камерцыйныя разлікі паставілі перад арыфметыкай новыя запыты да тэхнікі вылічэнняў і далі штуршок к далейшаму развіццю. Значна змянілася паняцце ліку. Калі раней да вобласці лікаў у большасці сваёй адносілі толькі дадатныя рацыянальныя лікі, то пачынаючы з XVI стагоддзя ўсё больш прызнаваліся ірацыянальныя і адмоўныя лікі. Ньютан ў сваіх лекцыях дзеліць лікі на тры віды: цэлыя (вымяраюцца адзінкай), дробавыя (кратныя долі адзінкі) і ірацыянальныя (несувымерныя з адзінкай). З 1710 такое вызначэнне ліку трывала ўваходзіць ва ўсе падручнікі.
У пачатку XVII стагоддзя вынайшаў лагарыфмы. Прымяненне лагарыфмаў і дзесятковых дробаў, уключэнне ў арыфметыку паняцця ірацыянальнага ліку, як паслядоўнасці рацыянальных прыбліжэнняў, пашырылі вобласць ужывання арыфметыкі к канцу XVII стагоддзя і вызначылі фундаментальнае значэнне навукі для вывучэння непарыўных велічынь.
З працамі Лабачэўскага па звязаны працэс крытычнага перагляду асноў матэматыкі, які здарыўся ў XIX стагоддзі. Яшчэ ў XVIII стагоддзі пачаліся спробы тэарэтычнага абгрунтавання уяўленняў аб ліку. Лейбніц першы паставіў задачу пабудовы арыфметыкі і, сярод іншага, паказаў неабходнасць доказу роўнасці «два плюс два роўна чатыры» у сваіх «Новых вопытах аб чалавечым розуме» ў 1705 годзе. У спробах вырашыць гэтае пытанне свае аксіёмы прадставілі Вольф ў 1770 годзе, ў 1790 годзе, ў 1822 годзе, ў 1861 годзе і, нарэшце, Пеана ў 1889 годзе.
У 1758 годзе у «Першых асновах арыфметыкі, геаметрыі, плоскай і сферычнай трыганаметрыі і перспектывы» выступіў за абгрунтаванне ўсіх арыфметычных паняццяў цераз цэлы лік. Такім чынам ён вызначыў, па парадку ў яго кнізе, натуральныя лікі, дробы, адмоўныя лікі, дзесятковыя дробы, ірацыянальныя лікі і толькі затым тэорыю адносін. У фарміраванні тэорыі адмоўных лікаў асноўную праблему складала сцвярджэнне, што адмоўны лік менш за нуль, г.зн. менш, чым нічога.
Поўнае геаметрычнае тлумачэнне камплексных лікаў было прапанавана Каспарам Веселем у «Вопыце аб аналітычным прадстаўленні напрамку і яго ужываннях, пераважна да рашэння плоскіх і сферычных многавугольнікаў» у 1799 годзе. Весель спрабаваў абагульніць тэорыю на трохмерную прастору, але гэта яму не ўдалося. Пытанне заставалася адкрытым да таго часу, пакуль Гамільтан не пабудаваў тэорыю , пры памнажэнні якіх не выконваецца перамяшчальны закон. Далейшыя даследаванні Веерштраса, Фрабеніуса і паказалі, што адмовіцца ад якога-небудзь з арыфметычных законаў прыйдзецца пры любым пашырэнні паняцця ліку за межы камплексных лікаў.
Арыфметыка ў адукацыі
Утварэнне арыфметычных паняццяў цесна звязана з працэсам лічэння. У яго аснове ляжаць такія элементы разумовай дзейнасці, як уменне пазнаваць прадмет; адрозніваць прадметы; падзяляць сукупнасць прадметаў на элементы, раўнапраўныя пры лічэнні (іншымі словамі, карыстацца адзінкай лічэння); уменне размяшчаць элементы , парадкаваць іх, што прыводзіць да лічэння розных па якасці прадметаў і ўтварэння паняцця ліку. Падобныя працэсы можна назіраць пры засваенні паняццяў дзецьмі.
Дык вось, якую ж з дысцыплін трэба вывучаць першай, калі не тую, што з'яўляецца пачаткам і выконвае як бы ролю маці ў адносінах да іншых [дысцыплін]? Такая як раз арыфметыка. Яна папярэднічае ўсім іншым не толькі таму, што сам Бог, творца гэтага сусвету, узяў яе першай за ўзор свайго мыслення і па яе [прынцыпе] зрабіў усё, што цераз лікі сілай творчага Розуму здабыла гармонію ва ўстаноўленым парадку, але і таму арыфметыка аб'яўляецца папярэдняй, што калі выключыць папярэднія па сваёй прыродзе сутнасці, адразу ж знікаюць і наступныя. Калі гінуць наступныя, то нічога ў статусе папярэдняй субстанцыі не мяняецца.
Стандарты пачатковай адукацыі мяркуюць навыкі лічэння і параўнання лікаў да мільёна, работу з асноўнымі адзінкамі вымярэння і суадносінамі паміж імі, выкананне чатырох асноўных арыфметычных аперацый (вусна да 100 і пісьмова да 10 000), а таксама дзялення з астачай, пошук значэння лікавага выразу, які складаецца з некалькіх арыфметычных дзеянняў. Школьны матэрыял падаецца з дапамогай наглядных уяўленняў. У першым класе дзеці маюць справу з лікавымі вобразамі і колькасцямі прадметаў, лічэнне ідзе да 20. У другім класе ўводзяць дзесятковую сістэму, пазіцыйную сістэму, табліцу множання, лічэнне ідзе да 100. У трэцім класе вывучаюць арыфметычныя дзеянні з мнагазначнымі лікамі. Наступным крокам ідзе пераход да літарных абазначэнняў, іншымі словамі — ад канкрэтнага да абстрактнага. Іменна з гэтага, на думку Клейна, і пачынаецца матэматыка. Цяжкасць вывучэння арыфметыкі ў пачатковай школе заключаецца ў тым, што неабходна ажыццяўляць лічэнне адцягнена ад прыроды прадметаў.
Навучанне ў сярэдняй школе звязана з пашырэннем паняцця ліку, уводзяць дробы і дзеянні над імі, адмоўныя лікі, ірацыянальныя лікі.
У сучасным свеце з'яўляецца адной з асноўных мэт адукацыі. Яна ўключае ў сябе, сярод іншага, уменне здзяйсняць арыфметычныя дзеянні, праводзіць падлікі і вымярэнні. Пытаннямі матэматычнай граматнасці дзяцей і дарослых займаюцца такія арганізацыі, як ЮНІСЕФ і ЮНЕСКА.
Разам з тым доўгі час навучанне арыфметычным дзеянням зводзілася да механічнага выкананню узораў. У Старажытным Кітаі вялікая ўвага надавалася навучанню матэматыцы, уключаючы здачу экзаменаў. У Імператарскай акадэміі матэматыка вывучалася сем гадоў. Аднак класічныя матэматычныя трактаты разглядаліся як догма і перавыдаваліся без змен.
У Еўропе сістэматычныя практыкаванні на складанне, адніманне, множанне і дзяленне былі прапанаваны Тарталья ў XVI стагоддзі, але яны яшчэ доўгі час не ўваходзілі ва ўжытак. Акрамя таго, у Сярэднія вякі існавалі правілы для рашэння вялікага ліку асобных арыфметычных задач. У некаторых падручніках сустракаецца да 26 такіх правіл, пры гэтым яны могуць не супадаць у розных падручніках. Некаторыя правілы не страцілі сваёй актуальнасці да гэтага часу. Да іх адносяцца прапорцыі (дробы разглядаліся як адносіны двух лікаў, што прыводзіла да разгляду прапорцый для здзяйснення аперацый), працэнты.
Арыфметыка з'яўляецца чацвёртым з сямі вольных мастацтваў па ўзроўні навучання. Ёй папярэднічае , які складаецца з Граматыкі, Рыторыкі і Дыялектыкі, а сама яна з'яўляецца старэйшай навукай у , да якога таксама адносяцца Геаметрыя, Музыка і Астраномія. Са з'яўленнем першых еўрапейскіх універсітэтаў матэматыка выкладалася на факультэтах мастацтва як квадрывіум і была дапаможнай дысцыплінай. Першыя лекцыі па арыфметыцы былі прачытаны магістрам Венскага ўніверсітэта ў 1412 годзе.
Арыфметыка ў філасофіі і мастацтве
Пасля таго як піфагарэйцы выкарыстоўвалі адносіны цэлых лікаў для выражэння геаметрычных адносін адрэзкаў, а таксама аналагічных адносін у гармоніі і музыцы, яны прыйшлі да вываду, што ўсе заканамернасці свету можна апісаць з дапамогай лікаў, а арыфметыка патрэбна для таго, каб выразіць адносіны і пабудаваць мадэль свету. Разам з тым адным з адкрыццяў піфагарэйцаў з'яўляецца тое, што адносін цэлых лікаў недастаткова для выражэння адносін любых адрэзкаў (дыяганаль і старана квадрата несувымерныя), і на гэтай аснове немагчыма будаваць метрычную геаметрыю. Праблемы пабудовы канечнай меры і вызначэння сапраўднага ліку агалілі навуковы крызіс у V стагоддзі да н. э., выхадам з якога займаліся ўсе філасофскія школы Старажытнай Грэцыі. Паказаць усе цяжкасці, якія ўзнікаюць пры вырашэнні гэтых праблем, удалося Зянону Элейскаму ў яго парадоксах, або .
ў сваім трактаце «Вяселле Філасофіі і Меркурыя» стварыў візуальныя вобразы ўсіх сямі мастацтваў і ў тым ліку Арыфметыкі. Мастацтвы ўвасаблялі жанчыны з адпаведнымі атрыбутамі, якія суправаджаліся вядомымі прадстаўнікамі сферы. Арыфметыка трымае ў сваіх руках скрыжаль, спісаную лічбамі, або абак. Яе суправаджае Піфагор.
Лічэнне было адным з выпрабаванняў Буды. Пасля спаборніцтваў у стральбе з лука, бегу і плаванні матэматык Ар'юна загадаў яму назваць усе лікавыя ступені больш за . Буда назваў дваццаць дзве ступені да (толькі няцотныя ступені мелі назвы), і гэта быў толькі першае лічэнне, у другім лічэнні Буда працягнуў да . Наступным заданнем Буда палічыў лік атамаў у мілі, а затым і ў Сусвеце. Падобныя «лікавыя лесвіцы» сустракаюцца неаднаразова ў індыйскай рэлігійнай паэзіі, пры гэтым словы для абазначэння лікаў могуць адрознівацца. Прызначэнне такіх лесвіц — падняцца над светам смяротных. У індыйскай кнізе «Лілавацістара» апісваюцца спаборніцтвы паміж жаніхамі гаспадарыні зямлі, прыгожай Гопы, у пісьменства, арыфметыцы, барацьбе і мастацтве кідання стрэл. Выпрабаванням у арыфметыцы прысвечана значная частка твора.
Як і ў Індыі, вельмі вялікія лікі, сканструяваныя штучна жрацамі мая, гавораць аб імкненні забрацца вышэй па «лікавай лесвіцы», бліжэй да багоў.
Зноскі
- Каментарыі
- Няхай трэба знайсці корань з , — першае прыбліжэнне з недастачай, — прыбліжэнне з лішкам. Другое прыбліжэнне ўтвараецца па формуле сярэдняга арыфметычнага , і яму адпавядае , і так далей).
- Выкарыстаная літаратура і крыніцы
- Виноградов И. М. Арифметика // Математическая энциклопедия. — М.: Советская энциклопедия, 1977. — Т. 1.
- Виноградов И. М. Арифметика формальная // Математическая энциклопедия. — М.: Советская энциклопедия, 1977. — Т. 1.
- Арифметика, наука // Энциклопедический словарь Брокгауза и Ефрона: В 86 томах (82 т. и 4 доп.) (руск.). — СПб., 1890—1907.
- MacDuffee C. C.. Arithmetic . Encyclopædia Britannica. Архівавана з першакрыніцы 27 мая 2012. Праверана 20 сакавіка 2012. (англ.)
- Арифметика . Большая советская энциклопедия. Архівавана з першакрыніцы 3 лістапада 2012. Праверана 20 студзеня 2013.
- Арнольд 1938, с. 3—5.
- Понтрягин 1986, с. 4—6.
- Беллюстин В. Глава 12. Число и порядок действий, знаки и определения // Как постепенно дошли люди до настоящей арифметики. — М.: Типография К. Л. Меньшова, 1909.
- Депман 1965, с. 195—199.
- Арнольд 1938, с. 151—156.
- Алгебра . Большая советская энциклопедия. Архівавана з першакрыніцы 1 лютага 2013. Праверана 20 студзеня 2013.
- Депман 1965, с. 21—25.
- Депман 1965, с. 129—130.
- История математики, т. I 1970, с. 23—24.
- Депман 1965, с. 212—232.
- Депман 1965, с. 204.
- Арифметика 1951, с. 142.
- Клейн 1987, с. 23—26.
- Клейн 1987, с. 26—35.
- Арифметика 1951, с. 77—79.
- Клейн 1987, с. 37—44.
- Арифметика 1951, с. 157.
- Клейн 1987.
- Арифметика 1951, с. 172—178.
- Арифметика 1951, с. 188—201.
- Арифметика 1951, с. 227.
- Клейн 1987, с. 35—36.
- Клейн 1987, с. 23—25.
- Арифметика . Энциклопедия Кольера. Архівавана з першакрыніцы 1 лютага 2013. Праверана 20 студзеня 2013.
- Кнут, с. 216.
- История математики, т. II 1970, с. 66—67.
- История математики, т. III 1972, с. 42—45.
- Клейн 1987, с. 45—49.
- Депман 1965, с. 263—267.
- Boyer & Merzbach 2010, Arithmetic and logistic.
- Арифметика 1951, с. 57—71.
- Кнут, с. 216, 221.
- Депман 1965, с. 275—285.
- Клейн 1987, с. 49—57.
- Виноградов И. М. Чисел теория // Математическая энциклопедия. — М.: Советская энциклопедия, 1977. — Т. 5.
- Виноградов И. М. Элементарная теория чисел // Математическая энциклопедия. — М.: Советская энциклопедия, 1977. — Т. 5.
- Арнольд 1938, с. 413—415.
- Аксиоматический метод . Большая советская энциклопедия. Архівавана з першакрыніцы 10 лютага 2013. Праверана 20 студзеня 2013.
- Арифметика 1951, с. 100—107.
- Депман 1965, с. 117—126.
- Арифметика 1951, с. 135—138.
- Арифметика 1951, с. 139—142.
- Арифметика 1951, с. 133.
- Арифметика 1951, с. 150—151.
- Арифметика 1951, с. 172—179.
- Арифметика 1951, с. 160—167.
- Депман 1965, с. 258—262.
- Арифметика 1951, с. 188.
- Арифметика 1951, с. 202.
- Арифметика 1951, с. 228.
- Формальная арифметика . Большая советская энциклопедия. Архівавана з першакрыніцы 3 лістапада 2012. Праверана 20 студзеня 2013.
- Avigad 2003, p. 260.
- Нечаев 1975, с. 52—53.
- Нечаев 1975, с. 48.
- Нечаев 1975, с. 68—72.
- История математики, т. I 1970, с. 19—20.
- Депман 1965, с. 49—52.
- История математики, т. I 1970, с. 25.
- История математики, т. I 1970, с. 34.
- История математики, т. I 1970, с. 40.
- История математики, т. I 1970, с. 50.
- История математики, т. I 1970, с. 46—47.
- Депман 1965, с. 53—54.
- История математики, т. I 1970, с. 62.
- История математики, т. I 1970, с. 68—69.
- История математики, т. I 1970, с. 74—76.
- История математики, т. I 1970, с. 73.
- История математики, т. I 1970, с. 144—146.
- Депман 1965, с. 57—58.
- История математики, т. I 1970, с. 178.
- История математики, т. I 1970, с. 160—161.
- История математики, т. I 1970, с. 163—164.
- История математики, т. I 1970, с. 167—169.
- История математики, т. I 1970, с. 183—185.
- История математики, т. I 1970, с. 185.
- История математики, т. I 1970, с. 190—191.
- Депман 1965, с. 72—78.
- История математики, т. I 1970, с. 209—210.
- Депман 1965, с. 90—94.
- История математики, т. I 1970, с. 211—212.
- История математики, т. I 1970, с. 212—214.
- История математики, т. I 1970, с. 218—219.
- История математики, т. I 1970, с. 254—256.
- История математики, т. I 1970, с. 256—257.
- Арифметика 1951, с. 50—57.
- История математики, т. II 1970, с. 34—36.
- История математики, т. III 1972, с. 47—49.
- История математики, т. III 1972, с. 49—52.
- История математики, т. III 1972, с. 52—56.
- История математики, т. III 1972, с. 61—66.
- Боэций. I, 1 // Основы арифметики.
- Примерная основная образовательная программа образовательного учреждения. Начальная школа(недаступная спасылка). Федеральный государственный образовательный стандарт. Архівавана з першакрыніцы 7 снежня 2012. Праверана 5 снежня 2012.
- Примерная основная образовательная программа образовательного учреждения. Начальная школа / сост. Е. С. Савинов. — 4-е. — М.: Просвещение, 2013. — С. 32—35. — 223 с. — ISBN 9785090264167. Архівавана 24 жніўня 2013.
- Клейн 1987, с. 20—23.
- Депман 1965, с. 1—3, 103—109.
- Клейн 1987, с. 37.
- Грамотность, математические способности и навыки решения задач в технологически развитом обществе(недаступная спасылка). Национальный исследовательский университет Высшая школа экономики. Архівавана з першакрыніцы 7 снежня 2012. Праверана 5 снежня 2012.
- Defining Quality in Education (англ.)(недаступная спасылка). ЮНІСЕФ. Архівавана з першакрыніцы 15 кастрычніка 2012. Праверана 5 снежня 2012.
- Education for All Goals (англ.). ЮНЕСКА. Архівавана з першакрыніцы 7 снежня 2012. Праверана 5 снежня 2012.
- История математики, т. I 1970, с. 157.
- Депман 1965, с. 199—203.
- Депман 1965, с. 305.
- Депман 1965, с. 306.
- Liberal Arts . Encyclopædia Britannica. Архівавана з першакрыніцы 27 мая 2012. Праверана 20 сакавіка 2012. (англ.)
- История математики, т. I 1970, с. 259—260.
- История математики, т. I 1970, с. 67.
- История математики, т. I 1970, с. 88—89.
- Семь свободных искусств(недаступная спасылка). Simbolarium. Архівавана з першакрыніцы 27 мая 2012. Праверана 20 сакавіка 2012.
- Меннингер 2011, с. 176—179.
- Арифметика 1951, с. 49.
- Меннингер 2011, с. 82.
Літаратура
Арыфметыка на Вікісховішчы |
- Арнольд И. В. Теоретическая арифметика. — М.: Государственное учебно-педагогическое издательство, 1938. — 481 с.
- Депман И. Я. История арифметики. — М.: Просвещение, 1965. — 400 с. Архівавана 14 мая 2017.
- Клейн Ф. Элементарная математика с точки зрения высшей. — М.: Наука, 1987. — Т. I: Арифметика. Алгебра. Анализ. — 432 с.
- Кнут Д. Э. Арифметика // Искусство программирования. — М. — Т. II. — 830 с.
- Меннингер К. История цифр. Числа, символы, слова. — М.: ЗАО Центрполиграф, 2011. — 543 с. — ISBN 9785952449787.
- Нечаев В. И. Числовые системы. — М.: Просвещение, 1975. — 199 с.
- Понтрягин Л. С. Обобщения чисел. — М.: Наука, 1986. — 120 с. — (Библиотечка «Квант»). Архівавана 18 верасня 2011.
- Серр Ж.-П. Курс арифметики / пер. с франц. А. И. Скопина под ред. А. В. Малышева. — М.: Мир, 1972. — 184 с.
- История математики: в 3 т. / под ред. А. П. Юшкевича . — М.: Наука, 1970. — Т. I: С древнейших времён до начала Нового времени.
- История математики: в 3 т. / под ред. А. П. Юшкевича . — М.: Наука, 1970. — Т. II: Математика XVII столетия.
- История математики: в 3 т. / под ред. А. П. Юшкевича . — М.: Наука, 1972. — Т. III: Математика XVIII столетия.
- Энциклопедия элементарной математики. Книга первая. Арифметика / под ред. П. С. Александрова, А. И. Маркушевича и А. Я. Хинчина . — М.—Л.: Гос. издат. технико-теоретической литературы, 1951. — 448 с. Архівавана 2 сакавіка 2015.
Вікіпедыя, Вікі, кніга, кнігі, бібліятэка, артыкул, чытаць, спампоўваць, бясплатна, бясплатна спампаваць, mp3, відэа, mp4, 3gp, jpg, jpeg, gif, png, малюнак, музыка, песня, фільм, кніга, гульня, гульні, мабільны, тэлефон, Android, iOS, Apple, мабільны тэлефон, Samsung, iPhone, Xiomi, Xiaomi, Redmi, Honor, Oppo, Nokia, Sonya, MI, ПК, Інтэрнэт, кампутар
Aryfme tyka star grech ἀri8mhtikh ad ἀri8mos lik razdzel matematyki yaki vyvuchae liki ih adnosiny i ylascivasci Pradmetam aryfmetyki z yaylyaecca panyacce liku y razvicci yyaylennyay ab im naturalnyya celyya i racyyanalnyya rechaisnyya kampleksnyya liki i yago ylascivascyah U aryfmetycy razglyadayucca vymyarenni vylichalnyya aperacyi skladanne adnimanne mnozhanne dzyalenne i pryyomy vylichennyay Vyvuchennem ulascivascej asobnyh celyh likay zajmaecca vyshejshaya aryfmetyka ci teoryya likay Tearetychnaya aryfmetyka nadae yvagu aznachennyu i analizu panyaccya liku tady yak farmalnaya aryfmetyka aperue lagichnymi pabudovami predykatay i aksiyom Aryfmetyka najstarazhytnejshaya i adna z asnoynyh matematychnyh navuk yana cesna zvyazana z algebraj geametryyaj i teoryyaj likay Aryfmetyka XVI st Prychynaj stala praktychnaya patreba y najprascejshyh vymyarennyah i vylichennyah Navuka razvivalasya razam z rostam skladanasci zadach yakiya patrabavali rashennya Vyaliki yklad u razviccyo aryfmetyki ynesli u tym liku filosafy yakiya sprabavali z dapamogaj likay spascignuc i apisac use zakanamernasci svetu U Syaredniya vyaki aryfmetyku adnosili usled za neaplatonikami da tak zvanyh Syami volnyh mastactvay Asnoynymi ablascyami praktychnaga prymyanennya aryfmetyki tady byli gandal navigacyya budaynictva U suvyazi z getym asablivae znachenne atrymali pryblizhanyya vylichenni iracyyanalnyh likay neabhodnyya y pershuyu chargu dlya geametrychnyh pabudoy Asabliva burna aryfmetyka razvivalasya y i adkul navejshyya dasyagnenni matematychnaj dumki pranikli y Zahodnyuyu Eyropu Z nadyhodam Novaga chasu marahodnaya astranomiya mehanika bolsh skladanyya kamercyjnyya razliki pastavili novyya zaprosy da tehniki vylichennyay i padshturhnuli da dalejshaga razviccya aryfmetyki U pachatku XVII st vynajshay lagaryfmy a zatym Ferma vydzeliy teoryyu likay u samastojny razdzel aryfmetyki K kancu stagoddzya sfarmiravalasya yyaylenne ab iracyyanalnym liku yak ab paslyadoynasci racyyanalnyh pryblizhennyay a na pracyagu nastupnaga stagoddzya dzyakuyuchy pracam Lamberta Ejlera Gausa aryfmetyka yklyuchyla y syabe aperacyi z kampleksnymi velichynyami nabyyshy suchasnae ablichcha Nastupnaya gistoryya aryfmetyki adznachana krytychnym peraglyadam yae asnoy sprobami yae abgruntavannya Tearetychnyya abgruntavanni yyaylennya ab liku zvyazanyya y pershuyu chargu sa strogim aznachennem naturalnaga liku i aksiyomami Peana sfarmulyavanymi y 1889 godze farmalnaj pabudovy aryfmetyki byla pakazana u 1936 godze Asnovam aryfmetyki zdayna i nyazmenna nadaecca vyalikaya yvaga y Pradmet aryfmetykiDzhuzepe Peana y 1889 godze sfarmulyavay aksiyomy naturalnyh likay Pradmetam aryfmetyki z yaylyayucca likavyya mnostvy ulascivasci likay i dzeyanni nad likami Da yae taksama adnosyac pytanni zvyazanyya z tehnikaj lichennya vymyarennyami pahodzhannem i razviccyom panyaccya liku Aryfmetyka vyvuchae naturalnyya i racyyanalnyya liki ci droby Na asnove aksiyamatychnaj struktury mnostva naturalnyh likay azhyccyaylyaecca pabudova inshyh likavyh mnostvay uklyuchayuchy celyya rechaisnyya i kampleksnyya liki pravodzicca ih analiz Chasam u ramkah aryfmetyki razglyadayuc taksama i inshyya Razam z tym z vynikae shto pashyryc panyacce liku za granicy kampleksnaj ploskasci bez straty nejkih yago aryfmetychnyh ulascivascej nemagchyma Da asnoynyh dzeyannyay nad likami adnosyac skladanne adnimanne mnozhanne i dzyalenne radzej uzvyadzenne y stupen zdabyvanne koranya i rashenne likavyh uraynennyay Gistarychna spis aryfmetychnyh dzeyannyay taksama yklyuchay ulasna padvaenne akramya mnozhannya dzyalenne na dva i dzyalenne z astachaj akramya dzyalennya poshuk sumy aryfmetychnaj i geametrychnaj pragresij u svayoj knize Lagistychnae mastactva razdzyaliy aryfmetychnyya dzeyanni pa stupenyah Na samaj nizkaj stupeni znahodzyacca skladanne i adnimanne na nastupnaj mnozhanne i dzyalenne dalej uzvyazdzenne y stupen i zdabyvanne karanyoy Vyadomy metadyst da aperacyj trecyaj stupeni adnosiy taksama lagaryfmavanne Tradycyjna aryfmetykaj nazyvayuc vykananne aperacyj nad roznymi ab ektami yak to aryfmetyka aryfmetyka matryc Ulasna matematychnaya razliki i vymyarenni neabhodnyya dlya praktychnyh patreb yak to pracenty trajnoe pravila angl adnosyac da nizhejshaj ci praktychnaj aryfmetyki tady yak lagichny analiz panyaccya liku adnosyac da tearetychnaj aryfmetyki Ulascivasci celyh likay dzyalenne ih na chastki pabudova neparyynyh drobay uvahodzyac u teoryyu likay yakuyu doygi chas lichyli vyshejshaj aryfmetykaj Aryfmetyka taksama cesna zvyazana z algebraj yakaya vyvuchae ylasna bez uliku asablivascej i ylascivascej likay Takiya aryfmetychnyya dzeyanni yak uzvyadzenne y stupen i zdabyvanne karanyoy z yaylyayucca tehnichnaj chastkaj algebry U getym klyuchy usled za Nyutanam i Gausam algebru prynyata lichyc abagulnennem aryfmetyki Uvogule kazhuchy vyraznyh granic pamizh aryfmetykaj elementarnaj algebraj i teoryyaj likay ne isnue U VSE skazana Algebra vyvuchae karystayuchysya litarnymi abaznachennyami agulnyya ylascivasci likavyh sistem i agulnyya metady rashennya zadach pry dapamoze yraynennyay aryfmetyka zajmaecca pryyomami vylichennyay z kankretna zadadzenymi likami a y svaih bolsh vysokih ablascyah gl Likay teoryya bolsh tonkimi indyvidualnymi ylascivascyami likay Yak i inshyya aryfmetyka sutykaecca z pryncypovymi prablemami dlya yae neabhodna dasledavanne pytannyay i paynaty aksiyom Lagichnymi pabudovami farmalnaj sistemy predykatay i aksiyom aryfmetyki zajmaecca Najprascejshyya panyacciParadkavae lichenne naturalnyya liki Adzin yablyk dva yablyki try yablyki Naturalnyya likiAsnoyny artykul Naturalny lik Samym prostym aryfmetychnym panyaccem z yaylyaecca paradkavae lichenne Ab ektam lichennya sluzhacb roznyya elementy ci ih mnostvy napryklad yablyki i koshyki yablykay Z dapamogaj paradkavaga lichennya mozhna elementy i abaznachyc ih Paradkavae lichenne zvyazana z lichennem grupami yakiya ytrymlivayuc peynuyu roynuyu kolkasc elementay napryklad lichenne dzyasyatkami yablykay Zvychajna geta palcy na dzvyuh rukah asnova roynaya 10 displaystyle 10 ale y gistarychnyh krynicah sustrakayucca grupoyki pa 5 11 12 20 40 60 80 displaystyle 5 11 12 20 40 60 80 Kolkasc elementay u grupe sluzhac asnovaj dlya sistemy zlichennya Likavy rad yaki atrymlivaecca pry lichenni nazyvayuc naturalnym a yago elementy naturalnymi likami Panyacce naturalnaga rada ypershynyu payavilasya y pracah grechaskaga matematyka y I st n e a naturalnaga liku u rymskaga aytara Baecyya y kancy V pachatku VI st Useagulnae yzhyvanne termina pachynaecca z rabot D Alambera y XVIII st Arhimed u svayoj raboce Psamit adznachyy shto likavy rad mozhna pracyagvac neabmezhavana ale razam z tym zayvazhyy shto dlya realnyh zadach dastatkova nevyalikaga adrezka Dzyalenne naturalnyh likay na prypisvayuc pifagarejcam yano taksama yosc u egipeckim Pifagarejcy taksama vyznachyli prostyya i sastaynyya liki Skladanne mnozhenne uzvyadzenne y stupen 3 2 5 displaystyle 3 2 5 Asnoynyya artykuly Skladanne Mnozhanne i Uzvyadzenne y stupen Dlya naturalnyh likay naturalnym chynam vyznachany aperacyi skladannya i mnozhannya Pry ab yadnanni dvuh naboray yakiya ytrymlivayuc nekatoruyu kolkasc pradmetay novy nabor budze mec stolki pradmetay kolki bylo y pershyh dvuh naborah razam Kali pershy nabor utrymlivay 3 displaystyle 3 pradmety a drugi 2 displaystyle 2 pradmety to ih suma budze ytrymlivac 2 3 5 displaystyle 2 3 5 pradmetay Apisanae dzeyanne nosic nazvu skladannya i z yaylyaecca najprascejshaj binarnaj aperacyyaj Dlya praverki karektnasci sumy tablicu skladannya znac ne abavyazkova dosyc peralichyc pradmety Shmatkratnae skladanne elementay nekalkih adnolkavyh mnostvaz ne zalezhyc ad paradku getyh mnostvay shto dazvolila vyznachyc druguyu binarnuyu aperacyyu mnozhanne Akramya mnozhannya u starazhytnasci vydzyalyalasya asobnae aryfmetychnae dzeyanne padvaenne ci mnozhanne na dva Pa analogii z vyznachennem mnozhannya ceraz skladanne mnogarazovae mnozhanne dazvalyae vyznachyc aperacyyu yzvyadzennya y stupen Asnoynyya zakony aryfmetyki Peramyashchalny zakon mnozhannyaAsnoynyya artykuly Kamutatyynaya aperacyya Asacyyatyynaya aperacyya i Dystrybutyynasc Pra ylascivasci getyh aperacyj sfarmulyavany pyac zakonay yakiya lichacca asnoynymi zakonami aryfmetyki Kamutatyynasc peramyashchalny zakon skladannya gavoryc shto ad zmeny mescay skladnikay suma ne myanyaecca Analagichny zakon vyadomy i dlya mnozhannya ale yon kanechne gavoryc ab mnozhnikah i zdabytku Getyya zakony mozhna vyrazic u algebraichnaj forme z dapamogaj litarnyh abaznachennyay a b b a displaystyle a b b a a b b a displaystyle a cdot b b cdot a Asacyyatyynasc spaluchalny zakon skladannya gavoryc shto skladvayuchy nekalki skladnikay mozhna grupavac ih u lyubym paradku Analagichny zakon dlya mnozhannya gavoryc ab peramnazhenni mnozhnikay Getyya zakony taksama mozhna zapisac u algebraichnaj forme a b c a b c displaystyle a b c a b c a b c a b c displaystyle a cdot b cdot c a cdot b cdot c Dystrybutyynasc razmerkavalny zakon kazha kab pamnozhyc sumu na lik mozhna pamnozhyc kozhny skladnik na gety lik i potym sklasci atrymanyya zdabytki U algebraichnaj forme a b c a c b c displaystyle a b cdot c a cdot c b cdot c Akramya asnoynyh zakonay aryfmetyki dlya naturalnyh likay vykonvayucca taksama zakony manatonnasci skladannya i mnozhannya yakiya y algebraichnaj forme zapisvayucca tak a b gt a c displaystyle a b gt a c pry b gt c displaystyle b gt c a b gt a c displaystyle a cdot b gt a cdot c pry b gt c displaystyle b gt c i a gt 0 displaystyle a gt 0 Termin kamutatyyny dlya peramyashchalnaga zakona yvyoy u 1814 godze francuzski matematyk Termin asacyyatyyny dlya spaluchalnaga zakona yvyoy u 1853 godze Gamiltan Puankare razglyaday use aryfmetychnyya aperacyi i zakony z poglyadu intuicyi Scvyardzhayuchy shto zakony vidavochnym chynam vykonvayucca dlya malyh likay i vykarystoyvayuchy pravila indukcyi mozhna pryjsci da vyvadu shto yany vykonvayucca dlya ysih likay Pry inshym padyhodze intuityyna vernymi lichacca ne yse a tolki samyya prostyya zakony tady yak dalejshy dokaz zvyazany z lagichnymi pabudovami Za vidavochnyya prynimalisya peramyashchalny i spaluchalny zakony Razmerkavalny ci dystrybutyyny zakon u svaih Pachatkah dokazvay yashche Eyklid karystayuchysya geametrychnym metadam Aperacyya yzvyadzennya y stupen uzho ne kamutatyynyya i ne asacyyatyynaya u yae svae pravily Asnoynyya pravily vykanannya getaj aperacyi pry dadatnyh stupenyah vidavochnym chynam vynikayuc z yae aznachennya U algebraichnaj forme ih mozhna zapisac nastupnym chynam Dystrybutyynasc razmerkavalny zakon dlya aperacyi yzvyadzennya y stupen an m anam displaystyle a n m a n a m yon zha u vypadku adnimannya nabyvae formu drobu an m anam n gt m displaystyle a n m a n over a m quad n gt m Paytornae yzvyadzenne y stupen raskryvaecca yak peramnazhenne stupenej an m anm displaystyle left a n right m a nm Advarotnyya aperacyi Va ysih aperacyj aryfmetyki yosc advarotnyya u skladannya adnimanne u mnozhannya dzyalenne va yzvyadzennya y stupen aryfmetychny koran i lagaryfm Toe shto y skladannya i mnozhannya pa adnoj advarotnaj aperacyi nyagledzyachy na ih binarnasc tlumachycca ih kamutatyynascyu Adnimanne admoynyya liki Asnoynyya artykuly Adnimanne Admoyny lik i Cely lik 5 2 3 displaystyle 5 2 3 Adnimanne geta aperacyya advarotnaya skladannyu roznascyu dvuh likay 5 displaystyle 5 i 2 displaystyle 2 z yaylyaecca nevyadomaya z uraynennya 2 5 displaystyle 2 5 Abaznachaecca aperacyya adnimannya znakam i zapisvaecca y vyglyadze 5 2 3 displaystyle 5 2 3 Dlya vykanannya aperacyi prymyanyali dva pryyomy adlichvanne ad pamyanshaemaga liku adzinak adnimaemaga ci padbor takoga liku prybaylenne yakoga da adnimaemaga davala by pamyanshaemae Aperacyya adnimannya kali yae prymyanyac da ysih par naturalnyh likay a ne tolki da takih yakiya magli b byc sumaj i skladnikam u ramkah aperacyi skladannya dazvalyae vyjsci za granicy naturalnaga rada g zn roznasc dvuh naturalnyh likay ne abavyazkova budze naturalnym likam u vyniku adnimannya mozha atrymacca nul ci yvogule admoyny lik Admoynyya liki yzho nemagchyma razglyadac yak kolkasc pradmetay na likavaj vosi yany razmyashchayucca zleva ad nulya Mnostva likay atrymanae dabaylennem da naturalnyh likay admoynyh likay i liku nul nosic nazvu mnostva celyh likay Nul i mnostva naturalnyh likay nazyvayucca dadatnyya celyya liki Pry mnozhanni kab vyznachyc dadatnym ci admoynym budze zdabytak likay karystayucca pravilam znakay Admoynyya liki lichyli nesapraydnymi i bessensoynymi velmi mnogiya matematyki azh da XIX st shto adnak ne zaminala ih paysyudnamu farmalnamu yzhyvannyu Upershynyu panyacce admoynyh likay payavilasya y Indyi dze ih tlumachyli yak doyg dadatnyya liki mayomasc Raspaysyudzilisya zh admoynyya liki tolki y XVII st Termin adnimanne payaviysya yashche y Baecyya terminy adnimaemae i pamyanshaemae yvyoy va yzhytak Volf u 1716 godze roznasc Vidman u 1489 godze Suchasnyya abaznachenni znakami i taksama yvyoy Vidman u kancy XV st Dzyalenne racyyanalnyya liki Asnoynyya artykuly Dzyalenne matematyka i Racyyanalny lik Dzyalenne 20 na 4 Advarotnaj da aperacyi mnozhannya z yaylyaecca aperacyya dzyalennya Pershae vyznachenne dzyalennya geta poshuk liku yaki ytrymlivaecca y dzyalimym stolki razoy kolki adzinak utrymlivaecca y dzelniku Takoe aznachenne dadzena y padruchnikah aryfmetyki XIV st Napryklad 20 4 5 displaystyle 20 4 5 Dzyalenne lichylasya velmi skladanaj i gruvastkaj aperacyyaj Suchasny sposab dzyalennya yaki vykarystoyvae chastkovyya zdabytki dzelnika na asobnyya razrady dzeli pradstaylen u italyanskim rukapise 1460 goda Dlya naturalnyh likay yakiya ne z yaylyayucca mnozhnikam i zdabytkam vyadoma aperacyya dzyalenne z astachaj a aznachenne ylasna astachy ad dzyalennya taksama nazyvaecca dzyalenne pa modulyu Taksama isnue mnostva sposabay yakiya sprashchayuc dzyalenne y roznyh asobnyh vypadkah ci na toj ci inshy lik Napryklad lik bez astachy dzelicca na dva kali yago aposhnyaya lichba y dzesyatkovym zapise dzelicca na dva lik bez astachy dzelicca na try kali suma ysih yago lichbay u dzesyatkovym zapise dzelicca na try lik bez astachy dzelicca na dzesyac kali yago aposhnyaya lichba y dzesyatkovym zapise nul Aperacyya dzyalennya kali dzyalic ne tolki tyya liki yakiya mozhna atrymac mnozhannem naturalnyh likay i pry getym ne vydzyalyac astatak taksama yak i adnimanne dazvalyae vyjsci za granicy mnostva naturalnyh likay Pry dzyalenni moguc atrymacca droby yakiya nemagchyma bez astachy skaracic da celaga Liki yakiya adpavyadayuc takim drobam nazyvayucca racyyanalnymi Za kosht usvedamlennya zasnavanyh na dzyalenni racyyanalnyh likay adbyvaecca yashche adno pashyrenne naboru vyadomyh viday likay Gistarychna spachatku yznikla panyacce drobu a zatym admoynaga liku Taki zh paradak prynyaty y shkolnym kurse Uzhyvaecca dzve formy zapisu drobay u vyglyadze lichnika i nazoynika razdzelenyh garyzantalnaj ci nahilenaj rysaj i chasta skarochanyh da yzaemna prostyh likay i y vyglyadze lichbay drobnaj chastki razmeshchanyh paslya znaka y pazicyjnaga zapisu liku Napryklad vynik dzyalennya 10 na 20 mozhna zapisac yak 1020 10 20 5 10 1 2 0 5 displaystyle frac 10 20 10 20 5 10 1 2 0 5 Likavaya vosUzyacce koranya iracyyanalnyya i kampleksnyya liki Asnoynyya artykuly Koran matematyka Lagaryfm Iracyyanalny lik Kampleksny lik i Rechaisny lik Adna z dzvyuh advarotnyh dlya yzvyadzennya y stupen aperacyj uzyacce koranya Geta poshuk liku yaki pry yzvyadzenni y adpavednuyu stupen budze davac vyadomy vynik G zn kazhuchy algebraichna geta poshuk koranya dlya yraynennya vidu xa b displaystyle x a b Drugaya advarotnaya aperacyya lagaryfm geta koran uraynennya vidu ax b displaystyle a x b Da aryfmetyki yak pravila adnosyac tolki vylichenne koranya drugoj stupeni kvadratnaga koranya Karani inshyh stupenej i lagaryfmy aryfmetychnymi aperacyyami ne lichacca Aperacyya vylichennya koranya kali vykonvac yae ne tolki dlya tyh likay yakiya mozhna atrymac uzvyadzennem u stupen naturalnyh likay taksama yak i astatniya advarotnyya aperacyi dazvalyae vyjsci za granicy mnostva naturalnyh likay Liki yakiya atrymlivayucca pry getym chasta nelga pradstavic u vyglyadze kanechnyh racyyanalnyh drobay i tamu yany nazyvayucca iracyyanalnymi Mnostva likay atrymanae dabaylennem k racyyanalnym likam iracyyanalnyh nazvali rechaisnymi ci sapraydnymi likami Yashche y Starazhytnaj Grecyi bylo vyadoma pra isnavanne prynamsi na prykladze staron i dyyaganali kvadrata sa staranoj prynyataj za adzinku i azhyccyaylyalisya sproby atrymac dlya ih dakladnyya likavyya znachenni shto znajshlo adlyustravanne y Pachatkah Eyklida Rechaisnyya liki stali ab ektam dasledavannyay tolki y XVII XVIII st U drugoj palavine XIX st Dedekind Kantar i Veershtras sfarmulyavali svae Dlya aperacyi zdabyvannya koranya vyadoma nastupnae pravila anm anm displaystyle a n over m sqrt m a n Dalejshae pashyrenne mnostva likay bylo zvyazana z nemagchymascyu zdabyccya kvadratnaga koranya z admoynaga liku Z padobnaj zadachaj sutykalisya y starazhytnasci pry rashenni kvadratnyh uraynennyay i takiya yraynenni prosta lichyli nevyrashalnymi U pershaj palavine XVI st stali vyrazhac rashenni takih uraynennyay ceraz karani z admoynyh likay i nazyvac takiya karani uyaynymi nemagchymymi i t d Praktychnaya aryfmetykaPraktychny bok aryfmetyki yklyuchae y syabe metady shemy i algarytmy dlya azhyccyaylennya dakladnyh aryfmetychnyh dzeyannyay u tym liku vykarystanne lichylnyh mashyn i inshyh prylad a taksama roznyya pryyomy pryblizhanyh vylichennyay yakiya z yavilisya ad nemagchymasci atrymac dakladny vynik pry nekatoryh vymyarennyah i dazvalyayuc vyznachyc yago paradak g zn pershyya znachnyya lichby Najprascejshyya lichylnyya prylady Rymski abak lichylniki Dakladnyya metady Pachynayuchy z XV st prapanoyvalisya roznyya algarytmy dlya azhyccyaylennya aryfmetychnyh aperacyj nad mnogarazradnymi likami yakiya adroznivayucca haraktaram zapisu pramezhkavyh vylichennyay Aryfmetychnyya algarytmy pabudavany na yzhyvaemaj pazicyjnaj sisteme zlichennya kali lyuby dadatny rechaisny lik x displaystyle x adnaznachna zapisvaecca y vyglyadze x an 1an 2 a1a0 a 1a 2 b k n 1akbk displaystyle x a n 1 a n 2 dots a 1 a 0 a 1 a 2 dots b sum k infty n 1 a k b k dze a displaystyle a chargovaya lichba zapisu liku x displaystyle x b displaystyle b asnova sistemy zlichennya n displaystyle n kolkasc razraday celaj chastki liku x displaystyle x Use dzeyanni nad likami gruntuyucca na tablicah skladannya i mnozhannya da dzesyaci i asnoynyh aryfmetychnyh zakonah U yakasci ilyustracyi vyadomy papulyaryzatar navuki Klejn pryvodzic nastupny pryklad 7 12 7 10 2 70 14 70 10 4 70 10 4 80 4 84 displaystyle 7 cdot 12 7 cdot 10 2 70 14 70 10 4 70 10 4 80 4 84 u yakim vykarystoyvayucca razmerkavany i spaluchalny zakony Patreba y bystryh i dakladnyh vylichennyah pryvyala da stvarennya najprascejshyh lichylnyh prylad abaka ci lichylnikay shchotay Nastupnym krokam bylo stvarenne Oytredam u 1622 godze lagaryfmichnaj linejki yakaya dazvalyae azhyccyaylyac mnozhanne i dzyalenne Kamp yutarnaya aryfmetyka Kopiya vylichalnaj mashyny Shykarda Knut lichyy aryfmetychnyya dzeyanni udzelam kamp yutaray Pershyya yakiya dazvalyali mehanizavac chatyry aryfmetychnyya dzeyanni byli skanstruyavany y XVII st Aryfmetychnaya mashyna yak yon sam yae nazyvay byla pabudavana y 1623 godze Aperacyi skladannya i adnimannya pravodzilisya shlyaham kruchennya cylindray specyyalnyya cylindry byli taksama dlya mnozhannya i dzyalennya Akramya tago mashyna magla peranosic dzyasyatki Paskalya byla raspracavana im u 1642 godze y pomach backu y vykananni finansavyh razlikay Yana mela toj zha pryncyp dzeyannya shto i mashyna Shykarda Asnoynuyu chastku mashyny skladay mehanizm peranosu dzyasyatkay Razam z tym ramesny vyrab takih mashyn usyo yashche zastavalasya nyavygadnym Sproby ydaskanalic aryfmometr pracyagvalisya ysyo XVIII stagoddze ale tolki y XIX st uzhyvanne nabylo shyrokuyu raspaysyudzhanasc U XX st na zmenu aryfmometram pryjshli elektronnyya vylichalnyya mashyny U ih asnove lyazhac algarytmy yakiya vykarystoyvayuc najmenshy lik dlya vykanannya aryfmetychnyh dzeyannyay yklyuchae algarytmy vykanannya aperacyj nad drobami i velmi Vymyarenne Akramya pradmetay yakiya mozhna peralichyc isnuyuc pradmety yakiya mozhna vymerac u pershuyu chargu geta dayzhynya i masa Yak i pry lichenni pershymi merami dayzhyni y chalaveka byli palcy ruk Zatym adleglasc stali merac krokami dvajnymi krokami milyami tysyacha dvajnyh krokami Akramya tago dlya vymyarennya dayzhyni vykarystoyvali lokci daloni sazhni dzyujmy U roznyh regiyonah ustanaylivalisya svae sistemy mer yakiya redka byli kratnyya dzesyaci Mnagastajnasc mer v pryvatnasci dazvalyala abyscisya bez vykarystannya drobay Targovaya aryfmetyka yklyuchala y syabe ymenne aperyravac velichynyami grashovymi adzinkami adzinkami mer i vagay u nedzesyatkovaj sisteme zlichennya U kancy XVIII st francuzskim revalyucyjnym uradam na asnove chasovaga a zatym i arhiynaga zakonam 10 snezhnya 1799 goda metra byla prynyata metrychnaya sistema mer kanchatkova Francyya perajshla na yae z 1 studzenya 1840 goda Razam z metram byy vyznachan i kilagram U asnove metrychnaj sistemy lyazhyc dzesyatkovaya sistema Imenna getaya akalichnasc dazvolila metrychnaj sisteme raspaysyudzicca amal na yves svet vyklyuchenne skladayuc Vyalikabrytaniya i ZShA Pa ykazu specyyalnaga razmeshchanaga y Paryzhy u 1888 godze sa splavu placiny i irydyyu byli zrobleny mizhnarodny metr i mizhnarodny kilagram etalony mer i vagay Akramya mer chasu i vugla use astatniya adzinki mer taksama zvyazanyya z dzesyatkovaj sistemaj Pryblizhanyya metady Gistarychna pryblizhanyya vylichenni yznikli pry poshuku dayzhyni dyyaganali adzinkavaga kvadrata ale atrymali shyrokae raspaysyudzhanne pry perahodze da dzesyatkovaj sistemy i vykarystanni kanechnyh zamest iracyyanalnyh likay i likay vyrazhanyh beskanechnym peryyadychnym drobam Dlya acenachnyh vylichennyay vykarystoyvayuc u pershuyu chargu zakony manatonnasci Napryklad kab vyznachyc paradak zdabytku 567 134 displaystyle 567 cdot 134 mozhna vykarystac nastupnuyu acenku 560 130 lt 567 134 lt 570 140 displaystyle 560 cdot 130 lt 567 cdot 134 lt 570 cdot 140 Teoryya likayTeoryya likay ci vyshejshaya aryfmetyka geta navuka ab celyh likah yakaya yznikla z aryfmetychnyh zadach zvyazanyh z dzyalimascyu likay mae spravu z prablemami yakiya rashayucca elementarnymi metadami zvychajna bez vykarystannya yyaynyh likay Da yae adnosyac teoryyu dzyalimasci teoryyu paraynannyay nyavyznachanyya yraynenni pryblizhenni racyyanalnymi likami lancugovyya droby pra adnaznachnasc raskladannya liku na prostyya mnozhniki taksama z yaylyaecca chastkaj elementarnaj teoryi likay Asobnyya padklasy celyh likay takiya yak prostyya sastaynyya daskanalyya liki byli vydzeleny yashche starazhytnymi grekami Yany vyveli formuly dlya vyznachennya pifagoravyh troek najbolshaga agulnaga dzelnika pakazali beskanechnasc kolkasci prostyh likay Dyyafant pravyoy sistematyzacyyu zadach zvyazanyh z celymi likami Raboty Dyyafanta byli pracyagnuty Ferma y XVII i Ejleram u XVIII st Ferma zajmaysya rashennem uraynennyay u celyh likah i sfarmulyavay bez dokazu maluyu i vyalikuyu tearemy Ferma Ejler pracyagvayuchy dasledavanni Ferma dakazay maluyu tearemu i asobny vypadak vyalikaj tearemy Ferma Yon upershynyu prymyaniy matematychny analiz dlya rashennya zadach teoryi likay i stvaryy Ejler vyznachyy na asnove yakih byli pabudavanyya krugavy metad i Cyaper akramya elementarnaj i analitychnaj teoryi likay isnuyuc takiya razdzely yak adytyynaya algebraichnaya imavernasnaya metrychnaya teoryya likay Tearetychnaya aryfmetykaU suchasnaj matematycy pradstaylyae saboj vybar bazavyh ulascivascej ci aksiyom z yakih patrabuecca vyvesci yse palazhenni teoryi ci tearemy z dapamogaj agulnaprynyataj logiki Tearetychnaya pabudova aryfmetyki aperyrue algebraichnymi panyaccyami Skladanasc vydzyalennya asnoynyh aznachennyay aryfmetyki zvyazana z prostascyu yae nachalnyh palazhennyay Peana asceragayuchysya pamylkovaga asacyyatyynaga rada pry vykarystanni sloy pravodziy dokazy vyklyuchna na move simvalay abapirayuchysya tolki na prynyatyya im papyaredniya palazhenni Kantar i Dedekind zvyazali liki z mnostvami i abstraktnymi adnosinami nad imi Teoryya mnostvay razglyadae aryfmetychnyya dzeyanni yak asablivyya adnosiny pamizh trojkami elementay u yakih adzin element vyznachaecca ceraz dva inshyya ci Kazhuchy pra teoryyu mnostvay Klejn zayvazhyy shto pry takim padyhodze razviccyo teoryi stanovicca adcyagnutym i mala dastupnym Naturalnyya liki U 1810 godze cheshski matematyk Balcana vyznachyy dzeyanne skladannya dlya naturalnyh likay Nezalezhna ad yago padobnae aznachenne dali nyameckiya matematyki u 1861 godze i Gankel u 1869 godze Enciklopediya elementarnoj matematiki prapanue nastupnae aznachenne skladannya naturalnyh likay Aznachenne Skladennem naturalnyh likay nazyvaecca takaya adpavednasc yakaya kozhnaj pary naturalnyh likay a displaystyle a i b displaystyle b supastaylyae adzin i tolki adzin naturalny lik a b displaystyle a b i valodae nastupnymi ylascivascyami a 1 a displaystyle a 1 a dlya lyuboga a displaystyle a a b a b displaystyle a b a b dlya lyubyh a displaystyle a i b displaystyle b Skladanne naturalnyh likay zaysyody azhyccyavimae i adnaznachnae Mnozhanne yak i skladanne vyznachyli nezalezhna Balcana Grasman i Gankel Enciklopediya elementarnoj matematiki prapanue nastupnae aznachenne mnozhannya naturalnyh likay Aznachenne Mnozhannem naturalnyh likay nazyvaecca takaya adpavednasc yakaya kozhnaj pary naturalnyh likay a displaystyle a i b displaystyle b supastaylyae adzin i tolki adzin naturalny lik ab displaystyle ab ci a b displaystyle a cdot b i valodae nastupnymi ylascivascyami a 1 a displaystyle a cdot 1 a dlya lyuboga a displaystyle a a b a b a displaystyle a cdot b a cdot b a dlya lyubyh a displaystyle a i b displaystyle b Mnozhanne naturalnyh likay zaysyody azhyccyavimae i adnaznachnae U 1891 godze Peana pradstaviy aksiyomy dlya naturalnyh likay u inshyh krynicah upaminaecca taksama 1889 god Z tae pary aksiyomy zmyanilisya velmi nyaznachna Aznachenne Naturalnymi likami nazyvayucca elementy ysyakaga nepustoga mnostva N displaystyle mathbb N u yakom dlya nekatoryh elementay a displaystyle a i b displaystyle b isnue dachynenne b displaystyle b idze za a displaystyle a dlya yakoga vykonvayucca nastupnyya aksiyomy Isnue lik 1 displaystyle 1 yaki ne idze ni za yakim likam g zn a 1 displaystyle a neq 1 dlya lyuboga liku a displaystyle a Dlya lyuboga liku a displaystyle a isnue nastupny lik a displaystyle a i pry tym tolki adzin g zn z a b displaystyle a b vynikae a b displaystyle a b Lyuby lik idze ne bolsh chym za adnym likam g zn z a b displaystyle a b vynikae a b displaystyle a b Lyuboe mnostva M displaystyle M naturalnyh likay yakoe valodae ylascivascyami 1 displaystyle 1 nalezhyc M displaystyle M i kali lik a displaystyle a nalezhyc M displaystyle M to nastupny lik a displaystyle a taksama nalezhyc M displaystyle M utrymlivae yse naturalnyya liki g zn supadae z N displaystyle mathbb N Celyya liki Enciklopediya elementarnoj matematiki prapanue nastupnae aznachenne adnimannya naturalnyh likay Aznachenne Adnimannem naturalnyh likay nazyvaecca takaya adpavednasc yakaya kozhnaj pary naturalnyh likay a displaystyle a i b displaystyle b supastaylyae lik a b displaystyle a b z nastupnaj ulascivascyu a b b a displaystyle a b b a Adnimanne naturalnyh likay azhyccyavima tolki kali a gt b displaystyle a gt b kali roznasc isnue to yana adnaznachnaya Pashyrenne naturalnyh likay za kosht ulascivascej skladannya i adnimannya pryvodzic da panyaccya celyh likay Aznachenne Kalcom celyh likay nazyvaecca minimalnae kalco Z displaystyle mathbb Z yakoe ytrymlivae mnostva N displaystyle mathbb N usih naturalnyh likay i valodae nastupnymi ylascivascyami Skladanne i mnozhanne naturalnyh likay supadayuc z adnajmennymi aperacyyami nad getymi likami y kalcy Z displaystyle mathbb Z Kalco Z displaystyle mathbb Z ne ytrymlivae netryvialnaga padkalca yakoe ytrymlivala by mnostva N displaystyle mathbb N Elementy kalca Z displaystyle mathbb Z nazyvayucca celymi likami Kalco Z displaystyle mathbb Z isnue i z yaylyaecca adzinym z dakladnascyu da izamarfizma a kozhny yago element roven roznasci naturalnyh likay Pry pabudove kalca vykarystoyvayuc mnostva par naturalnyh likay vidu a b displaystyle a b Dlya par vyznachayuc skladanne i mnozhanne nastupnym chynam a b displaystyle a b ekvivalentna c d displaystyle c d tady i tolki tady kali a d b c displaystyle a d b c a b c d a c b d displaystyle a b c d a c b d a b c d ac bd ad bc displaystyle a b cdot c d ac bd ad bc Racyyanalnyya liki Enciklopediya elementarnoj matematiki prapanue nastupnae aznachenne dzyalennya naturalnyh likay Aznachenne Dzyalennem naturalnyh likay nazyvaecca takaya adpavednasc yakaya kozhnaj pary naturalnyh likay a displaystyle a i b displaystyle b supastaylyae lik a b displaystyle a b i valodae nastupnaj ulascivascyu a b b a displaystyle a b cdot b a Dzyalenne naturalnyh likay azhyccyavima tolki kali a b displaystyle a vdots b a displaystyle a kratna b displaystyle b kali dzel isnue to yana adzinaya Pashyrenne celyh likay za kosht panyaccyay mnozhannya i dzyalennya pryvodzic da aznachennya racyyanalnyh likay Yashche y 1710 godze Volf vykazay patrabavanne shto yzho vyadomyya zakony vykanannya aryfmetychnyh dzeyannyay z celymi likami ne moguc napramuyu prymyanyacca dlya drobay i pavinny byc abgruntavany Sama abgruntavanne bylo raspracavana tolki y XIX st z vykarystannem pryncypa pastayanstva farmalnyh zakonay Aznachenne Polem racyyanalnyh likay nazyvaecca minimalnae pole Q displaystyle mathbb Q yakoe ytrymlivae kalco Z displaystyle mathbb Z celyh likay i valodae nastupnymi ylascivascyami skladanne i mnozhanne celyh likay supadayuc z adnajmennymi aperacyyami nad likami y kalcy Z displaystyle mathbb Z pole Q displaystyle mathbb Q ne ytrymlivae netryviyalnaga padpolya yakoe ytrymlivala by Z displaystyle mathbb Z Elementy polya Q displaystyle mathbb Q nazyvayucca racyyanalnymi likami Pole Q displaystyle mathbb Q isnue i z yaylyaecca adzinym z dakladnascyu da izamarfizma a kozhny yago element roven dzeli celyh likay Yak i dlya celyh likay pry pabudove polya racyyanalnyh likay vykarystoyvayuc mnostva par a b displaystyle a b ale cyaper uzho celyh likay pry getym b 0 displaystyle b neq 0 Dlya par vyznachayuc ekvivalentnasc skladanne i mnozhanne nastupnym chynam a b displaystyle a b ekvivalentna c d displaystyle c d tady i tolki tady kali ad bc displaystyle ad bc a b c d ad bc bd displaystyle a b c d ad bc bd a b c d ac bd displaystyle a b cdot c d ac bd Rechaisnyya liki U drugoj palavine XIX st bylo prapanavana try roznyya tearetychnyya pabudovy sapraydnyh likay Najbolsh papulyarnaj z yaylyaecca pabudova Dedekinda Kantar u svayoj pabudove vykarystoyvay teoryyu granic Aznachenne Polem rechaisnyh likay nazyvaecca neparyynae pole R displaystyle mathbb R yakoe ytrymlivae y yakasci padpolya pole Q displaystyle mathbb Q racyyanalnyh likay Elementy polya R displaystyle mathbb R nazyvayucca rechaisnymi likami Pole R displaystyle mathbb R isnue i z yaylyaecca adzinym z dakladnascyu da izamarfizma a kozhny yago element roven granicy paslyadoynasci racyyanalnyh likay Kampleksnyya liki Aznachenne Polem kampleksnyh likay nazyvaecca minimalnae pole C displaystyle mathbb C yakoe ytrymlivae pole R displaystyle mathbb R rechaisnyh likay i element i displaystyle i taki shto i2 1 displaystyle i 2 1 i valodae nastupnymi ylascivascyami skladanne i mnozhanne celyh likay supadayuc z adnajmennymi aperacyyami nad likami y pole R displaystyle mathbb R pole C displaystyle mathbb C ne ytrymlivae netryviyalnaga padpolya yakoe ytrymlivala by R displaystyle mathbb R Elementy polya C displaystyle mathbb C nazyvayucca kampleksnymi likami Pole C displaystyle mathbb C z yaylyaecca Pry pabudove polya kampleksnyh likay vykarystoyvaecca mnostva a b displaystyle a b Dlya par vyznachayuc ekvivalentnasc skladanne i mnozhanne nastupnym chynam a b displaystyle a b ekvivalentna c d displaystyle c d tady i tolki tady kali a c displaystyle a c i b d displaystyle b d a b c d a c b d displaystyle a b c d a c b d a b c d ac bd bc ad displaystyle a b cdot c d ac bd bc ad Farmalnaya aryfmetykaLogika matematychnaya pabudova nosic nazvu farmalnaj aryfmetyki Perahod da logiki zvyazan z padyhodam shkoly Gilberta yaki razglyaday zamest likay abstrakcyi i merkavay dlya ih vernymi asnoynyya aryfmetychnyya zakony Dlya abgruntavannya aryfmetyki bylo prapanavana nekalki varyyantay aksiyamatyki Akramya sistemy aksiyom Peana u yakoj vyznachanyya i skladanne i mnozhanne isnue u yakoj vyznachana tolki skladanne a taksama aksiyomy u yakih vyznachany skladanne mnozhanne i yzvyadzenne y stupen Chasta y yakasci aksiyom uklyuchayuc use ylascivasci aperacyj Use getyya aksiyamatychnyya teoryi zasnavanyya na mnostve celyh likay i ne yklyuchayuc u syabe Inshyya dasledchyya padyhody vyvodzyac aryfmetyku z aksiyom teoryi mnostvay abo matematychnaj logiki Dlya zruchnasci dasledavannya aksiyomy zapisvayuc na specyyalnaj farmalnaj move Yana ytrymlivae 0 displaystyle 0 likavyya peramennyya simvaly displaystyle cdot i lagichnyya zvyazki amp e displaystyle And leftarrow forall exists lor mathcal e pastulatami z yaylyayucca pastulaty predykatay zlichennya Aksiyoma indukcyi yyaylyae saboj beskanechny nabor aksiyom yaki nelga zamyanic niyakim kanechnym mnostvam U ideale bazavy nabor aksiyom pavinen valodac tryma yakascyami aksiyomy ne pavinny kanfliktavac adna z adnoj syarod aksiyom ne pavinna byc lishnih yakiya lagichna vyvodzyacca z inshyh aksiyom Paynata nabor aksiyom pavinen byc dastatkovy dlya tago kab lyubuyu pravilna sfarmulyavanuyu tearemu mozhna bylo dakazac ci abvergnuc Aryfmetyka naturalnyh likay mae vyalikae znachenne dlya abgruntavannya matematychnyh teoryj z yae nesupyarechlivasci vynikae nesupyarechlivasc aryfmetyki sapraydnyh likay yakaya y svayu chargu dazvalyae karystayuchysya metadam madelej pakazac nesupyarechlivasc eyklidavaj geametryi i Dokazam nesupyarechlivasci aryfmetyki y sisteme Peana i rodnasnyh yoj aksiyamatychnyh sistemah bespaspyahova zajmaysya Gilbert u pachatku XX stagoddzya Paslya adkryccya y 1930 godze stala yasna shto y padobnyh prostyh sistemah geta nemagchyma Dokaz nesupyarechlivasci byy pravedzeny y 1936 godze z vykarystannem raznavidnasci Dlya dasledavannya nezalezhnasci kozhnaya aksiyoma pa charze zamyanyaecca na procilegluyu i zatym buduecca madel dze atrymany nabor aksiyom vykonvaecca Kali zamenenaya aksiyoma zalezhnaya g zn lagichna vycyakae z inshyh aksiyom to zamena yae na procilegluyu vidavochna pryvodzic da supyarechlivaj sistemy aksiyom i pabudova madeli nemagchyma Takim chynam kali madel udaecca pabudavac to adpavednaya aksiyoma nezalezhnaya Takim sposabam bylo dakazana shto yse aksiyomy Peana nezalezhnyya adna ad adnoj Srodkami farmalnaj aryfmetyki yakaya buduecca na aksiyomah Peana mozhna zapisac tearemy teoryi likay yakiya dakazvayucca bez vykarystannya matematychnaga analizu a taksama funkcyi i ih ulascivasci Yana ekvivalentnaya Cermela Frenkelya bez Razam z tym dakazanaya y 1929 godze pakazala shto aksiyamatyka Peana nyapoynaya g zn isnuyuc aryfmetychnyya tearemy yakiya nelga ni dakazac ni abvergnuc U toj chas yak aryfmetyka poynaya adnosna formul vidu x1 xk P Q displaystyle exists x 1 dots exists x k P Q isnuyuc tearemy vidu x1 x9 P Q displaystyle forall x 1 dots forall x 9 P neq Q yakiya scvyardzhayuc praydzivy fakt ale ih nemagchyma vyvesci Udalosya znajsci i kankretnyya pryklady tearem tearema Gudstejna angl Tearema Perysa Haryngtana angl i inshyya GistoryyaAsnoyny artykul Starazhytnyya matematychnyya teksty i sistemy zlichennya Chastka papirusa Rajnda asablivuyu yvagu nadavali vylichennyam i yznikayuchym pry getym skladanascyam ad yakih u mnogim zalezhali metady rashennya zadach Matematychnyya papirusy Starazhytnaga Egipta byli sastayleny dlya navuchalnyh met yany ytrymlivali zadachy z rashennyami dapamozhnyya tablicy i pravily dzeyannyay nad celymi likami i drobami sustrakayucca aryfmetychnyya i geametrychnyya pragresii a taksama yraynenni Egipcyane karystalisya dzesyatkovaj sistemaj zlichennya Egipcyane znali takiya aryfmetychnyya aperacyi yak skladanne padvaenne i dapaynenne drobu da adzinki Lyuboe pamnazhenne na cely lik i dzyalenne bez astachy pravodzilisya z dapamogaj shmatrazovaga paytarennya aperacyi padvaennya shto pryvodzila da gruvastkih vylichennyay u yakih udzelnichali peynyya chleny paslyadoynasci 1 2 4 8 16 displaystyle 1 2 4 8 16 U Egipce znajshli prymyanenni tolki ci doli adzinki 1 n displaystyle 1 n a yse astatniya droby raskladalisya na sumu alikvotnyh Pry vyznachenni ci znahodzhanni starany kvadrata pa yago ploshchy egipcyane sutykalisya z uzvyadzennem u stupen i zdabyvannem koranya hacya nazvy getym aperacyyam yashche ne bylo klinapisnyya matematychnyya teksty vykarystoyvali harakternuyu yashche dlya shumeray i pradstaylyali saboj navuchalnyya dapamozhniki yakiya yklyuchayuc tablicy mnozhannya dlya likay ad 1 displaystyle 1 da 59 displaystyle 59 a taksama tablicy tablicy kvadratay i kuboy likay naturalnaga rada tablicy vylichennya pracentay droby z asnovayu 60 displaystyle 60 Pry rashenni aryfmetychnyh zadach vavilanyane apiralisya na i pragresii Yany znali formulu sumy n displaystyle n chlenay aryfmetychnaj pragresii pravila dlya sumiravannya geametrychnaj pragresii rashali zadachy na pracenty U Vavilone znali mnostva pifagoravyh troek dlya poshuku yakih veragodna karystalisya nevyadomym agulnym pryyomam U celym zadacha znahodzhannya celyh i racyyanalnyh rashennyay uraynennya x2 y2 z2 displaystyle x 2 y 2 z 2 adnosicca da teoryi likay Geametrychnyya zadachy pryvyali da neabhodnasci pryblizhanaga zdabyvannya kvadratnyh karanyoy yakiya yany vykonvali karystayuchysya pravilam a2 r a r2a displaystyle sqrt a 2 r approx a frac r 2a i iteracyjnymi metadami dlya dalejshaga pryblizhennya vyniku List z Aryfmetyki Dyyafanta rukapis XIV st U verhnim radku zapisana yraynenne x3 8 x2 16 x3 displaystyle x 3 cdot 8 x 2 cdot 16 x 3 Najstarazhytnejshyya teksty adnosyacca da XIV VII st da n e Pershapachatkova greki karystalisya atychnaj numaracyyaj yakuyu z chasam zamyanila kampaktnaya litarnaya ci ianichnaya Razviccyo starazhytnagrechaskaj aryfmetyki nalezhyc Pifagarejcy merkavali spachatku shto adnosinu lyubyh dvuh adrezkay mozhna vyrazic ceraz adnosinu celyh likay g zn geametryya pradstaylyala saboj aryfmetyku racyyanalnyh likay Yany razglyadali tolki celyya dadatnyya liki i vyznachali lik yak zbor adzinak Vyvuchayuchy ylascivasci likay yany razbili ih na yak prykmeta dzyalimasci na dva prostyya i sastaynyya znajshli beskanechnae mnostva pifagoravyh troek U 399 godze da n e z yavilasya agulnaya teoryya dzyalimasci yakaya nalezhyc vidac vuchnyu Sakrata Eyklid prysvyaciy yoj knigu VII i chastku knigi IX Pachatkay U asnove teoryi lyazhyc algarytm Eyklida dlya znahodzhannya najbolshaga agulnaga dzelnika dvuh likay Z algarytmu vynikae shto lyuby lik mozhna rasklasci na prostyya prychym takoe raskladanne adzinae Razam z tym pifagarejcam nalezhyc dokaz nesuvymernasci dyyaganali i starany adzinkavaga kvadrata Dadzenae adkryccyo pakazala shto adnosin celyh likay nedastatkova dlya vyrazhennya adnosin lyubyh adrezkay i na getaj asnove nemagchyma budavac metrychnuyu geametryyu Pershae vuchenne ab iracyyanalnascyah nalezhyc Teetetu Algarytm Eyklida dazvalyae vyznachyc nyapoynyya dzeli raskladannya racyyanalnaga liku y neparyyny drob Razam z tym panyacce neparyynaga drobu y Starazhytnaj Grecyi ne yznikla U III stagoddzi Dyyafant pachay pabudovu algebry z aporaj ne na geametryyu a na aryfmetyku Dyyafant taksama pashyryy likavuyu voblasc na admoynyya liki Rymskaya sistema numaracyi byla mala prystasavanaya dlya vylichennyay Rymskiya lichbavyya znaki yznikli da z yaylennya alfavita i ne pahodzyac ad yago litar Lichycca shto pershapachatkova liki ad 1 displaystyle 1 da 9 displaystyle 9 abaznachylisya adpavednaj kolkascyu vertykalnyh rysachak a ih perakreslivanne aznachala ydzesyacyarenne liku adsyul lik X displaystyle X Adpavedna kab atrymac lik 100 displaystyle 100 palachku perakreslivali dva razy Paslya adbylosya sprashchenne sistemy U cyaperashni chas yana yzhyvaecca y asnoynym dlya abaznachennya paradkavyh likay Da XIV stagoddzya yyaylyala saboj nabor vylichalnyh algarytmay dlya rashennya na Aryfmetychnyya aperacyi skladannya i adnimannya yakiya rabilisya na lichylnaj doshcy ne patrabavali dadatkovyh tablic dlya mnozhannya zh isnavala tablica ad 1 1 displaystyle 1 times 1 da 9 9 displaystyle 9 times 9 Dzeyanni mnozhannya i dzyalennya rabilisya pachynayuchy sa starejshyh razraday pry getym pramezhkavyya vyniki vydalyalisya z doshki shto rabila praverku nemagchymaj Spachatku mnozhanne i dzyalenne byli nezalezhnymi aperacyyami ale zatym adznachyy ih uzaemnuyu advarotnasc U Kitai ymeli rashac zadachy z dapamogaj a dlya rashennya sistem linejnyh uraynennyay byli yvedzenyya admoynyya liki Spachatku yany vykarystoyvalisya tolki y pracese razlikay i k kancu vylichennyay vydalyalisya z doshki zatym kitajskiya navukoycy stali tlumachyc ih yak doyg abo nedastachu Aryfmetyka y Syarednevyakoyi Indyjskiya lichby I stagoddze n e i adpavednyya im suchasnyya lichby Pazicyjnaya sistema zlichennya dzesyac lichbay uklyuchayuchy byla yvedzena y Indyi Yana dazvolila raspracavac paraynalna prostyya pravily vykanannya aryfmetychnyh aperacyj Asnoynymi aryfmetychnymi dzeyannyami y Indyi lichylisya skladanne adnimanne mnozhanne dzyalenne uzvyadzenne y kvadrat i kub zdabyvanne kvadratnyh i kubichnyh karanyoy dlya yakih byli raspracavany pravily Vylichenni pravodzilisya na lichylnaj doshcy z pyaskom ci pylam abo prosta na zyamli i zapisvalisya palachkaj Indyjcy vedali droby i ymeli zdzyajsnyac aperacyi nad imi praporcyi pragresii Uzho z VII stagoddzya n e yany karystalisya admoynymi likami interpretuyuchy ih yak doyg a taksama iracyyanalnymi likami Staronka lacinskaga perakladu knigi Ab indyjskim lichenni U pachatku IX stagoddzya Muhamed ibn Musa al Harezmi napisay knigu Ab indyjskim lichenni Padruchnik utrymlivay rashenni praktychnyh zadach roznaga rodu i sortu i byy pershaj knigaj napisanaj z vykarystannem pazicyjnaj sistemy zlichennya da getaga lichbami karystalisya tolki dlya vylichennyay na lichylnaj doshcy U XII stagoddzi Adelardam i bylo zroblena dva peraklady knigi na lacinskuyu movu Yae aryginal ne zahavaysya ale y 1857 godze pad nazvaj Alharezmi ab indyjskim liku byy vydadzeny znojdzeny lacinski peraklad U traktace apisvaecca vykananne z dapamogaj indyjskih lichbay na lichylnaj doshcy takih aryfmetychnyh dzeyannyay yak skladanne adnimanne padvaenne mnozhanne razdvaenne dzyalenne i zdabyvanne kvadratnaga koranya Mnozhanne drobay yak i dzyalenne razglyadalasya z dapamogaj praporcyj a displaystyle a pamnozhyc na b displaystyle b bylo raynaznachna poshuku takoga q displaystyle q shto q a b 1 displaystyle q a b 1 Getaya teoryya byla asnovaj arabskaj aryfmetyki Adnak pry getym isnavala i inshae zlichenne drobay yakoe pradstaylyala lyuby drob u vyglyadze sumy alikvotnyh drobay Dlya rashennya zadach araby karystalisya yakoe pryjshlo z Indyi i bylo apisana razam z sheragam inshyh pryyomay u Knize ab indyjskih rashykah al Biruni pravilam dvuh ilzhyvyh palazhennyay yakoe pryjshlo z Kitaya i atrymala tearetychnae abgruntavanne y knize ab pravile dvajnoga ilzhyvaga palazhennya Praz Ispaniyu i Sicyliyu y X stagoddzi pachali zavyazvacca navukovyya suvyazi Eyropy z arabskim svetam U gety chas Kataloniyu naveday vuchony manah Gerbert yaki stay paznej papam Silvestram II Yamu prypisvayuc takiya sachynenni yak Knizhka ab dzyalenni likay i Pravily lichennya na abaku U abedzvyuh knigah liki napisanyya slovami ci rymskimi lichbami Gerbert nazyvay vylichalnikay na abaku abacystami U XII XIII stagoddzyah u Eyrope z yavilisya lacinskiya peraklady arabskih knig pa aryfmetycy Pryhilniki pradstaylenaj u knigah dzesyatkovaj pazicyjnaj numaracyi stali nazyvacca algarystami pa imeni arabskaga matematyka al Harezmi y lacinskaj forme U pachatku XIII stagoddzya y Zahodnyaj Eyrope isnavala dzve sistemy zlichennya staraya zasnavanaya na abaku yakuyu padtrymlivay Gerbert i novaya pazicyjnaya indyjskaya sistema yakuyu padtrymlivay Leanarda Fibanachy Pastupova novaya sistema yzyala verh Asnoynaj yae peravagaj z yaylyaecca sprashchenne aryfmetychnyh aperacyj Razam z tym u Germanii Francyi i Anglii novyya lichby ne yzhyvalisya da kanca XV stagoddzya Vycyasnenne staroj numaracyi adbylosya tolki y XVI XVII stagoddzyah U 1427 godze apisay sistemu yakaya pachala paysyudna yzhyvacca paslya tvoray y 1585 godze Stevin hacey yak maga shyrej raspaysyudzic dzesyatkovuyu sistemu Imenna tamu yon napisay svae sachynenni na francuzskaj i flamandskaj movah a ne na latyni Akramya tago yon stay energichna zmagacca za yvyadzenne dzesyatkovaj sistemy mer Aryfmetyka Novaga chasu Aryfmetychnyya tablicy 1835 U XVII stagoddzi mehanika bolsh skladanyya kamercyjnyya razliki pastavili perad aryfmetykaj novyya zapyty da tehniki vylichennyay i dali shturshok k dalejshamu razviccyu Znachna zmyanilasya panyacce liku Kali ranej da voblasci likay u bolshasci svayoj adnosili tolki dadatnyya racyyanalnyya liki to pachynayuchy z XVI stagoddzya ysyo bolsh pryznavalisya iracyyanalnyya i admoynyya liki Nyutan y svaih lekcyyah dzelic liki na try vidy celyya vymyarayucca adzinkaj drobavyya kratnyya doli adzinki i iracyyanalnyya nesuvymernyya z adzinkaj Z 1710 takoe vyznachenne liku tryvala yvahodzic va yse padruchniki U pachatku XVII stagoddzya vynajshay lagaryfmy Prymyanenne lagaryfmay i dzesyatkovyh drobay uklyuchenne y aryfmetyku panyaccya iracyyanalnaga liku yak paslyadoynasci racyyanalnyh pryblizhennyay pashyryli voblasc uzhyvannya aryfmetyki k kancu XVII stagoddzya i vyznachyli fundamentalnae znachenne navuki dlya vyvuchennya neparyynyh velichyn Z pracami Labacheyskaga pa zvyazany praces krytychnaga peraglyadu asnoy matematyki yaki zdaryysya y XIX stagoddzi Yashche y XVIII stagoddzi pachalisya sproby tearetychnaga abgruntavannya uyaylennyay ab liku Lejbnic pershy pastaviy zadachu pabudovy aryfmetyki i syarod inshaga pakazay neabhodnasc dokazu roynasci dva plyus dva royna chatyry u svaih Novyh vopytah ab chalavechym rozume y 1705 godze U sprobah vyrashyc getae pytanne svae aksiyomy pradstavili Volf y 1770 godze y 1790 godze y 1822 godze y 1861 godze i nareshce Peana y 1889 godze U 1758 godze u Pershyh asnovah aryfmetyki geametryi ploskaj i sferychnaj tryganametryi i perspektyvy vystupiy za abgruntavanne ysih aryfmetychnyh panyaccyay ceraz cely lik Takim chynam yon vyznachyy pa paradku y yago knize naturalnyya liki droby admoynyya liki dzesyatkovyya droby iracyyanalnyya liki i tolki zatym teoryyu adnosin U farmiravanni teoryi admoynyh likay asnoynuyu prablemu skladala scvyardzhenne shto admoyny lik mensh za nul g zn mensh chym nichoga Poynae geametrychnae tlumachenne kampleksnyh likay bylo prapanavana Kasparam Veselem u Vopyce ab analitychnym pradstaylenni napramku i yago uzhyvannyah peravazhna da rashennya ploskih i sferychnyh mnogavugolnikay u 1799 godze Vesel sprabavay abagulnic teoryyu na trohmernuyu prastoru ale geta yamu ne ydalosya Pytanne zastavalasya adkrytym da tago chasu pakul Gamiltan ne pabudavay teoryyu pry pamnazhenni yakih ne vykonvaecca peramyashchalny zakon Dalejshyya dasledavanni Veershtrasa Frabeniusa i pakazali shto admovicca ad yakoga nebudz z aryfmetychnyh zakonay pryjdzecca pry lyubym pashyrenni panyaccya liku za mezhy kampleksnyh likay Aryfmetyka y adukacyiUtvarenne aryfmetychnyh panyaccyay cesna zvyazana z pracesam lichennya U yago asnove lyazhac takiya elementy razumovaj dzejnasci yak umenne paznavac pradmet adroznivac pradmety padzyalyac sukupnasc pradmetay na elementy raynapraynyya pry lichenni inshymi slovami karystacca adzinkaj lichennya umenne razmyashchac elementy paradkavac ih shto pryvodzic da lichennya roznyh pa yakasci pradmetay i ytvarennya panyaccya liku Padobnyya pracesy mozhna nazirac pry zasvaenni panyaccyay dzecmi Baecyj ab aryfmetycy Dyk vos yakuyu zh z dyscyplin treba vyvuchac pershaj kali ne tuyu shto z yaylyaecca pachatkam i vykonvae yak by rolyu maci y adnosinah da inshyh dyscyplin Takaya yak raz aryfmetyka Yana papyarednichae ysim inshym ne tolki tamu shto sam Bog tvorca getaga susvetu uzyay yae pershaj za yzor svajgo myslennya i pa yae pryncype zrabiy usyo shto ceraz liki silaj tvorchaga Rozumu zdabyla garmoniyu va ystanoylenym paradku ale i tamu aryfmetyka ab yaylyaecca papyarednyaj shto kali vyklyuchyc papyaredniya pa svayoj pryrodze sutnasci adrazu zh znikayuc i nastupnyya Kali ginuc nastupnyya to nichoga y statuse papyarednyaj substancyi ne myanyaecca Standarty pachatkovaj adukacyi myarkuyuc navyki lichennya i paraynannya likay da milyona rabotu z asnoynymi adzinkami vymyarennya i suadnosinami pamizh imi vykananne chatyroh asnoynyh aryfmetychnyh aperacyj vusna da 100 i pismova da 10 000 a taksama dzyalennya z astachaj poshuk znachennya likavaga vyrazu yaki skladaecca z nekalkih aryfmetychnyh dzeyannyay Shkolny materyyal padaecca z dapamogaj naglyadnyh uyaylennyay U pershym klase dzeci mayuc spravu z likavymi vobrazami i kolkascyami pradmetay lichenne idze da 20 U drugim klase yvodzyac dzesyatkovuyu sistemu pazicyjnuyu sistemu tablicu mnozhannya lichenne idze da 100 U trecim klase vyvuchayuc aryfmetychnyya dzeyanni z mnagaznachnymi likami Nastupnym krokam idze perahod da litarnyh abaznachennyay inshymi slovami ad kankretnaga da abstraktnaga Imenna z getaga na dumku Klejna i pachynaecca matematyka Cyazhkasc vyvuchennya aryfmetyki y pachatkovaj shkole zaklyuchaecca y tym shto neabhodna azhyccyaylyac lichenne adcyagnena ad pryrody pradmetay Navuchanne y syarednyaj shkole zvyazana z pashyrennem panyaccya liku uvodzyac droby i dzeyanni nad imi admoynyya liki iracyyanalnyya liki U suchasnym svece z yaylyaecca adnoj z asnoynyh met adukacyi Yana yklyuchae y syabe syarod inshaga umenne zdzyajsnyac aryfmetychnyya dzeyanni pravodzic padliki i vymyarenni Pytannyami matematychnaj gramatnasci dzyacej i daroslyh zajmayucca takiya arganizacyi yak YuNISEF i YuNESKA Razam z tym doygi chas navuchanne aryfmetychnym dzeyannyam zvodzilasya da mehanichnaga vykanannyu uzoray U Starazhytnym Kitai vyalikaya yvaga nadavalasya navuchannyu matematycy uklyuchayuchy zdachu ekzamenay U Imperatarskaj akademii matematyka vyvuchalasya sem gadoy Adnak klasichnyya matematychnyya traktaty razglyadalisya yak dogma i peravydavalisya bez zmen U Eyrope sistematychnyya praktykavanni na skladanne adnimanne mnozhanne i dzyalenne byli prapanavany Tartalya y XVI stagoddzi ale yany yashche doygi chas ne yvahodzili va yzhytak Akramya tago u Syaredniya vyaki isnavali pravily dlya rashennya vyalikaga liku asobnyh aryfmetychnyh zadach U nekatoryh padruchnikah sustrakaecca da 26 takih pravil pry getym yany moguc ne supadac u roznyh padruchnikah Nekatoryya pravily ne stracili svayoj aktualnasci da getaga chasu Da ih adnosyacca praporcyi droby razglyadalisya yak adnosiny dvuh likay shto pryvodzila da razglyadu praporcyj dlya zdzyajsnennya aperacyj pracenty Aryfmetyka z yaylyaecca chacvyortym z syami volnyh mastactvay pa yzroyni navuchannya Yoj papyarednichae yaki skladaecca z Gramatyki Rytoryki i Dyyalektyki a sama yana z yaylyaecca starejshaj navukaj u da yakoga taksama adnosyacca Geametryya Muzyka i Astranomiya Sa z yaylennem pershyh eyrapejskih universitetay matematyka vykladalasya na fakultetah mastactva yak kvadryvium i byla dapamozhnaj dyscyplinaj Pershyya lekcyi pa aryfmetycy byli prachytany magistram Venskaga yniversiteta y 1412 godze Aryfmetyka y filasofii i mastactveMarcin de Vos Sem syascyor 1590 Paslya tago yak pifagarejcy vykarystoyvali adnosiny celyh likay dlya vyrazhennya geametrychnyh adnosin adrezkay a taksama analagichnyh adnosin u garmonii i muzycy yany pryjshli da vyvadu shto yse zakanamernasci svetu mozhna apisac z dapamogaj likay a aryfmetyka patrebna dlya tago kab vyrazic adnosiny i pabudavac madel svetu Razam z tym adnym z adkryccyay pifagarejcay z yaylyaecca toe shto adnosin celyh likay nedastatkova dlya vyrazhennya adnosin lyubyh adrezkay dyyaganal i starana kvadrata nesuvymernyya i na getaj asnove nemagchyma budavac metrychnuyu geametryyu Prablemy pabudovy kanechnaj mery i vyznachennya sapraydnaga liku agalili navukovy kryzis u V stagoddzi da n e vyhadam z yakoga zajmalisya yse filasofskiya shkoly Starazhytnaj Grecyi Pakazac use cyazhkasci yakiya yznikayuc pry vyrashenni getyh prablem udalosya Zyanonu Elejskamu y yago paradoksah abo y svaim traktace Vyaselle Filasofii i Merkuryya stvaryy vizualnyya vobrazy ysih syami mastactvay i y tym liku Aryfmetyki Mastactvy yvasablyali zhanchyny z adpavednymi atrybutami yakiya supravadzhalisya vyadomymi pradstaynikami sfery Aryfmetyka trymae y svaih rukah skryzhal spisanuyu lichbami abo abak Yae supravadzhae Pifagor Lichenne bylo adnym z vyprabavannyay Budy Paslya spabornictvay u stralbe z luka begu i plavanni matematyk Ar yuna zagaday yamu nazvac use likavyya stupeni bolsh za 109 displaystyle 10 9 Buda nazvay dvaccac dzve stupeni da 1053 displaystyle 10 53 tolki nyacotnyya stupeni meli nazvy i geta byy tolki pershae lichenne u drugim lichenni Buda pracyagnuy da 10421 displaystyle 10 421 Nastupnym zadannem Buda palichyy lik atamay u mili a zatym i y Susvece Padobnyya likavyya lesvicy sustrakayucca neadnarazova y indyjskaj religijnaj paezii pry getym slovy dlya abaznachennya likay moguc adroznivacca Pryznachenne takih lesvic padnyacca nad svetam smyarotnyh U indyjskaj knize Lilavacistara apisvayucca spabornictvy pamizh zhanihami gaspadaryni zyamli prygozhaj Gopy u pismenstva aryfmetycy baracbe i mastactve kidannya strel Vyprabavannyam u aryfmetycy prysvechana znachnaya chastka tvora Yak i y Indyi velmi vyalikiya liki skanstruyavanyya shtuchna zhracami maya gavorac ab imknenni zabracca vyshej pa likavaj lesvicy blizhej da bagoy ZnoskiKamentaryiNyahaj treba znajsci koran z N a2 r displaystyle N a 2 r a displaystyle a pershae pryblizhenne z nedastachaj b N a displaystyle b N a pryblizhenne z lishkam Drugoe pryblizhenne ytvaraecca pa formule syarednyaga aryfmetychnaga a1 a b 2 displaystyle a 1 a b 2 displaystyle i yamu adpavyadae b1 N a1 displaystyle b 1 N a 1 displaystyle i tak dalej Vykarystanaya litaratura i krynicyVinogradov I M Arifmetika Matematicheskaya enciklopediya M Sovetskaya enciklopediya 1977 T 1 Vinogradov I M Arifmetika formalnaya Matematicheskaya enciklopediya M Sovetskaya enciklopediya 1977 T 1 Arifmetika nauka Enciklopedicheskij slovar Brokgauza i Efrona V 86 tomah 82 t i 4 dop rusk SPb 1890 1907 MacDuffee C C Arithmetic nyavyzn Encyclopaedia Britannica Arhivavana z pershakrynicy 27 maya 2012 Praverana 20 sakavika 2012 angl Arifmetika nyavyzn Bolshaya sovetskaya enciklopediya Arhivavana z pershakrynicy 3 listapada 2012 Praverana 20 studzenya 2013 Arnold 1938 s 3 5 Pontryagin 1986 s 4 6 Bellyustin V Glava 12 Chislo i poryadok dejstvij znaki i opredeleniya Kak postepenno doshli lyudi do nastoyashej arifmetiki M Tipografiya K L Menshova 1909 Depman 1965 s 195 199 Arnold 1938 s 151 156 Algebra nyavyzn Bolshaya sovetskaya enciklopediya Arhivavana z pershakrynicy 1 lyutaga 2013 Praverana 20 studzenya 2013 Depman 1965 s 21 25 Depman 1965 s 129 130 Istoriya matematiki t I 1970 s 23 24 Depman 1965 s 212 232 Depman 1965 s 204 Arifmetika 1951 s 142 Klejn 1987 s 23 26 Klejn 1987 s 26 35 Arifmetika 1951 s 77 79 Klejn 1987 s 37 44 Arifmetika 1951 s 157 Klejn 1987 Arifmetika 1951 s 172 178 Arifmetika 1951 s 188 201 Arifmetika 1951 s 227 Klejn 1987 s 35 36 Klejn 1987 s 23 25 Arifmetika nyavyzn Enciklopediya Kolera Arhivavana z pershakrynicy 1 lyutaga 2013 Praverana 20 studzenya 2013 Knut s 216 Istoriya matematiki t II 1970 s 66 67 Istoriya matematiki t III 1972 s 42 45 Klejn 1987 s 45 49 Depman 1965 s 263 267 Boyer amp Merzbach 2010 Arithmetic and logistic Arifmetika 1951 s 57 71 Knut s 216 221 Depman 1965 s 275 285 Klejn 1987 s 49 57 Vinogradov I M Chisel teoriya Matematicheskaya enciklopediya M Sovetskaya enciklopediya 1977 T 5 Vinogradov I M Elementarnaya teoriya chisel Matematicheskaya enciklopediya M Sovetskaya enciklopediya 1977 T 5 Arnold 1938 s 413 415 Aksiomaticheskij metod nyavyzn Bolshaya sovetskaya enciklopediya Arhivavana z pershakrynicy 10 lyutaga 2013 Praverana 20 studzenya 2013 Arifmetika 1951 s 100 107 Depman 1965 s 117 126 Arifmetika 1951 s 135 138 Arifmetika 1951 s 139 142 Arifmetika 1951 s 133 Arifmetika 1951 s 150 151 Arifmetika 1951 s 172 179 Arifmetika 1951 s 160 167 Depman 1965 s 258 262 Arifmetika 1951 s 188 Arifmetika 1951 s 202 Arifmetika 1951 s 228 Formalnaya arifmetika nyavyzn Bolshaya sovetskaya enciklopediya Arhivavana z pershakrynicy 3 listapada 2012 Praverana 20 studzenya 2013 Avigad 2003 p 260 Nechaev 1975 s 52 53 Nechaev 1975 s 48 Nechaev 1975 s 68 72 Istoriya matematiki t I 1970 s 19 20 Depman 1965 s 49 52 Istoriya matematiki t I 1970 s 25 Istoriya matematiki t I 1970 s 34 Istoriya matematiki t I 1970 s 40 Istoriya matematiki t I 1970 s 50 Istoriya matematiki t I 1970 s 46 47 Depman 1965 s 53 54 Istoriya matematiki t I 1970 s 62 Istoriya matematiki t I 1970 s 68 69 Istoriya matematiki t I 1970 s 74 76 Istoriya matematiki t I 1970 s 73 Istoriya matematiki t I 1970 s 144 146 Depman 1965 s 57 58 Istoriya matematiki t I 1970 s 178 Istoriya matematiki t I 1970 s 160 161 Istoriya matematiki t I 1970 s 163 164 Istoriya matematiki t I 1970 s 167 169 Istoriya matematiki t I 1970 s 183 185 Istoriya matematiki t I 1970 s 185 Istoriya matematiki t I 1970 s 190 191 Depman 1965 s 72 78 Istoriya matematiki t I 1970 s 209 210 Depman 1965 s 90 94 Istoriya matematiki t I 1970 s 211 212 Istoriya matematiki t I 1970 s 212 214 Istoriya matematiki t I 1970 s 218 219 Istoriya matematiki t I 1970 s 254 256 Istoriya matematiki t I 1970 s 256 257 Arifmetika 1951 s 50 57 Istoriya matematiki t II 1970 s 34 36 Istoriya matematiki t III 1972 s 47 49 Istoriya matematiki t III 1972 s 49 52 Istoriya matematiki t III 1972 s 52 56 Istoriya matematiki t III 1972 s 61 66 Boecij I 1 Osnovy arifmetiki Primernaya osnovnaya obrazovatelnaya programma obrazovatelnogo uchrezhdeniya Nachalnaya shkola nyavyzn nedastupnaya spasylka Federalnyj gosudarstvennyj obrazovatelnyj standart Arhivavana z pershakrynicy 7 snezhnya 2012 Praverana 5 snezhnya 2012 Primernaya osnovnaya obrazovatelnaya programma obrazovatelnogo uchrezhdeniya Nachalnaya shkola sost E S Savinov 4 e M Prosveshenie 2013 S 32 35 223 s ISBN 9785090264167 Arhivavana 24 zhniynya 2013 Klejn 1987 s 20 23 Depman 1965 s 1 3 103 109 Klejn 1987 s 37 Gramotnost matematicheskie sposobnosti i navyki resheniya zadach v tehnologicheski razvitom obshestve nyavyzn nedastupnaya spasylka Nacionalnyj issledovatelskij universitet Vysshaya shkola ekonomiki Arhivavana z pershakrynicy 7 snezhnya 2012 Praverana 5 snezhnya 2012 Defining Quality in Education angl nedastupnaya spasylka YuNISEF Arhivavana z pershakrynicy 15 kastrychnika 2012 Praverana 5 snezhnya 2012 Education for All Goals angl YuNESKA Arhivavana z pershakrynicy 7 snezhnya 2012 Praverana 5 snezhnya 2012 Istoriya matematiki t I 1970 s 157 Depman 1965 s 199 203 Depman 1965 s 305 Depman 1965 s 306 Liberal Arts nyavyzn Encyclopaedia Britannica Arhivavana z pershakrynicy 27 maya 2012 Praverana 20 sakavika 2012 angl Istoriya matematiki t I 1970 s 259 260 Istoriya matematiki t I 1970 s 67 Istoriya matematiki t I 1970 s 88 89 Sem svobodnyh iskusstv nyavyzn nedastupnaya spasylka Simbolarium Arhivavana z pershakrynicy 27 maya 2012 Praverana 20 sakavika 2012 Menninger 2011 s 176 179 Arifmetika 1951 s 49 Menninger 2011 s 82 LitaraturaAryfmetyka na VikishovishchyArnold I V ukr Teoreticheskaya arifmetika M Gosudarstvennoe uchebno pedagogicheskoe izdatelstvo 1938 481 s Depman I Ya rusk Istoriya arifmetiki M Prosveshenie 1965 400 s Arhivavana 14 maya 2017 Klejn F Elementarnaya matematika s tochki zreniya vysshej M Nauka 1987 T I Arifmetika Algebra Analiz 432 s Knut D E Arifmetika Iskusstvo programmirovaniya M T II 830 s Menninger K angl Istoriya cifr Chisla simvoly slova M ZAO Centrpoligraf 2011 543 s ISBN 9785952449787 Nechaev V I rusk Chislovye sistemy M Prosveshenie 1975 199 s Pontryagin L S Obobsheniya chisel M Nauka 1986 120 s Bibliotechka Kvant Arhivavana 18 verasnya 2011 Serr Zh P Kurs arifmetiki per s franc A I Skopina rusk pod red A V Malysheva M Mir 1972 184 s Istoriya matematiki v 3 t pod red A P Yushkevicha rusk M Nauka 1970 T I S drevnejshih vremyon do nachala Novogo vremeni Istoriya matematiki v 3 t pod red A P Yushkevicha rusk M Nauka 1970 T II Matematika XVII stoletiya Istoriya matematiki v 3 t pod red A P Yushkevicha rusk M Nauka 1972 T III Matematika XVIII stoletiya Enciklopediya elementarnoj matematiki Kniga pervaya Arifmetika pod red P S Aleksandrova A I Markushevicha rusk i A Ya Hinchina rusk M L Gos izdat tehniko teoreticheskoj literatury 1951 448 s Arhivavana 2 sakavika 2015