# Математик индукция

Математик индукция — математик иҫбатлау ысулы. Ул ниндәйҙер раҫлауҙың бөтә натураль һандар өсөн дөрөҫлөгөн иҫбат итеү өсөн ҡулланыла. Бының өсөн тәүҙә $1$ номерлы раҫлауҙың дөрөҫлөгө — индукцияның базаһы (базис) тикшерелә, ә артабан, әгәр $n$ номерлы раҫлау дөрөҫ булһа, артабанғы $n+1$ номерлы раҫлау ҙа дөрөҫ икәнлеге иҫбатлана — индукция аҙымы, йәки индукцион күсеү.
Индукция буйынса иҫбатлау домино принцибы тип аталған күренештә асыҡ күрһәтелергә мөмкин. Теләһә ниндәй һандағы домино һөйәге бер рәткә, һәр һөйәк ҡолағанда һис шикһеҙ үҙенән һуң килгән һөйәкте ҡолатырлыҡ итеп теҙелгән булһын, ти (индукцион күсеү ошонан ғибәрәт тә инде). Ул саҡта, әгәр беҙ беренсе һөйәкте этһәк (был индукцияның базаһы), бөтә һөйәктәр ҙә ҡолай.

# Математик индукция
## Формулировкаһы

* $P_{1}$ раҫлауы дөрөҫ булыуы асыҡланһын, ти. (Был раҫлау индукцияның базаһы тип атала.)
* Теләһә ниндәй n өсөн, әгәр $P_{n}$ раҫлауы дөрөҫ булһа, $P_{n+1}$ раҫлауы ла дөрөҫ икәне иҫбат ителһен, ти. (Был раҫлау индукцион күсеү тип атала.)
* Ул саҡта эҙмә-эҙлелектең бөтә раҫлауҙары ла дөрөҫ була.
Иҫбатлауҙың был ысулы өсөн индукция аксиомаһы тип аталған, натураль һандарҙы билдәләүсе Пеано аксиомаларының бишенсеһе логик нигеҙләү булып хеҙмәт итә. Индукция ысулының дөрөҫлөгө, натураль һандарҙың теләһә ниндәй буш булмаған аҫкүмәклегендә иң бәләкәй элемент бар, тигән раҫлауға эквивалентлы.

# Математик индукция
## Формулировкаһы
### Тулы математик индукция принцибы

Тулы математик индукция принцибы тип аталған вариант бар. Бына уның ҡәтғи формулировкаһы:
Был вариантта индукция базаһы артыҡ булып сыға, сөнки индукцион күсеүҙең айырым осрағы булып тора. Ысынлап та, $n=1$ булғанда $(\forall i\in \{1;\dots ;n-1\})P_{i}\longrightarrow P_{n}$ импликацияһы $P_{1}$-гә эквивалентлы. Ләкин йыш ҡына $P_{1}$ өсөн индукцион күсеүҙе барыбер айырым иҫбатларға тура килә, шуға күрә был өлөштө база сифатында айырыу дөрөҫ була. Тулы математик индукция принцибы Пеано аксиомаларынан индукция аксиомаһына эквивалентлы.
Ул шулай уҡ көслөрәк трансфинитлы индукцияның тура ҡулланылышы булып тора.

# Математик индукция
## Тарихы

Блез Паскаль һәм Герсонид математик индукцияның айырым мөһим ысул икәнен аңлайҙар. Шулай ҙа боронғо замандарҙа уҡ Прокл Диадох һәм Евклид тарафынан был ысулды ҡулланыуҙың айырым осраҡтары булған. Ысулдың хәҙерге атамаһын де Морган Огастес 1838 йылда индерә.

# Математик индукция
## Миҫалдар

Мәсьәлә. Теләһә ниндәй n натураль һаны һәм q ≠ 1 ысын һаны өсөн: $1+q+q^{2}+\cdots +q^{n}={\frac {1-q^{n+1}}{1-q}}$ тигеҙлеге үтәлеүен иҫбат итергә.
Иҫбатлау. n буйынса индукция.
База, n = 1:
    $1+q={\frac {(1-q)(1+q)}{1-q}}={\frac {1-q^{1+1}}{1-q}}.$
Күсеү:
    $1+q+\cdots +q^{n}={\frac {1-q^{n+1}}{1-q}}$ тип уйлайыҡ,
Ул саҡта
    $1+q+\cdots +q^{n}+q^{n+1}={\frac {1-q^{n+1}}{1-q}}+q^{n+1}=$
    $={\frac {1-q^{n+1}+(1-q)q^{n+1}}{1-q}}={\frac {1-q^{n+1}+q^{n+1}-q^{(n+1)+1}}{1-q}}={\frac {1-q^{(n+1)+1}}{1-q}}$,
Шуны иҫбат итергә һоралғайны ла инде.
Комментарий: был иҫбатлауҙа $P_{n}$ раҫлауының дөрөҫлөгө — шул уҡ,
    $1+q+\cdots +q^{n}={\frac {1-q^{n+1}}{1-q}}$ тигеҙлегенең дөрөҫлөгө кеүек үк.

# Математик индукция
## Төрлөлөктәре һәм дөйөмләштереүҙәр

* Кире индукция
* Структур индукция
* Трансфинитлы индукция