Арифметика

Арифметика
Ганс Себальд Бехам, XVI быуат

Арифме́тика (Ҡалып:Lang-grc — Ҡалып:Lang-grc2 «һан» һүҙенән) — математиканың һандарҙы, улар араһындағы бәйләнеште һәм үҙсәнлектәрен өйрәнеүсе бүлеге. Арифметиканың өйрәнеү предметы булып һандар (натураль, бөтөн, рациональ, ысын, комплекслы һандар) һәм уларҙың үҙсәнлектәре тора. Арифметикала үлсәүҙәр, иҫәпләү ғәмәлдәре (ҡушыу, алыу, ҡабатлау, бүлеү) һәм иҫәпләү ысулдары ҡарала. Айырым бөтөн һандарҙың үҙсәнлектәрен өйрәнеү менән юғары арифметика, йәки һандар теорияһы шөғөлләнә. Теоретик арифметика һан төшөнсәһенә билдәләмә биреүгә һәм анализлауға иғтибар бүлә, ә формаль арифметика предикаттарҙың (логик хәбәр) һәм аксиомаларҙың логик төҙөлөштәренә таянып эш итә. Арифметика иң боронғо һәм иң мөһим математик фәндәрҙең береһе; ул алгебра, геометрия һәм һандар теорияһы менән тығыҙ бәйләнгән.

Арифметиканың барлыҡҡа килеүенең сәбәбе булып иҫәпләүҙәргә һәм ауыл хужалығын үҙәкләштергәндәге мәсьәләләр менән бәйле иҫәп-хисапҡа практик мохтажлыҡ тора. Фән хәл итеүҙе талап иткән мәсьәләләр менән бергә үҫешә. Арифметиканың үҫешенә грек математиктары ҙур өлөш индерә — атап әйткәндә, философтар-һандар ярҙамында донъяның бөтә законлыҡтарын аңларға һәм тасуирларға тырышыусы пифагорсылар. Урта быуаттарҙа арифметиканы, неоплатониктарға эйәреп, ете азат сәнғәт тип аталғандар иҫәбенә индергәндәр. Ул осорҙа арифметиканы төп практик ҡулланыу өлкәһе булып сауҙа, навигация, төҙөлөш тора. Ошоноң менән бәйле, тәү сиратта геометрик төҙөүҙәр өсөн кәрәк булған иррациональ һандарҙы яҡынса иҫәпләүҙәр ҙур әһәмиәткә эйә була. Арифметика бигерәк тә Һиндостанда һәм ислам илдәрендә йылдам үҫешә, уларҙан математик белемдең өр яңы ҡаҙаныштары Көнбайыш Европаға үтеп инә; Рәсәйҙә математик белем менән «гректарҙан да, һәм латиндарҙан да» танышалар.

Яңы осор тыуыу менән диңгеҙҙә йөҙөү астрономияһы, механикаһы, ҡатмарлашҡан коммерция иҫәпләүҙәре иҫәпләү техникаһына яңы талаптар ҡуя һәм арифметиканың артабанғы үҫешенә этәргес була. XVII быуат башында Непер логарифмдарҙы уйлап таба, ә аҙаҡ Ферма һандар теорияһын арифметиканың үҙ-аллы бүлеге итеп сығара. Быуат аҙағына иррациональ һан тураһында рациональ яҡынлауҙар эҙмә-эҙлелеге булараҡ төшөнсә формалаша, ә артабанғы йөҙ йыллыҡ дауамында Ламберттың, Эйлерҙың, Гаусстың хеҙмәттәре арҡаһында арифметика комплекслы дәүмәлдәр менән ғәмәлдәрҙе үҙ эсенә ала, һәм хәҙерге заман күренешен ала.

Арифметиканың артабанғы тарихы уның нигеҙҙәрен тәнҡит күҙлегенән ҡарау, уны дедуктив нигеҙләргә маташыу менән билдәле. Һан тураһында төшөнсәне теоретик нигеҙләүҙәр, беренсе сиратта, натураль һанға ҡәтғи билдәләмә биреү 1889 йылда әйтеп бирелгән Пеано аксиомалары менән бәйле. Арифметиканың формаль төҙөлөшөнөң ҡаршылыҡһыҙ булыуы Генцен тарафынан 1936 йылда күрһәтелә.

Дөйөм башланғыс белем биреүҙә арифметиканың нигеҙҙәренә элек-электән һәм өҙлөкһөҙ ҙур иғтибар бирелә.

Арифметика предметы

Джузеппе Пеано 1889 йылда натураль һандар аксиомаларын әйтеп бирә

Арифметиканың предметы булып һанлы күмәклектәр, һандарҙың үҙсәнлектәре һәм һандар өҫтөндә ғәмәлдәр тора. Уға шулай уҡ иҫәпләү техникаһы, үлсәүҙәр, һан төшөнсәһенең барлыҡҡа килеүе һәм үҫеше менән бәйле мәсьәләләрҙе лә индерәләр. Арифметика, тәү сиратта, натураль һандарҙы һәм кәсерҙәрҙе өйрәнә. Натураль һандар күмәклегенең аксиоматик структураһы нигеҙендә, бөтөн, ысын һәм комплекслы һандарҙы ла индереп, башҡа һандар күмәклеген төҙөү тормошҡа ашырыла, уларҙы анализлау яһала. Ҡайһы берҙә арифметика сиктәрендә шулай уҡ кватерниондар һәм башҡа гиперкомплекслы һандар ҡарала. Шуның менән бергә, Фробениус теоремаһынан, һан төшөнсәһен уның ниндәй ҙә булһа арифметик үҙсәнлеген юғалтмайынса комплекслы яҫылыҡтан ситкә киҫәйтеү мөмкин түгел икәне килеп сығаҠалып:SfnҠалып:Sfn.

Һандар өҫтөндә төп ғәмәлдәргә ҡушыу, алыу, ҡабатлау һәм бүлеүҙе, һирәгерәк — дәрәжәгә күтәреүҙе, тамыр алыуҙы һәм һанлы тигеҙләмәләрҙе сығарыуҙы индерәләр. Арифметик ғәмәлдәрҙең тарихи исемлеге шулай уҡ иҫәпләүҙе, икеләтеүҙе (ҡабатлауҙан башҡа), икегә бүлеүҙе һәм ҡалдыҡлы бүлеүҙе (бүлеүҙән башҡа), арифметик һәм геометрик прогрессияларҙың суммаларын табыуҙы индерә. Джон Непер үҙенең «Логистическое искусство» китабында арифметик ғәмәлдәрҙе баҫҡыстарға бүлә: түбәнге баҫҡыста ҡушыу һәм алыу тора, артабанғыһында — ҡабатлау һәм бүлеү, артабан — дәрәжәгә күтәреү һәм тамыр алыуҠалып:Sfn. Билдәле методист И. В. Арнольд өсөнсө баҫҡыс ғәмәлдәргә шулай уҡ логарифмлауҙы ла индерәҠалып:Sfn. Ғәҙәттә арифметика тип, «квадратик формалар арифметикаһы», «матрицалар арифметикаһы» кеүек, төрлө объекттар өҫтөндә ғәмәлдәр башҡарыуҙы атайҙар.

Асылда, практик ихтыяж өсөн кәрәк булған математик иҫәпләүҙәрҙе һәм үлсәүҙәрҙе (пропорциялар, проценттар, өсләтә ҡағиҙә), түбәнге, йәки практик арифметикаға индерәләр, шул уҡ ваҡытта логик анализ кеүек һан төшөнсәләрен теоретик арифметикаға индерәләр. Бөтөн һандарҙың үҙсәнлектәре, уларҙы өлөштөргә бүлеү, өҙлөкһөҙ кәсерҙәрҙе төҙөү һандар теорияһының состав өлөшө булып тора, уны оҙаҡ ваҡыт юғары арифметика тип иҫәпләйҙәр. Арифметика шулай уҡ алгебра менән тығыҙ бәйләнгән, ул ғәмәлдә операцияларҙы һандарҙың үҙенсәлектәрен һәм үҙсәнлектәрен иҫәпкә алмайынса өйрәнә. Дәрәжәгә күтәреү һәм тамыр алыу кеүек арифметик ғәмәлдәр алгебраның техник өлөшө булып тора. Ошоноң менән бәйле, Ньютон һәм Гаусс артынса, алгебраны арифметиканы дөйөмләштереү тип иҫәпләү ҡабул ителгән. Дөрөҫөн әйткәндә, арифметика, элементар алгебра һәм һандар теорияһы араһында аныҡ ҡына сик юҡ. БСЭ-ла әйтелә: «Алгебра хәреф тамғалауҙарын ҡулланып, һандар системаларының дөйөм үҙсәнлектәрен һәм мәсьәләләрҙе тигеҙләмәләр ярҙамында сисеүҙең дөйөм ысулдарын өйрәнә; арифметика конкрет бирелгән һандар менән иҫәпләү алымдары, ә үҙенең юғарыраҡ өлкәләрендә (ҡарағыҙ. Һандар теорияһы) — һандарҙың нескәрәк индивидуаль үҙсәнлектәре менән шөғөлләнә».

Башҡа академик фәндәр кеүек үк, арифметика ла принципиаль методологик проблемаларға юлыға; уның өсөн аксиомаларҙың ҡаршылыҡһыҙ һәм тулы булыу мәсьәләләрен тикшерергә кәрәк. Арифметиканың предикаттар һәм аксиомаларының формаль системаһын логик төҙөү менән формаль арифметика шөғөлләнә.

Иң ябай төшөнсәләр

Рәт һандары, натураль һандар

Бер алма, ике алма, өс алма. Натураль һандар

Ҡалып:Main Иң ябай арифметик төшөнсә булып рәт һандары тора. Иҫәпләү объекты булып төрлө элементтар йәки уларҙың күмәклектәре тора, мәҫәлән, алмалар һәм алмалар кәрзине. Рәт һаны ярҙамында элементтарҙы нумерларға һәм уларҙың дөйөм иҫәбен тамғаларға мөмкин.

Рәт һаны билдәле бер тигеҙ һандағы элементтары булған төркөмдәр менән иҫәпләүгә бәйле — мәҫәлән, алманы тиҫтәләп иҫәпләү. Ғәҙәттә был ике ҡулдағы бармаҡтар (нигеҙе $10$-ға тигеҙ), ләкин тарихи сығанаҡтарҙа $5,11,12,20,40,60,80$-ешәрләп төркөмләүҙәр бар. Төркөмдәге элементтар һаны иҫәпләү системаһы өсөн нигеҙ булып тора.

Иҫәпләүҙә килеп сыҡҡан һанлы рәтте натураль тип, ә уның элементтарын — натураль һандар тип атайҙар. Натураль рәт төшөнсәһе тәү башлап грек математигы Никомахтың хеҙмәттәрендә б. э. I быуатында, ә натураль һан төшөнсәһе — рим авторы Боэций хеҙмәттәрендә V быуат аҙағы — VI быуат башында осрай. Терминды дөйөм ҡулланыу XVIII быуатта Д’Аламбер хеҙмәттәренән башлана. Архимед үҙенең «Псаммит» исемле хеҙмәтендә, һандар рәтен сикһеҙ дауам итергә мөмкин тип әйтә, ләкин шуның менән бергә, реаль мәсьәләләр өсөн ҙур булмаған киҫеге лә етә тип әйтеп ҡуяҠалып:Sfn. Натураль һандарҙы пифагорсылар йоп һәм таҡ һандарға бүлгән тип иҫәпләйҙәр, ул шулай уҡ мысырлы Ринд папирусында ла бар. Пифагорсылар шулай уҡ ябай һәм ҡушма һандарҙы ла билдәләгәндәрҠалып:Sfn.

Ҡушыу, ҡабатлау, дәрәжәгә күтәреү

$3+2=5$

Ҡалып:Main Натураль һандар өсөн ҡушыу һәм ҡабатлау ғәмәлдәре тәбиғи рәүештә билдәләнгәндәр. Күпмелер һанда предметтары булған ике йыйылманы берләштергәндә, яңы йыйылмала тәүге ике йыйылмала бергә булған тиклем предмет була. Әгәр беренсе йыйылмала $3$ предмет, ә икенсеһендә — $2$ предмет булһа, уларҙың суммаһында $2+3=5$ предмет була. Күрһәтелгән ғәмәл ҡушыу тип атала һәм иң ябай бинар операция булып тора. Сумманың дөрөҫлөгөн тикшереү өсөн ҡушыу таблицаһын белеү мотлаҡ түгел, предметтарҙы һанап сығыу етәҠалып:Sfn.

Бер нисә бер төрлө күмәклектәрҙең элементтарын күп тапҡыр ҡушыу был күмәклектәрҙең тәртибенә бәйле түгел, был икенсе бинар операцияны — ҡабатлауҙы билдәләргә мөмкинлек бирә. Ҡабатлауҙан башҡа, борон айырым арифметик ғәмәл — икеләтеү, йәки икегә ҡабатлау булғанҠалып:Sfn.

Ҡабатлауға ҡушыу аша билдәләмә биреүгә оҡшаш рәүештә, күп тапҡыр ҡабатлау дәрәжәгә күтәреү ғәмәлен билдәләргә мөмкинлек бирә.

Арифметиканың төп закондары

Ҡабатлауҙың урын алмаштырыу законы

Ҡалып:Main Был ғәмәлдәрҙең үҙсәнлектәре тураһында биш закон әйтеп бирелгән, улар арифметиканың төп закондары тип иҫәпләнәләрҠалып:Sfn:

• Ҡушыуҙың Коммутативлыҡ: урын алмаштырыу законы ҡушылыусыларҙың урынын алмаштырыуҙан сумма үҙгәрмәй ти. Шундай уҡ закон ҡабатлау өсөн дә билдәле, ләкин унда, әлбиттә, ҡабатлашыусылар һәм ҡабатландыҡ тураһында әйтелә. Был закондарҙы алгебраик формала хәрефтәр менән тамғалап әйтеп бирергә мөмкин:

$a+b=b+a$

$a\cdot b=b\cdot a$

• Ҡушыуҙың Ассоциативлыҡ: төркөмләү законы бер нисә ҡушылыусыны ҡушҡанда, уларҙы теләһә ниндәй тәртиптә төркөмләргә мөмкин тип әйтә. Ҡабатлау өсөн шуға оҡшаш законда ҡабатлашысыларҙы ҡабатлау тураһында әйтелә. Был закондарҙы шулай уҡ алгебраик формала күрһәтергә мөмкин:

$(a+b)+c=a+(b+c)$

$(a\cdot b)\cdot c=a\cdot (b\cdot c)$

• Дистрибутилыҡ: таратыу законы әйтә: сумманы һанға ҡабатлау өсөн, һәр ҡушылыусыны был һанға ҡабатларға һәм килеп сыҡҡан ҡабатландыҡтарҙы ҡушырға мөмкин. Алгебраик формала:

$(a+b)\cdot c=a\cdot c+b\cdot c$

Арифметиканың төп закондарынан тыш, натураль һандар өсөн шулай уҡ ҡушыуҙың һәм ҡабатлауҙың монотонлыҡ законы үтәләҠалып:SfnҠалып:Sfn, алгебраик формала ошолай яҙыла:

$b>c$ булғанда $a+b>a+c$;

$b>c$ һәм $a>0$ булғанда $a\cdot b>a\cdot c$ .

Урын алмаштырыу законы өсөн «коммутатив» терминын 1814 йылда француз математигы Сервуа индерә. Төркөмләү законы өсөн «ассоциатив» терминын 1853 йылда Гамильтон индерәҠалып:Sfn.

Пуанкаре бөтә арифметик ғәмәлдәрҙе һәм закондарҙы интуиция күҙлегенән сығып ҡарай. Закондар бәләкәй һандар өсөн һис шикһеҙ үтәләләр, һәм индукция ҡағиҙәһен ҡулланып, улар бөтә һандар өсөн дә үтәләләр тип һығымта яһарға мөмкин тип раҫлай. Икенсе ҡараш буйынса, артабанғы иҫбатлауҙар логик төҙөлөш менән бәйле булған ваҡытта, бөтә закондар ҙа түгел, ә иң ябай закондар ғына интуитив үтәлмәле булып һаналаларҠалып:Sfn. Урын алмаштырыу һәм төркөмләү закондары һис шикһеҙ үтәлә тип иҫәпләнәҠалып:Sfn. Таратыу, йәки дистрибутив законды Евклид үҙенең «Башланғыстарында» геометрик ысул ҡулланып иҫбатлағанҠалып:Sfn.

Дәрәжәгә күтәреү операцияһы коммутатив та, ассоциатив та түгел, уның үҙенең ҡағиҙәләре. Был операцияны башҡарыуҙың төп ҡағиҙәләре ыңғай дәрәжәләр өсөн уның билдәләмәһенән асыҡ күренеп торалар. Алгебраик формала улар ошолай яҙылалар:

• Дистрибутивлыҡ — дәрәжәгә күтәреү операцияһы өсөн таратыу законы:

$a^{n+m}=a^n{a}^m$

• шул уҡ, алыу осрағында, кәсер күренешен ала:

$a^{n-m}=\frac{a^n}{a^m},n>m$

• Ҡабаттан дәрәжәгә күтәреү дәрәжә күрһәткестәрен ҡабатлау була:

${\left(a^n\right)}^m=a^{nm}$.

Кире операциялар

Арифметиканың бөтә операцияларының да киреһе бар: ҡушыуҙың — алыу, ҡабатлауҙың — бүлеү, дәрәжәгә күтәреүҙең — арифметик тамыр алыу һәм логарифм. Ҡушыу һәм ҡабатлауҙың, уларҙың бинар операция булыуына ҡарамаҫтан берәр генә кире операциялары булыуы, уларҙың коммутативлығы менән аңлатыла.

Алыу: тиҫкәре һандар

$5-2=3$

Алыу — ул ҡушыуға кире ғәмәл: ике $5$ һәм $2$ һандарының айырмаһы $2+x=5$ тигеҙләмәһенән $x$ була . Алыу операцияһы «−» тамғаһы менән яҙыла һәм $5-2=3$ күренешендә яҙыла. Операцияны башҡарыу өсөн ике ысул ҡулланалар: кәмеүсенән кәметеүсенең берәмектәрен һанап алыу йәки кәметеүсегә ҡушҡанда кәмеүсене биргән һанды һайлап алыуҠалып:Sfn.

Әгәр алыу операцияһын, ҡушыу операцияһы сиктәрендә сумма һәм ҡушылыусы була алған һандарға ғына түгел. ә бөтә натураль һандар парына ҡулланһаң, натураль рәттән ситкә сығырға юл ҡуя, йәғни ике натураль һандың айырмаһы мотлаҡ натураль һан түгел — алыу һөҙөмтәһендә нуль йәки тиҫкәре һан килеп сығырға мөмкин. Тиҫкәре һандарҙы предметтар һаны итеп ҡарап булмай инде, һанлы күсәрҙә улар нулдән һулдараҡ урынлашҡандар. Натураль һандарға тиҫкәре һандарҙы һәм нулде өҫтәгәндән килеп сыҡҡан һандар күмәклеге бөтөн һандар күмәклеге тип атала. Нуль һәм натураль һандар күмәклеге тиҫкәре булмаған бөтөн һандар күмәклеге тип атала. Ҡабатлағанда, һандарҙың ҡабатландығы ыңғай йәки тиҫкәре буламы икәнен асыҡлау өсөн, «тамғалар ҡағиҙәһен» ҡулланаларҠалып:Sfn.

Тиҫкәре һандарҙы XIX быуатҡа тиклем бик күп математиктар ысын түгел һәм мәғәнәһеҙ тип иҫәпләгәндәр, әммә был уларҙы бөтә ерҙә формаль ҡулланыуға ҡамасауламай. Тәү башлап тиҫкәре һан төшөнсәһе Һиндостанда барлыҡҡа килә, унда тиҫкәре һандарға «бурыс» мәғәнәһе биргәндәр (ыңғай һандар — «байлыҡ»). Тиҫкәре һандар тик XVII быуатта ғына таралыу алғандарҠалып:Sfn. «Алыу» термины Боэцийҙа уҡ күренә, «кәмеүсе» һәм «кәметеүсе» терминдарын Вольф 1716 йылда, «айырма» терминын — Видман 1489 йылда ҡулланыуға индерәҠалып:Sfn. Хәҙерге «+» һәм «−» билдәләре менән тамғалауҙы шулай уҡ Видман XV быуат аҙағында индерә.

Бүлеү: рациональ һандар

20-не 4-кә бүлеү

Бүлеү ҡабатлауға кире ғәмәл булып тора. Бүлеүҙең беренсе билдәләмәһе — бүленеүселә бүлеүсенең берәмектәре тапҡыр булған һанды табыу ул. Ошондай билдәләмә XIV быуат арифметика дәреслектәрендә бирелгән — мәҫәлән, $20:4=5$. Бүлеү бик ҡатмарлы һәм ауыр операция һаналған. Бүлеүсенең бүлендектең айырым разрядтарына өлөшләтә ҡабатландығын ҡулланған хәҙерге бүлеү ысулы (бағаналап бүлеү), 1460 йылғы итальян манускриптында килтерелгәнҠалып:Sfn.

Ҡабатлашыусы һәм ҡабатландыҡ булмаған натураль һандар өсөн ҡалдыҡлы бүлеү операцияһы билдәле (ғәмәлдә бүлеүҙән ҡалдыҡтың билдәләмәһе шулай уҡ модуле буйынса бүлеү тип атала). Шулай уҡ төрлө айырым осраҡтарҙа бүлеүҙе ябайлаштырыусы йәки теге йәки был һанға бүленеүсәнлеген тикшерергә мөмкинлек биргән күп ысулдар бар. Мәҫәлән:

• әгәр һандың унарлы яҙыуында һуңғы цифры икегә бүленһә, һан икегә ҡалдыҡһыҙ бүленә;
• әгәр һандың унарлы яҙыуында цифрҙары суммаһы өскә бүленһә, был һан өскә ҡалдыҡһыҙ бүленә;
• әгәр һандың унарлы яҙыуында һуңғы цифры ноль булһа, һан унға ҡалдыҡһыҙ бүленә.

Әгәр натураль һандарҙы ҡабатлап табып булған һандарҙы ғына бүлмәһәң, шул уҡ ваҡытта ҡалдыҡты айырып алмаһаң, бүлеү операцияһы, алыу кеүек үк, натураль һандар күмәклегенән ситкә сығырға юл ҡуя. Бүлгәндә ҡалдыҡһыҙ бөтөнгә тиклем ҡыҫҡартырға мөмкин булмаған кәсерҙәр килеп сығырға мөмкин. Шундай кәсерҙәргә ярашлы һандар рациональ һандар тип аталалар. Рациональ һандарҙы бүлеүгә нигеҙләнгән тағы ла билдәле һандар төрөн киңәйтеү килеп сыға. Тарихи тәүҙә кәсер төшөнсәһе барлыҡҡа килә, ә аҙаҡ тиҫкәре һан төшөнсәһеҠалып:Sfn. Мәктәп курсында ла шундай уҡ тәртип ҡабул ителгәнҠалып:Sfn.

Кәсерҙәрҙе яҙыуҙың ике формаһы ҡулланыла — горизонталь йәки ҡыя һыҙыҡ менән бүленгән һәм йыш ҡына минималь һандарға тиклем ҡыҫҡартылған числитель һәм знаменатель, һәм һандың позицион яҙылышында бөтөн һәм кәсер өлөшөн айырыусы тамғанан һуң урынлашыусы кәсер өлөшөнөң цифрҙары рәүешендә. Мәҫәлән, 10-ды 20-гә бүлеү һөҙөмтәһе $\frac{10}{20}=10/20=5/10=1/2=0,5$ күренешендә яҙыл.

Һанлы күсәр

Тамыр алыу: иррациональ һәм комплекслы һандар

Ҡалып:Main Дәрәжәгә күтәреү өсөн ике кире операцияның берәүһе — тамыр алыу, йәки ярашлы дәрәжәгә күтәргәндә билдәле һөҙөмтәне биргән һанды табыу. Йәғни, алгебра теле менән әйткәндә, $x^a=b$ күренешендәге тигеҙләмәнең тамырын табыу. Икенсе кире операция — логарифмды эҙләү ($a^x=b$ күренешендәге тигеҙләмәнең тамырын табыу). Арифметикаға, ҡағиҙә булараҡ, тик икенсе дәрәжә тамырҙы — квадрат тамырҙы иҫәпләүҙе генә индерәләр.

Тамырҙы иҫәпләү операцияһы, әгәр уны натураль һандарҙы дәрәжәгә күтәреп табып булған һандар өсөн генә ҡулланмаһаң, ҡалған кире операциялар кеүек үк, натураль һандар күмәклегенән ситкә сығырға мәжбүр итә. Был осраҡта килеп сыҡҡан һандар, йыш ҡына, сикле рациональ кәсерҙәр рәүешендә күрһәтелә алмайҙар, һәм шуға күрә иррациональ һандар тип аталалар. Рациональ һандарға иррациональ һандарҙы өҫтәүҙән килеп сыҡҡан һандар күмәклеген, әйберләтә йәки ысын һандар тип атайҙар.

Боронғо Грецияла уҡ үлсәүҙәш булмаған киҫектәр булыуы билдәле булған, кәм тигәндә, яғы бер берәмек итеп алынған квадраттың яғы һәм диагонале миҫалында, һәм улар өсөн теүәл һан ҡиммәте табырға маташҡандар, был Евклидтың «Башланғыстарында» сағылыш таба. Ысын һандар тик XVII—XVIII быуаттарҙа ғына тикшеренеү объекты булалар. XIX быуаттың икенсе яртыһында Дедекинд, Кантор һәм Вейерштрасс үҙҙәренең ысын һанды билдәләүҙең конструктив ысулдарын әйтеп бирәләрҠалып:Sfn.

Тамыр алыу операцияһы өсөн ошондай ҡағиҙә билдәле:

• $a^{\frac{n}{m}}=\sqrt[m]{a^n}$.

Һандар күмәклеген артабан киңәйтеү тиҫкәре һандан квадрат тамыр алыу мөмкин булмауы менән бәйле. Ошондай проблемаға борон квадрат тигеҙләмәләрҙе сығарғанда юлыҡҡандар, һәм ундай тигеҙләмәләрҙе сисеүе мөмкин булмаған тигеҙләмәләр тип иҫәпләгәндәр. XVI быуаттың беренсе яртыһында бындай тигеҙләмәләрҙең сығарылышын тиҫкәре һандарҙан тамыр аша күрһәтә башлағандар һәм ундай тамырҙарҙы «уйланма», «мөмкин булмаған», «уйҙағы» һәм башҡа төрлө атай башлағандарҠалып:Sfn

Практик арифметика

Арифметиканың практик яғы теүәл арифметик ғәмәлдәрҙе башҡарыу ысулдарын, схемаларын һәм алгоритмдарын, шулай уҡ яҡынса иҫәпләүҙең төрлө алымдарын, шул иҫәптән ҡайһы бер үлсәүҙәрҙә теүәл ҡиммәтте табыу мөмкин булмағанлыҡтан барлыҡҡа килгән һәм уның тәртибен, йәғни тәүге мәғәнәле цифрҙарын асыҡларға ярҙам итеүсе иҫәпләү машиналарын һәм башҡа яйланмаларҙы үҙ эсенә алаҠалып:Sfn.

• Иң ябай иҫәпләү ҡорамалдары
• 
  Рим абагы
• 
  Ҡытай суаньпаны
• 
  Инктар юпанаһы
• 
  Урыҫ счёты

Теүәл ысулдар

XV быуаттан башлап күп урынлы һандар өҫтөндә арифметик операцияларҙы башҡарыу өсөн төрлө алгоритмдар тәҡдим ителә, улар аралаш иҫәпләүҙәрҙе яҙыу характеры менән айырылалар. Арифметик алгоритмдар, теләһә ниндәй ыңғай ысын һан $x$ берҙән бер ысул менән

$x=(a_{n-1}{a}_{n-2}\dots a_1{a}_0,a_{-1}{a}_{-2}\dots {)}_b=\sum _{k=-\mathrm{\infty }}^{n-1}{a}_k{b}^k$ күренешендә күрһәтелә алған, ғәмәлдәге позицион иҫәпләү системаһында төҙөлгәндәр, бында $a$ — $x$ һанының яҙылышында сираттағы цифр, $b$ — иҫәпләү системаһының нигеҙе, $n$ — $x$ һанының бөтөн өлөшөнөң разрядтары һаны .

Һандар өҫтөндә бөтә ғәмәлдәр унға тиклем ҡушыу һәм ҡабатлау таблицаларын һәм төп арифметик закондарҙы ҡулланалар. Иллюстрация сифатында билдәле фәнде популярлаштырыусы Клейн ошондай миҫал килтерә:

$7\cdot 12=7\cdot (10+2)=70+14=70+(10+4)=(70+10)+4=80+4=84,$

бында таратыу һәм төркөмләү закондары ҡулланылаҠалып:Sfn.

Тиҙ һәм теүәл иҫәпләүгә булған ихтыяж иң ябай иҫәпләү яйланмалары төҙөүгә килтерә: абак, суаньпаня, юпана йәки счёт. Артабанғы аҙым булып Отред тарафынан 1622 йылда логарифмик линейка төҙөү тора, ул ҡабатлау һәм бүлеү ғәмәлдәрен башҡарырға мөмкинлек бирә.

Компьютер арифметикаһы

Шиккардтың иҫәпләү машинаһының күсермәһе

Кнут арифметик ғәмәлдәрҙе «компьютерҙар өлөшө» тип һанайҠалып:Sfn. Дүрт арифметик ғәмәлде механикалаштырырға мөмкинлек биргән беренсе иҫәпләү машиналарының конструкцияһы XVII быуатта төҙөлә. Үҙе атағанса Шиккардтың «арифметик машинаһы» 1623 йылда төҙөлә. Ҡушыу һәм алыу операциялары цилиндрҙарҙы өйрөлтөү ярҙамында башҡарыла, шулай уҡ ҡабатлау һәм бүлеү өсөн дә махсус цилиндрҙар булған. Бынан тыш, машина тиҫтәләрҙе күсерә алған. Паскалдың машинаһы уның тарафынан 1642 йылда атаһына финанс иҫәп-хисабын башҡарыуҙа ярҙам итеү өсөн эшләнә. Уның эшләү принцибы Шиккард машинаһыныҡы кеүек үк була. Машинаның төп өлөшөн тиҫтәләрҙе күсереү механизмы тәшкил итә. Шуның менән бергә, бындай машиналарҙы һөнәрселек хеҙмәте менән эшләү файҙаһыҙ булып ҡалаҠалып:Sfn. Арифмометрҙы камиллаштырырға маташыуҙар бөтә XVIII быуат дауамында бара, ләкин тик XIX быуатта арифмометрҙарҙы ҡулланыу киң таралыу алаҠалып:Sfn.

XX быуатта арифмометрҙарға алмашҡа электрон иҫәпләү машиналары килә. Уларҙың нигеҙендә арифметик ғәмәлдәрҙе башҡарыу өсөн иң әҙ һанда элементар операциялар ҡулланған алгоритмдар ята. Компьютер арифметикаһы күсеп йөрөүсе өтөрлө һандар, кәсерҙәр һәм бик ҙур һандар өҫтөндә операциялар башҡарыу алгоритмдарын үҙ эсенә алаҠалып:Sfn.

Үлсәү

Иҫәпләргә кәрәк булған предметтарҙан тыш үлсәргә мөмкин булған предметтар бар — беренсе сиратта был оҙонлоҡ һәм массаҠалып:Sfn.

Иҫәпләгәндәге кеүек, кешенең беренсе оҙонлоҡ үлсәме булып ҡулының бармаҡтары тора. Унан һуң алыҫлыҡты аҙымдарҙа, икеләтә аҙым менән, милдәрҙә (мең икеләтә аҙым), стадийҙарҙа (боронғо грек оҙонлоҡ берәмеге, яҡынса 150—190 метрға тигеҙ) үлсәй башлағандар. Бынан тыш, оҙонлоҡто үлсәү өсөн терһәк, ус аяһы, сажиндар, дюймдарҙы ҡуллана башлағандар. Төрлө төбәктәрҙә үҙҙәренең үлсәү системаһы булған, улар бик һирәк унға бүленгәнҠалып:Sfn. Үлсәү берәмектәренең күп төрлөлөгө, айырым алғанда, кәсер ҡулланмаҫҡа мөмкинлек бирәҠалып:SfnҠалып:Sfn. Сауҙа арифметикаһы унарлы булмаған иҫәпләү системаһында дәүмәлдәр (аҡса берәмектәре, оҙонлоҡ һәм ауырлыҡ берәмектәре) менән эш итә белеүҙе үҙ эсенә алаҠалып:Sfn.

XVIII быуат аҙағында француз революцион хөкүмәте тарафынан ваҡытлыса, ә аҙаҡ архив (1799 йылдың 10 декабрендәге закон) метр нигеҙендә үлсәүҙәрҙең метр системаһы ҡабул ителә (Франция уға тулыһынса 1840 йылдың 1 ғинуарынан күсә). Метр менән бер рәттән килограмм билдәләнә. Метр системаһының нигеҙендә унарлы система ята. Тап ошо хәл уға бөтә донъяға тиерлек таралырға мөмкинлек бирә лә инде (Бөйөк Британия һәм АҠШ-ты иҫәпкә алмағанда). Парижда урынлашҡан Халыҡ-ара үлсәмдәр һәм ауырлыҡтар бюроһының махсус ҡарары буйынса, 1888 йылда платина һәм иридийҙың иретмәһенән халыҡ-ара метр һәм халыҡ-ара килограмм — үлсәм һәм ауырлыҡ эталоны әҙерләнә. Ваҡыт һәм мөйөш үлсәмдәренән тыш, бөтә ҡалған үлсәү берәмектәре шулай уҡ унарлы иҫәпләү системаһы менән бәйлеҠалып:Sfn.

Яҡынса ысулдар

Яҡынса иҫәпләүҙәр тарихи рәүештә берәмек квадраттың диагоналенең оҙонлоғон иҫәпләгәндә барлыҡҡа килә, ләкин унарлы системаға күскәндә һәм иррациональ һандар һәм сикһеҙ периодлы кәсерҙәр менән күрһәтелгән һандар урынына сикле унарлы кәсерҙәрҙе ҡулланғанда киң таралыу алаларҠалып:Sfn.

Баһалаусы иҫәпләүҙәр өсөн, беренсе сиратта, монотонлыҡ закондарын ҡулланалар. Мәҫәлән, $567\cdot 134$ ҡабатландығының тәртибен асыҡлау өсөн, түбәндәге баһалау менән файҙаланырға мөмкин: $560\cdot 130<567\cdot 134<570\cdot 140$Ҡалып:Sfn.

Һандар теорияһы

Һандар теорияһы, йәки юғары арифметика, — бөтөн һандар тураһындағы фән, ул һандарҙың бүленеүсәнлеге менән бәйле арифметик мәсьәләләрҙән килеп сыҡҡан. Элементар һандар теорияһы, ғәҙәттә уйланма һандарҙы ҡулланмайынса, элементар ысулдар менән хәл ителгән мәсьәләләр менән эш итә. Уларға бүленеүсәнлек теорияһын, сағыштырыуҙар теорияһын, аныҡ булмаған тигеҙләмәләрҙе, ҡушылыусыларға тарҡатыуҙы, рациональ һандар менән яҡынлашыуҙарҙы, сынйырлы кәсерҙәрҙе индәрәләр. Арифметиканың төп теоремаһы — һанды ябай ҡабатлашыусыларға берҙән-бер ысул менән тарҡатыу тураһында — шулай уҡ һандарҙың элементар теорияһының өлөшө булып тораҠалып:Sfn.

Бөтөн һандарҙың, ябай һандар, ҡушма һандар, квадрат, камил һандар кеүек айырым аҫкластары, боронғо мысырлылар тарафынан уҡ айырылған булған. Улар пифагор өсәүен, иң ҙур уртаҡ бүлеүсене табыу өсөн формула сығарғандар, ябай һандарҙың сикһеҙ икәнен күрһәткәндәр. Диофант ябай һандар менән бәйле мәсьәләләрҙе системалаштырған. Диофанттың эшен XVII быуатта Ферма һәм XVIII быуатта Эйлер дауам итәләр. Ферма бөтөн һандарҙа тигеҙләмәләр сығарыу менән шөғөлләнгән һәм иҫбатламайынса бәләкәй һәм Ферманың бөйөк теоремаһын әйтеп биргән. Эйлер, Ферманың тикшеренеүҙәрен дауам итеп, Ферманың бәләкәй теоремаһын һәм Ферманың бөйөк теоремаһының айырым осрағын иҫбат итә. Ул беренсе булып һандар теорияһы мәсьәләләрен сығарыу өсөн математик анализды ҡуллана һәм аналитик һандар теорияһын барлыҡҡа килтерә. Эйлер яһаусы функцияларҙы билдәләй, улар нигеҙендә әйләнмәле ысул һәм тригонометрик суммалар ысулы төҙөлә.

Хәҙерге ваҡытта, элементар һәм аналитик һандар теорияһынан тыш, аддитив, алгебраик, ихтималлыҡ, метрик кеүек һандар теориялары бүлектәре бар.

Теоретик арифметика

Хәҙерге заман математикаһында теорияны төҙөү төп үҙсәнлектәрен, йәки аксиомаларын һайлауҙан ғибәрәт, уларҙан дөйөм ҡабул ителгән логика ярҙамында теорияның бөтә ҡағиҙәләрен, йәки теоремаларын сығарыу талап ителә. Арифметиканы теоретик төҙөү алгебраик төшөнсәләр менән эш итә. Арифметиканың төп билдәләмәләрен айырып алыу ҡатмарлылығы уның башланғыс ҡағиҙәләренең ябайлығы менән бәйле. Пеано, һүҙҙәрҙе ҡулланғанда ялған ассоциатив рәттән һаҡланып, иҫбатлауҙарҙы, уҙе алдан ҡабул иткән ҡағиҙәләргә генә таянып, тик символдар телендә башҡара. Кантор һәм Дедекинд һандарҙы күмәклектәр һәм улар өҫтөндә абстракт бәйләнештәр менән бәйләйҙәрҠалып:Sfn. Күмәклектәр теорияһы арифметик ғәмәлдәрҙе, бер элемент башҡа ике элемент аша билдәләнгән, өс элемент араһында айырым бәйләнештәр, йәки алгебраик операциялар итеп ҡарайҠалып:Sfn. Күмәклектәр теорияһы тураһында һөйләгәндә Клейн, бындай ҡарашта теорияның үҫеше «ситләштерелгән һәм аңлайышһыҙ» булып китә тип әйтәҠалып:Sfn.

Натураль һандар

1810 йылда чех математигы Больцано натураль һандар өсөн ҡушыу ғәмәленә билдәләмә бирә. Уға бәйһеҙ рәүештә немец математиктары Грассман 1861 йылда һәм Ганкель 1869 йылда оҡшаш билдәләмә бирәләрҠалып:Sfn. «Элементар математика энциклопедияһы» натураль һандарҙы ҡушыуға ошондай билдәләмә тәҡдим итәҠалып:Sfn:

Ҡалып:Рамка Билдәләмә. Натураль һандарҙы ҡушыу тип, һәр $a$ һәм $b$ натураль һандар парына түбәндәге үҙсәнлектәргә эйә булған бер һәм бары бер генә $a+b$ натураль һанын ярашлы ҡуйған ярашлыҡ атала:

• теләһә ниндәй $a$ өсөн $a+1=a^{\prime }$,
• теләһә ниндәй $a$ һәм $b$ өсөн $a+b^{\prime }=(a+b{)}^{\prime }$.

Натураль һандарҙы ҡушыу һәр ваҡыт үтәлеүсән һәм бер мәғәнәлеҠалып:Sfn.

Ҡабатлауға, ҡушыу кеүек үк, бер береһенә бәйһеҙ рәүештә Больцано, Грассман һәм Ганкель билдәләмә бирәләрҠалып:Sfn. «Элементар математика энциклопедияһы» натураль һандарҙы ҡабатлауға түбәндәге билдәләмәне тәҡдим итәҠалып:Sfn:

Ҡалып:Рамка Билдәләмә. Натураль һандарҙы ҡабатлау тип, һәр $a$ һәм $b$ натураль һандар парына түбәндәге үҙсәнлектәргә эйә булған бер һәм тик бер генә $ab$ (йәки $a\cdot b$) натураль һанын ярашлы ҡуйған ярашлыҡ атала:

• теләһә ниндәй $a$ өсөн $a\cdot 1=a$,
• теләһә ниндәй $a$ һәм $b$ өсөн $a\cdot b^{\prime }=a\cdot b+a$.

Натураль һандарҙы ҡабатлау һәр ваҡыт үтәлеүсән һәм бер мәғәнәлеҠалып:Sfn.

1891 йылда Пеано натураль һандар өсөн аксиомалар (башҡа сығанаҡтарҙа шулай уҡ 1889 йыл телгә алына) тәҡдим итәҠалып:Sfn. Шул ваҡыттан алып аксиомалар бик әҙ генә үҙгәреш кисерәләр. Ҡалып:Рамка Билдәләмә. Натураль һандар тип, буш булмаған $\mathbb{N}$ күмәклегенең, ундағы ниндәйҙер $a$ һәм $b$ элементтары өсөн «$b$ $a$» артынан килә бәйләнеше булған, уның өсөн түбәндәге аксиомалар үтәлгән элементтары аталаларҠалып:Sfn:

• Бер һан артынан да килмәгән $1$ һаны бар, йәғни теләһә ниндәй $a$ һаны өсөн $a^{\prime }\ne 1$.
• Теләһә ниндәй $a$ һаны өсөн артабанғы $a^{\prime }$ һаны бар һәм берәү генә, йәғни $a=b$ булһа $a^{\prime }=b^{\prime }$ була.
• Теләһә ниндәй һан берҙән артыҡ булмаған һан артынан килә, йәғни $a^{\prime }=b^{\prime }$ булһа $a=b$ була.
• $1$ $M$-ға инә һәм әгәр $a$ һаны $M$-ға инһә, артабанғы $a^{\prime }$ һаны ла шулай уҡ $M$-ға инә үҙсәнлегенә эйә булған теләһә ниндәй $M$ натураль һандар күмәклеге бөтә натураль һандарҙы үҙ эсенә ала, йәғни $\mathbb{N}$ менән тап килә.

Бөтөн һандар

«Элементар математика энциклопедияһы» натураль һандарҙы алыуға түбәндәге билдәләмәне тәҡдим итәҠалып:Sfn:

Ҡалып:Рамка Билдәләмә. Натураль һандарҙы алыу тип, һәр $a$ һәм $b$ натураль һандар парына, түбәндәге үҙсәнлеккә эйә булған $a-b$ һанын ярашлы ҡуйған ярашлыҡ атала:

• $(a-b)+b=a$.

Натураль һандарҙы алыу $a>b$ булғанда ғына үтәлеүсән, әгәр айырма булһа, ул берҙән берҠалып:Sfn. Натураль һандарҙы ҡушыу һәм алыу үҙсәнлектәре иҫәбенә киңәйтеү бөтөн һандар төшөнсәһенә килтерәҠалып:Sfn.

Ҡалып:Рамка Билдәләмә. Бөтөн һандар ҡулсаһы тип, бөтә натураль һандар күмәклеге $\mathbb{N}$ ингән һәм түбәндәге үҙсәнлектәргә эйә булған $\mathbb{Z}$ минималь ҡулсаһы аталаҠалып:Sfn:

• Натураль һандарҙы ҡушыу һәм ҡабатлау, был һандар өҫтөндә $\mathbb{Z}$ ҡулсаһындағы шул уҡ исемле операциялар менән тап килә;
• $\mathbb{Z}$ ҡулсаһының $\mathbb{N}$ күмәклеге ингән үҙенән айырмалы аҫҡулсаһы юҡ.

$\mathbb{Z}$ ҡулсаһының элементтары бөтөн һандар тип аталалар. Ҡалып:Конец рамки

$\mathbb{Z}$ ҡулсаһы бар һәм изоморфизмға тиклем теүәллек менән берҙән-бер, ә уның һәр элементы натураль һандарҙың айырмаһына тигеҙ. Ҡулса төҙөгәндә $(a,b)$ күренешендәге натураль һандар парын ҡулланалар. Парҙар өсөн эквивалентлыҡ, ҡушыу һәм ҡабатлау түбәндәгесә билдәләнәҠалып:Sfn:

• $(a,b)$ $(c,d)$-ға эквивалентлы шул саҡта һәм бары тик шул саҡта ғына, әгәр $a+d=b+c,$ булһа
• $(a,b)+(c,d)=(a+c,b+d),$
• $(a,b)\cdot (c,d)=(ac+bd,ad+bc).$

Рациональ һандар

«Элементар математика энциклопедияһы» натураль һандарҙы бүлеүгә түбәндәге билдәләмәне тәҡдим итәҠалып:Sfn:

Ҡалып:Рамка Билдәләмә. Натураль һандарҙы бүлеү тип, һәр $a$ һәм $b$ натураль һандар парына түбәндәге үҙсәнлектәргә эйә булған $a:b$ һанын ярашлы ҡуйған ярашлыҡ атала:

• $(a:b)\cdot b=a$.

Натураль һандарҙы бүлеү, $a⋮b$ ($a$ $b$-ға бүленә) булған осраҡта ғына үтәлеүсән, әгәр бүлендек булһа, ул берҙән берҠалып:Sfn. Бөтөн һандарҙы ҡабатлау һәм бүлеү төшөнсәләре иҫәбенә киңәйтеү рациональ һандар билдәләмәһенә килтерәҠалып:Sfn. 1710 йылда уҡ Вольф бөтөн һандар менән арифметик ғәмәлдәрҙе башҡарыуҙың билдәле булған закондары кәсерҙәр өсөн туранан-тура ҡулланыла алмайҙар һәм нигеҙләү талап итәләр тигән талап әйтеп бирә. Нигеҙләү үҙе тик XIX быуатта формаль закондарҙың даимилыҡ принцибын ҡулланып эшләнәҠалып:Sfn.

Ҡалып:Рамка Билдәләмә. Рациональ һандар яланы тип, $\mathbb{Z}$ бөтөн һандар ҡулсаһы ингән һәм түбәндәге үҙсәнлектәргә эйә булған $\mathbb{Q}$ минималь яланы аталаҠалып:Sfn:

• бөтөн һандарҙы ҡушыу һәм ҡабатлау, һандар өҫтөндә $\mathbb{Q}$ яланындағы шул уҡ исемле операциялар менән тап килә;
• $\mathbb{Q}$ яланының үҙенән айырмалы $\mathbb{Z}$ ҡулсаһы ингән аҫяланы юҡ.

$\mathbb{Q}$ яланының элементтары рациональ һандар тип аталалар. Ҡалып:Конец рамки

$\mathbb{Q}$ яланы бар һәм изоморфизмға тиклем аныҡлыҡ менән берҙән бер, ә уның һәр элементы бөтөн һандарҙың бүлендегенә тигеҙ. Бөтөн һандар кеүек үк, рациональ һандар яланын төҙөгәндә $(a,b)$ парҙары күмәклеген ҡулланалар, ләкин хәҙер инде бөтөн һандарҙың, шул уҡ ваҡытта $b\ne 0$. Парҙар өсөн эквивалентлыҡ, ҡушыу һәм ҡабатлауҙы түбәндәгесә билдәләйҙәрҠалып:Sfn:

• $(a,b)$ эквивалентлы $(c,d)$ шул саҡта һәм тик шул саҡта ғына, әгәр $ad=bc$ булһа,
• $(a,b)+(c,d)=(ad+bc,bd),$
• $(a,b)\cdot (c,d)=(ac,bd).$

Ысын һандар

XIX быуаттың икенсе яртыһында ысын һандарҙың төрлө өс теоретик төҙөлөшө тәҡдим ителә. Дедекиндтың тәҡдиме иң популяры була. Кантор үҙенең төҙөлөшөндә сикләнмәләр теорияһын ҡулланаҠалып:Sfn.

Ҡалып:Рамка Билдәләмә. Ысын һандар яланы тип, аҫяланы сифатында $\mathbb{Q}$ рациональ һандар яланы ингән өҙлөкһөҙ $ℝ$ яланы атала. $ℝ$ яланының элементтары ысын һандар тип аталаларҠалып:Sfn. Ҡалып:Конец рамки

$ℝ$ яланы бар һәм изоморфизмға тиклем аныҡлыҡ менән берҙән-бер, уның һәр элементы рациональ һандар эҙмә-эҙлелегенең сикләнмәһенә тигеҙҠалып:Sfn.

Комплекслы һандар

Ҡалып:Рамка Билдәләмә. Комплекслы һандар яланы тип, $ℝ$ ысын һандар яланы һәм шундай $i$ элементы, бында $i^2=-1$ ингән, түбәндәге үҙсәнлектәргә эйә булған $ℂ$ минималь яланы аталаҠалып:Sfn:

• бөтөн һандарҙы ҡушыу һәм ҡабатлау һандар өҫтөндә $ℝ$ яланындағы шул уҡ исемле операциялар менән тап килә;
• $ℂ$ яланының үҙенән айырмалы $ℝ$ ингән аҫяланы юҡ.

$ℂ$ яланының элементтары комплекслы һандар тип аталалар. Ҡалып:Конец рамки

$ℂ$ яланы алгебраик йомоҡ. Комплекслы һандар яланын төҙөгәндә $(a,b)$ тәртипкә килтерелгән парҙар күмәклеген ҡулланалар. Парҙар өсөн эквивалентлыҡ, ҡушыу һәм ҡабатлауҙы түбәндәгесә билдәләйҙәр:

• $(a,b)$ эквивалентлы $(c,d)$-ға шул саҡта һәм тик шул саҡта ғына, әгәр $a=c$ һәм $b=d$ булһа,
• $(a,b)+(c,d)=(a+c,b+d),$
• $(a,b)\cdot (c,d)=(ac-bd,bc+ad).$

Формаль арифметика

Логик-математик төҙөлөш формаль арифметика тип атала. Логикаға күсеү Гильберт мәктәбенең ҡарашы менән бәйле, ул һандар урынына абстракциялар ҡарай һәм улар өсөн төп арифметик закондар дөрөҫ тип уйлайҠалып:Sfn. Арифметиканы нигеҙләү өсөн аксиоматиканың бер нисә варианты тәҡдим ителә. Ҡушыу һәм ҡабатлау билдәләнгән Пеано аксиомалар системаһынан тыш, Пресбургер аксиомалар системаһы бар, унда тик ҡушыу билдәләнгән, шулай уҡ ҡушыу, ҡабатлау һәм дәрәжәгә күтәреү билдәләнгән аксиомалар. Йыш ҡына аксиомалар сифатында операцияларҙың бөтә үҙсәнлектәрен индерәләрҠалып:SfnҠалып:Sfn. Бөтә был аксиоматик теориялар бөтөн һандар күмәклегенә нигеҙләнгәндәр һәм күмәклектәр теорияһы парадоксын үҙ эсенә алмайҙар. Башҡа тикшеренеү ҡараштары арифметиканы күмәклектәр теорияһы аксиомаларынан йәки математик логиканан ситкә алып сыға. Тикшереү уңайлы булһын өсөн аксиомаларҙы математик логиканың махсус формаль телендә яҙалар. Уға $0$, һанлы үҙгәреүсәндәр, ($=,+,\cdot {,}^{\prime }$) символдары һәм логик бәйләүестәр ($\mathrm{\&},\leftarrow ,\mathrm{\forall },\mathrm{\exists },\vee ,ℯ$) инә, постулаттар булып иҫәпләмә предикаттары постулаттары тора. Индукция аксиомаһы бер ниндәй сикле күмәклек менән алмаштырып булмаған сикһеҙ аксиомалар йыйылмаһынан ғибәрәт.

Төп аксиомалар йыйылмаһы өс сифатҡа эйә булырға тейеш:

• ҡапма ҡаршылыҡһыҙ — аксиомалар бер береһе менән конфликтҡа инмәҫкә тейеш;
• бәйләнешһеҙлек — аксиомалар араһында, башҡа аксиомаларҙан логик сығарып булған, артыҡ аксиомалар булырға тейеш түгел;
• тулылыҡ — аксиомалар йыйылмаһы, теләһә ниндәй дөрөҫ әйтелгән теореманы иҫбатларға йәки инҡар итергә мөмкин булһын өсөн етерлек булырға тейеш.

Натураль һандар арифметикаһы математик теорияларҙы нигеҙләү өсөн ҙур әһәмиәткә эйә: уның ҡаршылыҡһыҙ булыуынан ысын һандар арифметикаһының ҡаршылыҡһыҙ булыуы килеп сыға, ул үҙ сиратында, моделдәр ысулын ҡулланып, Евклид геометрияһының һәм Лобачевский геометрияһының ҡаршылыҡһыҙ булыуын күрһәтергә мөмкинлек бирә. XX быуат башында Гильберт Пеано системаһында һәм уға туғандаш аксиоматик системаларҙа арифметиканың ҡаршылыҡһыҙ булыуын иҫбатлау менән һөҙөмтәһеҙ шөғөлләнә. 1930 йылда тулы булмау тураһында Гёдель теоремаһын асҡандан һуң, бындай ябай системаларҙа был мөмкин булмауы асыҡ күренә. Ҡаршылыҡһыҙ булыуҙы 1936 йылда Генцен трансфинит индукция төрөн ҡулланып иҫбатлай.

Бәйләнешһеҙлеген тикшереү өсөн һәр аксиома сират буйынса ҡапма ҡаршы аксиомаға алмаштырыла һәм килеп сыҡҡан аксиомалар йыйылмаһы үтәлгән модель төҙөлә. Әгәр алмаштырылған аксиома бәйле булһа, йәғни башҡа аксиомаларҙан логик сығарып булһа, ул саҡта уны ҡапма-ҡаршыһына алмаштырыу, һис шикһеҙ, ҡаршылыҡлы аксиомалар системаһына килтерә, һәм моделде төҙөү мөмкин түгел. Шулай итеп, әгәр модель төҙөп булһа, ул саҡта ярашлы аксиома бәйләнешһеҙ булаҠалып:Sfn. Ошо ысул менән Пеаноның бөтә аксиомаларының да бер береһенә бәйләнешһеҙ булыуы иҫбат ителәҠалып:Sfn.

Пеано аксиомаларында төҙөлгән формаль арифметика саралары менән һандар теорияһының, математик анализ сараларын ҡулланмайынса иҫбатлап була торған теоремаларын, шулай уҡ рекурсив функцияларҙы һәм уларҙың үҙсәнлектәрен яҙып була. Ул Цермело — Френкелдың сикһеҙлек аксиомаһынан тыш аксиоматик күмәклектәр теорияһына эквивалентнлы. Шуның менән бергә 1929 йылда иҫбат ителгән Тулылыҡ тураһында Гёдель теоремаһы Пеано аксиоматикаһы тулы түгел икәнен күрһәтә, йәғни иҫбатлап та, инҡар итеп тә булмаған арифметик теоремалар бар. Арифметика $\mathrm{\exists }{x}_1\dots \mathrm{\exists }{x}_k(P=Q)$ күренешендәге формулаларға ҡарата тулы булған бер ваҡытта, $\mathrm{\forall }{x}_1\dots \mathrm{\forall }{x}_9(P\ne Q)$ күренешендә теоремалар бар, улар дөрөҫ фекерҙе сағылдыралар, ләкин уларҙы килтереп сығарып булмай. Теоремаларҙың конкрет миҫалдарын табып була: Гудстейн теоремаһы, Парис–Харрингтон теоремаһы һәм башҡалар.

Тарихи очерк

Боронғо математик текстар һәм иҫәпләү системалары

Райнд папирусының бер өлөшө

Мысыр математик текстары мәсьәләләрҙе сығарыу ысулдары күбеһенсә уларға бәйле булған иҫәпләүҙәргә һәм был осраҡта тыуған ҡыйынлыҡтарға айырым иғтибар бүлгәндәр. Боронғо Мысырҙың математик папирустары уҡыу маҡсатында төҙөлгән булғандарҠалып:Sfn, уларҙа сығарылышы менән бергә мәсьәләләр, ярҙамсы таблицалар, бөтөн һандар һәм кәсерҙәр өҫтөндә ғәмәл ҡағиҙәләре бар, арифметик һәм геометрик прогрессиялар, шулай уҡ тигеҙләмәләр осрайҙар. Мысырлылар унарлы иҫәпләү системаһын файҙаланғандарҠалып:Sfn. Мысырлылар шулай уҡ ҡушыу, икеләтеү һәм кәсерҙе берәмеккә тиклем тултырыу кеүек арифметик операцияларҙы белгәндәр. Теләһә ниндәй бөтөн һанға ҡабатлау һәм ҡалдыҡһыҙ бүлеүҙе икеләтеү операцияһын күп тапҡыр ҡабатлау ярҙамында башҡарғандар, был ҙур күләмле иҫәпләүҙәргә килтергән, уларҙа $1,2,4,8,16,...$ эҙмә-эҙлелегенең билдәле бер быуындары ҡатнашҡанҠалып:Sfn. Мысырҙа тик аликвот кәсерҙәр (1 n {\displaystyle {\frac {1}{n}}} {\frac {1}{n}} күренешендәге кәсерҙәр), йәки берәмектең өлөштәре ($1/n$) ҡулланылған, ә бөтә ҡалған кәсерҙәр аликвот кәсерҙәрҙең суммаһына тарҡатылғанҠалып:Sfn. Квадраттың майҙанын, кубтың күләмен йәки майҙаны буйынса квадраттың яғын тапҡанда, был операцияларҙың әлегә исемдәре булмаһа ла, мысырлылар дәрәжәгә күтәреүгә һәм тамыр алыуға юлыҡҡандарҠалып:Sfn.

Вавилон цифрҙары

Вавилон шына яҙыулы математик текстар шумерҙар өсөн характерлы булған алтмышарлы иҫәпләү системаһын ҡулланғандарҠалып:Sfn, һәм $1$-ҙән алып $59$-ға тиклем һандар өсөн ҡабатлау таблицалары, шулай уҡ кире һандар таблицалары, натураль рәт һандарының квадраттары һәм кубтары таблицалары, проценттарҙы иҫәпләү таблицалары, $60$ нигеҙе менән кәсерҙәр ингән уҡыу әсбабтарынан ғибәрәттәрҠалып:Sfn. Арифметик мәсьәләләрҙе сығарғанда вавилонлылар пропорцияларға һәм прогрессияларға таянғандар. Улар арифметик прогрессияның $n$ быуынының суммаһы формулаһын, геометрик прогрессияның суммаһын табыу ҡағиҙәләрен белгәндәр, процентҡа мәсьәләләр эшләгәндәрҠалып:Sfn. Вавилонда күп пифагор өсәүен белгәндәр, моғайын уларҙы эҙләү өсөн билдәһеҙ дөйөм ысул менән файҙаланғандарҙыр. Дөйөм алғанда, $x^2+y^2=z^2$ тигеҙләмәһенең бөтөн һәм рациональ сығарылыштарын табыу мәсьәләһе һандар теорияһына ҡарайҠалып:Sfn. Геометрик мәсьәләләр яҡынса квадрат тамырҙар алыу кәрәклегенә килтерә, уларҙы $\sqrt{a^2+r}\approx a+\frac{r}{2a}$ ҡағиҙәһен һәм һөҙөмтәгә артабан яҡынлау өсөн итерацион ысулдар ҡулланып башҡарғандарҠалып:Ref+.

right тигеҙләмәһе яҙылған

Боронғо мысыр математик текстары б. э. тиклем XIV—VII быуаттарға ҡарайҙар Ҡалып:Sfn Тәү башта мысырлылар аттик нумерация менән файҙаланғандар, уны ваҡыт үтеү менән компактлы хәрефле, йәки Мысыр иҫәпләү системаһы алмаштыра Ҡалып:Sfn. Боронғо Мысыр арифметикаһының үҫеше пифагорсылар мәктәбенеке һанала. Пифагорсылар тәүҙә теләһә ниндәй ике киҫектең сағыштырмаһын бөтөн һандарҙың сағыштырмаһы аша күрһәтергә мөмкин, йәғни геометрия рациональ һандар арифметикаһынан ғибәрәт тип уйлағандар. Улар тик бөтөн ыңғай һандарҙы ҡарағандар һәм һанды берәмектәр йыйынтығы тип билдәләгәндәр. Һандарҙың үҙсәнлектәрен өйрәнеп, уларҙы йоп һәм таҡ (икегә бүленеүсәнлек билдәһе һымаҡ), ябай һәм ҡушма һандарға бүлгәндәр, сикһеҙ күп пифагор өслөләрен белгәндәрҠалып:Sfn. Б. э. тиклем 399 йылда бүленеүсәнлектең дөйөм теорияһы барлыҡҡа килә, ул Сократтың уҡыусыһы Теэтеттыҡы һанала. Евклид «Башланғыстарҙың» VII китабын һәм IX китаптың бер өлөшөн шуға арнаған. Теорияның нигеҙендә ике һандың иң ҙур уртаҡ бүлеүсеһен табыу өсөн Евклид алгоритмы ята. Теләһә ниндәй һанды ябай ҡабатлашыусыларға тарҡатыу мөмкинлеге һәм бындай тарҡатыуҙың берҙән берлеге алгоритмдың эҙемтәһе булып тораҠалып:Sfn.

Шуның менән бергә берәмек квадраттың диагоналы һәм яғы үлсәүҙәш булмауын пифагорсылар иҫбатлаған тип һанала. Был асыш бөтөн һандарҙың сағыштырмаһы теләһә ниндәй киҫектәрҙең сағыштырмаһын күрһәтеү өсөн етерлек түгел, һәм шуның нигеҙендә метрик геометрияны төҙөү мөмкин түгел тигәнде аңлатаҠалып:Sfn. Иррационаллек тураһында тәүге ғилем Теэтеттыҡы тип иҫәпләнә. Евклид алгоритмы рациональ һанды өҙлөкһөҙ кәсергә тарҡатыуҙың тулы булмаған бүлендеген табырға ярҙам итә. Шуның менән бергә өҙлөкһөҙ кәсер төшөнсәһе Боронғо Мысырҙа булмайҠалып:Sfn. III быуатта Диофант алгебраны арифметикаға түгел, ә геометрияға таянып төҙөй башлай. Диофант шулай уҡ һандар өлкәһен тиҫкәре һандарға киңәйтәҠалып:Sfn.

Рим нумерация системаһы иҫәпләүҙәр өсөн әҙ ҡулайлы була. Рим һан тамғалары алфавит барлыҡҡа килгәнгә тиклем үк барлыҡҡа килгәндәр һәм уның хәрефтәренән килеп сыҡмағандар. Беренсе башлап $1$-ҙән алып $9$-ға тиклем һандар вертикаль һыҙыҡтар һаны менән тамғаланған тип иҫәпләнә, ә уларҙы һыҙыу һанды унлатыуҙы аңлатҡан ($X$ һаны шунан килеп сыҡҡан). Ярашлы рәүештә, $100$ һаны килеп сыҡһын өсөн, таяҡты ике тапҡыр сыйғандар. Аҙағыраҡ система ябайлашаҠалып:Sfn. Хәҙерге ваҡытта ул башлыса тәртип һандарын тамғалау өсөн ҡулланыла.

XIV быуатҡа тиклем Ҡытай математикаһы иҫәпләү таҡтаһында сығарыу өсөн иҫәпләү алгоритмдары йыйылмаһынан ғибәрәт булған Ҡалып:Sfn. Иҫәпләү таҡтаһында башҡарылған ҡушыу һәм алыу арифметик операциялары өҫтәлмә таблицалар талап итмәгән, ҡабатлау өсөн $1\times 1$-ҙән алып $9\times 9$-ға тиклем таблица булған. Ҡабатлау һәм бүлеү ғәмәлдәре өлкән разрядтарҙан башлап башҡарылған, был ваҡытта аралағы һөҙөмтәләр таҡтанан юйылған, шул арҡала дөрөҫлөгөн тикшереү мөмкин булмаған. Башта ҡабатлау һәм бүлеү бәйһеҙ ғәмәлдәр булалар, ләкин аҙаҡ Сунь Цзы уларҙың үҙ-ара кире булыуына иғтибар иткәнҠалып:Sfn. Ҡытайҙа ике ялған фекер ҡағиҙәһе ярҙамында мәсьәлә сығара белгәндәрҠалып:Sfn, ә Һыҙыҡлы тигеҙләмәләр системаһын сығарыу өсөн тиҫкәре һандар индәргәндәр. Тәүҙә улар тик иҫәпләү процесында ҡулланылғандар һәм иҫәпләү аҙағында таҡтанан юйылғандар, аҙаҡ ҡытай ғалимдары уларға бурыс йәки тулмау тигән мәғәнә биргәндәрҠалып:Sfn.

Урта быуаттарҙа арифметика

Һинд цифрҙары (б. э. тиклем I быуат) һәм уларға ярашлы хәҙерге цифрҙар

Позицион иҫәпләү системаһы (нолде лә индереп ун цифр) Һиндостанда индерелә. Ул арифметик операцияларҙы башҡарыуҙың сағыштырмаса ябай ҡағиҙәләрен эшләргә мөмкинлек бирә. Һиндостанда төп арифметик ғәмәлдәр тип ҡушыу, алыу, ҡабатлау, бүлеү, дәрәжәгә күтәреү һәм куб, квадрат һәм куб тамырҙар алыу һанала, улар өсөн ҡағиҙәләр эшләнә. Иҫәпләүҙәр ҡомло йәки туҙанлы таҡтала йәки ерҙә башҡарыла һәм таяҡ менән яҙылаҠалып:Sfn. Һиндтар кәсерҙәрҙе белгәндәр һәм улар өҫтөндә ғәмәлдәр башҡарғандар, пропорцияларҙы, прогрессияларҙы белгәндәрҠалып:Sfn. Б. э. VII быуатында уҡ тиҫкәре һандар менән эш иткәндәр, уларҙы бурыс тип аңлатҡандар, шулай уҡ иррациональ һандарҙы ҡулланғандарҠалып:Sfn.

«Һинд иҫәбе тураһында» китабының латин теленә тәржемәһенең бер бите

IX быуат башында Әбү Ғабдулла Мөхәммәт ибн Муса әл-Хәрәзми «Һинд иҫәбе тураһында» тигән китап яҙған. Дәреслеккә «төрлө төрҙәге һәм сорттағы» практик мәсьәләләрҙең сығарылышы ингән һәм ул позицион иҫәпләү системаһын ҡулланып яҙылған беренсе китап була, быға тиклем цифрҙарҙы иҫәпләү таҡтаһында иҫәпләүҙәр башҡарыу өсөн генә ҡулланған булғандарҠалып:SfnҠалып:Sfn. XII быуатта Аделард һәм Иоанн Севельский тарафынан китаптың латин теленә ике тәржемәһе эшләнгәнҠалып:Sfn. Уның оригиналы һаҡланмаған, ләкин 1857 йылда «әл-Хәрәзми һинд һаны тураһында» исеме аҫтында табылған латин теленә тәржемәһе баҫылып сыҡҡанҠалып:Sfn. Трактатта һинд цифрҙары ярҙамында иҫәпләү таҡтаһында ҡушыу, алыу, икеләтеү, ҡабатлау, икегә бүлеү, бүлеү һәм квадрат тамыр алыу кеүек арифметик ғәмәлдәрҙе башҡарыу һүрәтләнәҠалып:Sfn. Кәсерҙәрҙе ҡабатлау, бүлеү кеүек үк, пропорциялар ярҙамында ҡарала: $a$-ны $b$-ға ҡабатлау $q:a=b:1$ үтәлгән $q$ һанын эҙләүгә тиң булған. Был теория ғәрәп арифметикаһының нигеҙе булған. Әммә шуның менән бергә, теләһә ниндәй кәсерҙе аликвот кәсерҙәр суммаһы күренешендә күрһәтеүсе, кәсерҙәрҙең икенсе иҫәпләмәһе лә булғанҠалып:Sfn. Мәсьәләләр эшләү өсөн ғәрәптәр, Һиндостандан килгән һәм бер нисә башҡа ысулдар менән бер рәттән Әл-Бируниҙың «Об индийских рашиках» китабында тасуирланған өсләтә ҡағиҙә менән, Ҡытайҙан килгән һәм Куста ибн Лукканың «Книга о правиле двойного ложного положения» китабында теоретик нигеҙләнгән ике ялған фекер ҡағиҙәһе менән файҙаланғандарҠалып:Sfn.

Испания һәм Сицилия аша X быуатта Европаның ғәрәп донъяһы менән фәнни бәйләнештәре үҫешә башлай. Ошо ваҡытта һуңғараҡ папа Сильвестр II булып киткән ғалим монах Герберт Каталонияға килә. «Книжка о делении чисел» һәм «Правила счёта на абаке» яҙмаларын уныҡы тип иҫәпләйҙәр. Ике китабында ла һандар һүҙҙәр йәки рим цифрҙары менән яҙылғанҠалып:Sfn. Герберт абакта иҫәпләүселәрҙе «абацистар» тип атай. XII—XIII быуаттарҙа Европала арифметика буйынса ғәрәп китаптарының тәржемәләре күренә башлай. Китаптарҙа килтерелгән унарлы позицион нумерация яҡлылар ғәрәп математигы әл-Хәрәзмиҙың латинса исеме буйынса «әлгористар» тип аталаларҠалып:Sfn. XIII быуат башында Көнбайыш Европала ике иҫәпләү системаһы була: абакка нигеҙләнгән һәм Герберт тарафынан хупланған иҫке, һәм яңы, Леонардо Фибоначчи тарафынан хупланған позицион һинд системаһы. Яйлап яңы система өҫтөнлөк алаҠалып:SfnҠалып:Sfn. Уның төп өҫтөнлөгө булып арифметик операцияларҙың ябайлашыуы тоа. Шуның менән бергә Германияла, Францияла һәм Англияла XV быуат аҙағына тиклем яңы цифрҙар ҡулланылмай. Иҫке нумерация тик XVI—XVII быуаттарҙа тулыһынса ҡыҫырыҡлап сығарылаҠалып:Sfn.

1427 йылда әл-Каши унарлы кәсерҙәр системаһын тасуирлай, ул Стевиндың 1585 йылдағы хеҙмәттәренән һуң киң таралыу ала. Стевин унарлы системаны мөмкин тиклем киңерәк таратырға теләй. Тап шуның өсөн ул үҙенең хеҙмәттәрен латин телендә түгел, ә француз һәм фламанд телдәрендә яҙа. Бынан тыш, ул унарлы үлсәүҙәр системаһын индереүҙе яҡлап көрәшеүсе булып китәҠалып:Sfn.

Яңы осор арифметикаһы

Арифметик таблицалар. 1835

XVII быуатта диңгеҙҙә йөҙөү астрономияһы, механика, ҡатмарлыраҡ коммерция иҫәп-хисабы арифметика алдына иҫәпләү техникаһына яңы бурыстар ҡуя һәм уның артабанғы үҫешенә этәргес бирә. Һан төшөнсәһе ҙур үҙгәреш кисерә. Әгәр элек һандар өлкәһенә күбеһенсә тик ыңғай рациональ һандарҙы индерһәләр, XVI быуат башынан иррациональ һәм тиҫкәре һандар нығыраҡ танылыу алалар. Ньютон үҙенең лекцияларында һандарҙы өс төргә бүлә: бөтөн (берәмек менән үлсәнәләр), кәсер (берәмек өлөшө бүленеүселәре) һәм иррациональ һандар (берәмек менән үлсәүҙәш түгел). 1710 йылдан башлап һандың был билдәләмәһе бөтә дәреслектәргә ныҡлы үтеп инәҠалып:Sfn.

XVII быуат башында Непер логарифмдарҙы уйлап таба. Логарифмдарҙы һәм унарлы кәсерҙәрҙе ҡулланыу, арифметикаға рациональ яҡынайыуҙар эҙмә-эҙлелеге булараҡ иррациональ һан төшөнсәһен индереү XVII быуат аҙағына арифметиканың ҡулланыу өлкәһен киңәйтә һәм өҙлөкһөҙ дәүмәлдәрҙе өйрәнеү өсөн фәндең фундаменталь әһәмиәтен билдәләй.

Математиканың нигеҙҙәрен тәнҡит күҙлегенән ҡайтанан ҡарау Лобачевскийҙың геометрияһы менән бәйле, был XIX быуатта була. XVIII быуатта уҡ әле һан төшөнсәһен теоретик нигеҙләргә маташыуҙар башлана. Лейбниц беренсе булып арифметиканы дедуктив төҙөү бурысын ҡуя, атап әйткәндә, 1705 йылда үҙенең «Новые опыты о человеческом разуме» хеҙмәтендә «ике плюс ике тигеҙ дүрткә» тигеҙлеген иҫбатлау кәрәклеген күрһәтә. Был мәсьәләне хәл итергә маташып Вольф 1770 йылда, Шульц — 1790 йылда, Ом — 1822 йылдау, Грассман — 1861 йылда һәм, нимәйәт, Пеано — 1889 йылда үҙҙәренең аксималарын тәҡдим итәләрҠалып:Sfn.

1758 йылда Кестнер «Арифметиканың, геометрияның, яҫы һәм сферик тригонометрияның тәүге нигеҙҙәре һәм перспективалары» хеҙмәтендә бөтә арифметик төшөнсәләрҙе бөтөн һан аша нигеҙләргә саҡыра. Шулай итеп ул, китаптағы тәртиптә, натураль һандарҙы, кәсерҙәрҙе, тиҫкәре һандарҙы, унарлы кәсерҙәрҙе, иррациональ һандарҙы һәм шунан һуң ғына бәйләнештәр теорияһын билдәләйҠалып:Sfn. Тиҫкәре һандар теорияһын төҙөгәндә, тиҫкәре һан нулдән бәләкәй, йәғни, бер нәмә лә булмағандан да бәләкәй тигән раҫлау төп проблема булып тораҠалып:Sfn.

Каспаром Вессель 1799 йылда «Опыт об аналитическом представлении направления и его применениях, преимущественно к решению плоских и сферических многоугольников» хеҙмәтендәе комплекслы һандарға тулыһынса геометрик аңлатма тәҡдим итә. Вессель теорияны өс үлсәмле арауыҡҡа дөйөмләштерергә маташа, ләкин был барып сыҡмай. Гамильтон ҡабатлағанда коммутативлыҡ законы үтәлмәгән кватерниондар теорияһын төҙөгәнгә тиклем был мәсьәлә асыҡ ҡала. Шуның менән бергә Вейерштрастың, Фробениустың һәм Пирстың тикшеренеүҙәренән, һан төшөнсәһен комплекслы һандарҙан тышҡа киңәйткәндә ниндәй ҙә булһа арифметик закондан баш тартырға тура килә икәне күренә Ҡалып:Sfn.

Арифметика мәғарифта

Арифметик төшөнсәләрҙең барлыҡҡа килеүе иҫәпләү процесы менән тығыҙ бәйләнгән. Уның нигеҙендә фекерләү эшмәкәрлегенең предметты таный белеү; предметтарҙы айыра белеү; предметтар йыйылмаһын элементтарға айырыу, иҫәпләүҙә тиң хоҡуҡлылар (икенсе төрлө әйткәндә, иҫәпләү берәмеге менән ҡулланыу); элементтарҙы эҙмә-эҙ урынлаштыра белеү, уларҙы тәртипкә килтереү кеүек элементтары ята, был сифаты буйынса төрлө предметтарҙы иҫәпләүгә һәм һан төшөнсәһе барлыҡҡа килеүгә килтерә. Балалар менән төшөнсәне өйрәнгәндә ошондай процестарҙы күҙәтергә мөмкин.

Башланғыс белем биреү стандарттары һандарҙы миллионға тиклем иҫәпләй һәм сағыштыра белеү күнекмәһен, төп үлсәү берәмектәре һәм улар араһындағы нисбәт менән эш итә белеүҙе, төп дүрт арифметик операцияны башҡара белеүҙе (телдән 100-гә тиклем һәм яҙма 10 000-гә тиклем), шулай уҡ ҡалдыҡлы бүлеүҙе, бер нисә арифметик ғәмәлдән торған һанлы аңлатманың ҡиммәтен таба белеүҙе талап итә. Мәктәп материалы күргәҙмә күҙаллауҙар ярҙамында бирелә. Беренсе класта балалар һан образдары һәм предметтар һаны менән эш итәләр, иҫәп 20-гә тиклем. Икенсе класта унарлы системаны, позицион системаны, ҡабатлау таблицаһын индерәләр, иҫәп 100-гә тиклем. Өсөнсө класта күп урынлы һандар менән арифметик ғәмәлдәрҙе индәрәләр. Артабанғы аҙым булып хәрефле тамғалауҙарға, икенсе төрлө әйткәндә — билдәленән абстрактлыға күсеү тора. Клейндың фекеренсә, тап ошонан математика башланаҠалып:Sfn. Башланғыс мәктәптә арифметиканы өйрәнеүҙең ҡыйынлығы предметтарҙың тәбиғәтенән ситләштерелгән иҫәп башҡарырға кәрәк булыуындаҠалып:Sfn.

Урта мәктәптә уҡытыу һан төшөнсәһен киңәйтеү менән бәйле, кәсерҙәр һәм улар өҫтөндә ғәмәлдәр, тиҫкәре һандар, иррациональ һандар индереләҠалып:Sfn. Ысын һәм комплекслы һандар, шулай уҡ Евклид алгоритмы һәм арифметиканың төп теоремаһы тулы урта белемгә инә. Рәсәй Федераль дәүләт белем биреү стандартына ярашлы, ««Арифметика» бүлегенең йөкмәткеһе уҡыусылар тарафынан математиканы артабан өйрәнеү өсөн нигеҙ булып тора, һәм уларҙың логик фекерләүе үҫешенә, алгоритмдар менән файҙалана белеүҙәрен формалаштырырға, шулай уҡ көндәлек тормошта кәрәк булған практик күнекмәләргә эйә булырға булышлыҡ итә».

Хәҙерге донъяла математик грамоталылыҡ белем биреүҙең төп маҡсаттарының береһе булып тора. Ул үҙ эсенә, атап әйткәндә, арифметик ғәмәлдәрҙе башҡара белеүҙе, иҫәп-хисап һәм үлсәүҙәр башҡарыуҙы индерә. Балаларҙың һәм ололарҙың математик грамоталылыҡ мәсьәләләре менән ЮНИСЕФ һәм ЮНЕСКО кеүек ойошмалар шөғөлләнә.

Шуның менән бергә арифметик ғәмәлдәргә өйрәтеү оҙаҡ ваҡыт өлгө буйынса механик башҡарыуға ҡайтып ҡалды. Боронғо Ҡытайҙа математиканы уҡытыуға, экзамендар биреүҙе лә индереп, ҙур иғтибар бүленә. Император академияһында математика ете йыл өйрәнелә. Ләкин классик математик трактаттарға догма һымаҡ ҡарайҙар һәм яңынан үҙгәрешһеҙ баҫтырып сығарылаларҠалып:Sfn.

Европала XVI быуатта Тарталья тарафынан ҡушыуға, алыуға, ҡабатлауға һәм бүлеүгә систематик күнегеүҙәр тәҡдим ителә, ләкин улар әле оҙаҡ ваҡыт ҡулланылышҡа инмәйҙәрҠалып:Sfn. Бынан тыш, Урта быуаттарҙа күп һандағы айырым арифметик мәсьәләләрҙе сығарыу өсөн ҡағиҙәләр була. Ҡайһы бер дәреслектәрҙә 26-ға тиклем шундай ҡағиҙәләр осрай, шуның менән бергә улар дәреслектән дәреслеккә тап килмәҫкә мөмкиндәрҠалып:Sfn. Ҡайһы бер ҡағиҙәләр әле лә үҙҙәренең актуаллеген юғалтмағандар. Уларға пропорцияларҙы (кәсерҙәрҙе ике һандың сағыштырмаһы итеп ҡарағандар, был ғәмәлдәрҙе башҡарыу өсөн пропорцияларҙы ҡарауға килтергән), проценттарҙы индәрәләрҠалып:Sfn.

Арифметика уҡытыу кимәле буйынса ете ирекле сәнғәттең дүртенсеһе булып тора. Унан алда Грамматиканан, Риториканан һәм Диалектиканан торған тривиум, ә ул үҙе квадривиумда юғары фән булып тора, уға шулай уҡ Геометрия, Музыка һәм Астрономия инә. Тәүге Европа университеттары барлыҡҡа килгәс математика сәнғәт факультеттарында квадривиум булараҡ уҡытыла һәм ярҙамсы фән була. Арифметика буйынса беренсе лекцияларҙы 1412 йылда Вена университеты магистры Иоганн Гмунден уҡыйҠалып:Sfn.

Арифметика философияла һәм сәнғәттә

Мартин де Вос. Ете ҡыҙ. 1590

Пифагорcылар бөтөн һандарҙың сағыштырмаһын киҫектәрҙең геометрик сағыштырмаһы, шулай уҡ гармонияла һәм музыкала аналогик сағыштырмалар өсөн ҡулланғандан һуң, улар ғаләмдың бөтә законлыҡтарын һандар ярҙамында тасуирлап була, ә арифметика сағыштырмаларҙы күрһәтеү һәм донъяның моделен төҙөү өсөн кәрәк тигән фекергә киләләрҠалып:Sfn. Шуның менән бергә, бөтөн һандарҙың сағыштырмалары теләһә ниндәй киҫектәрҙең сағыштырмаһын күрһәтеү өсөн етерлек түгел (квадраттың яғы һәм диагонале үлсәүҙәш түгел) һәм шул арҡала метрик геометрияны төҙөү мөмкин түгел икәне пифагорсыларҙың асыштарының береһе булып тораҠалып:Sfn. Сикле үлсәм төҙөү һәм ысын һанды билдәләү проблемалары б. э. тиклем V быуаттың фәнни кризисын асып һала, Боронғо Мысырҙың бөтә философик мәктәптәре ошо проблеманан сығыу юлдарын эҙләү менән шөғөлләнә. Был проблемаларҙы хәл итеүҙә килеп тыуған бөтә ҡыйынлыҡтарҙы Зенон Элейскийгә уның парадокстарында, йәки апорияларында күрһәтергә мөмкин булаҠалып:Sfn.

Марциан Капелла үҙенең «Свадьба Философии и Меркурия» трактатында бөтә ете сәнғәттең һәм шул иҫәптән Арифметиканың визуаль образдарын тыуҙыра. Сәнғәттәрҙе ярашлы атрибуттары менән ҡатын-ҡыҙҙар кәүҙәләндерәләр, уларҙы сфераның билдәле вәкилдәре оҙатып йөрөй. Арифметика үҙенең ҡулдарына цифрҙар яҙып тултырылған скрижаль (изге яҙма төшөрөлгән таҡта) йәки абак тотҡан. Уны Пифагор оҙатып йөрөй.

Иҫәп Будданы һынауҙарҙың береһе була. Уҡтан атыуҙа, йүгереүҙә һәм йөҙөүҙә ярыштарҙан һуң математик Арйюна $10^9$ ҙурыраҡ булған бөтә һанлы дәрәжәләрҙе әйтеп бирергә ҡушҡан. Будда $10^{53}$-нә тиклем егерме ике дәрәжәне әйткән (тик таҡ дәрәжәләрҙең генә исемдәре булған), һәм был әле тик беренсе һанау булған, икенсе һанауҙа Будда $10^{421}$-гә тиклем дауам иткән. Артабанғы заданиела Будда бер милдәге, ә аҙаҡ ер йөҙөндәге атомдар һанын иҫәпләгәнҠалып:Sfn. Шундай «һанлы баҫҡыстар» күп тапҡыр һинд дини шиғриәтендә осрайҙар, шуның менән бергә һандарҙы белдереүсе һүҙҙәр төрлө булырға мөмкиндәр. Бындай баҫҡыстарҙың тәғәйенләнеше — рухи бейеклеккә күтәрелеү. «Лилаватистара» исемле һинд китабында Ер ханымдың, сибәр Гопаның кейәү егеттәре араһында яҙмала, арифметикала, көрәштә һәм уҡ һелтәү сәнғәтендә ярышы һүрәтләнә. Әҫәрҙең күп өлөшө арифметикала ярышҡа арналғанҠалып:Sfn.

Һиндостандағы кеүек, майя әһелдәре тарафынан яһалма төҙөлгән бик ҙур һандар «һанлы баҫҡыс» буйлап бейегерәккә күтәрелергә, аллаларға яҡынайырға тырышыу тураһында һөйләйҠалып:Sfn.

Иҫкәрмәләр

Комментарийҙар

Ҡулланылған әҙәбиәт һәм сығанаҡтар

Әҙәбиәт

• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:Книга
• Ҡалып:СтатьяҠалып:Ref-en
• Ҡалып:КнигаҠалып:Ref-en