Факториал
n һанының факториалы (лат. factorialis — эшләүсе, яһаусы, ҡабатлаусы; n! тамғалана, эн факториа́л тип уҡыла) — 1-ҙән алып n -ға тиклем, n-ды ла индереп, бөтә натураль һандарҙың ҡабатландығы:
Мәҫәлән:
- .
Килешеү буйынса: . Шулай уҡ был тигеҙлек тәбиғи рәүештә лә үтәлә:
Факториал тиҫкәре булмаған бөтөн һандар өсөн генә билдәләнә. Тиҫкәре булмаған бөтөн һандарҙың факториалдары эҙмә-эҙлелеге ошолай башлана[1]:
- 1, 1, 2, 6, 24, 120, 720, 5040, 40 320, 362 880, 3 628 800, 39 916 800, 479 001 600, 6 227 020 800, 87 178 291 200, 1 307 674 368 000, 20 922 789 888 000, 355 687 428 096 000, 6 402 373 705 728 000, 121 645 100 408 832 000, 2 432 902 008 176 640 000, …
Факториалдарҙы йыш ҡына комбинаторикала, һандар теорияһында һәм функциональ анализда ҡулланалар. Факториалдың тамғаланышын француз математигы Кристиан Крамп 1808 йылда тәҡдим иткән[2]. Факториал бик тиҙ үҫеүсе функция булып тора. Ул теләһә ниндәй дәрәжәләге күпбыуынға ҡарағанда ла тиҙерәк үҫә, экспоненциаль функцияға ҡарағанда ла тиҙерәк үҫә (ләкин икеләтә экспоненциаль функцияға ҡарағанда яйыраҡ үҫә).
Үҙсәнлектәре
үҙгәртергәРекуррент формула
үҙгәртергәКомбинаторлы интерпретация
үҙгәртергәКомбинаторикала n натураль һанының факториалы n элементтан торған күмәклектең перестановкалары һаны булараҡ интерпретациялана. Мәҫәлән, дүрт элементтан торған {A,B,C,D} күмәклеге өсөн 4! = 24 перестановка бар:
ABCD BACD CABD DABC ABDC BADC CADB DACB ACBD BCAD CBAD DBAC ACDB BCDA CBDA DBCA ADBC BDAC CDAB DCAB ADCB BDCA CDBA DCBA
Факториалды комбинаторик интерпретациялау 0! = 1 тождествоһфын нигеҙләргә лә мөмкинлек бирә, сөнки буш күмәклек бер генә ысул менән тәртипкә һалынырға мөмкин.
Гамма-функция менән бәйләнеш
үҙгәртергәФакториал бөтөн аргументлы гамма-функция менән түбәндәге нисбәт ярҙамында бәйләнгән:
Шулай итеп, гамма-функцияны факториалды ыңғай ысын һандар өсөн дөйөмләштереү тип ҡарайҙар. Аналитик дауам итеү юлы менән, булғандағы айырым нөктәләрҙе алып ташлап, уны бөтә комплекслы яҫылыҡҡа киңәйтәләр.
Факториалдың ысын (һәм комплекслы) һандар күмәклегенә туранан тура дөйөмләштереү булып түбәндәгесә билдәләнгән пи-функция тора:
- .
булғанлыҡтан, натураль һандан пи-функция уның факториалы менән тап килә: Факториал булараҡ, пи-функция рекурсив нисбәтте ҡәнәғәтләндерә:
Стирлинг формулаһы
үҙгәртергәСтирлинг формулаһы — факториалды иҫәпләү өсөн асимптотик формула:
(ҡара. ҙур-O)[3]. Күп осраҡта факториалды яҡынса иҫәпләү өсөн Стирлинг формулаһының баш быуынын ғына ҡарау етә:
Шуның менән бергә,
- тип раҫлап була
Стирлинг Формулаһы, натураль һандар эҙмә-эҙлелеген ҡабатлап тормайынса, туранан тура, ҙур һандарҙың факториалының яҡынса ҡиммәтен табырға мөмкинлек бирә. Шулай, Стирлинг формулаһы ярҙамында еңел иҫәпләп була:
- 100! ≈ 9,33×10157;
- 1000! ≈ 4,02×102567;
- 10 000! ≈ 2,85×1035 659.
Ябай һандарға тарҡатыу
үҙгәртергәҺәр p ябай һаны n!-ың ябай ҡабатлашыусыларға тарҡатмаһына
- дәрәжәһендә инә.
Шулай итеп,
бында ҡабатландыҡ бөтә ябай һандар буйынса алына. n-дан ҙурыраҡ булған һәр p ябай һаны өсөн ҡабатландыҡта ярашлы ҡабатлашыусы 1-гә тигеҙ икәне күренеп тора. Шуға күрә ҡабатландыҡты n-дан ҙур булмаған p ябай һандары буйынса ғына алырға мөмкин.
Дәрәжәле функцияның сығарылмаһы менән бәйләнеш
үҙгәртергәТиҫкәре булмаған бөтөн n һаны өсөн:
Мәҫәлән:
Башҡа үҙсәнлектәре
үҙгәртергә- Натураль n һаны өсөн:
Дөйөмләштереү
үҙгәртергәИкеләтә факториал
үҙгәртергәn һанының икеләтә факториалы n‼ тип тамғалана һәм [1,n] киҫегендәге n кеүек үк йоп (таҡ) бөтә натураль һандарҙың ҡабатландығы тип билдәләнә.
- Йоп n һаны өсөн:
- Таҡ n һаны өсөн:
Тиҫкәре булмаған бөтөн ике йәнәш торған һандарҙың икеләтә факториалы менән берәүһенең ябай факториалы араһында бәйләнеш.
- Йопn өсөн:
- Таҡ n өсөн:
йоп n һәм таҡ n өсөн ярашлы рәүештә алмаштырып ҡуйыуҙы башҡарып, бында — бөтөн тиҫкәре булмаған һан, табабыҙ:
- йоп һан өсөн:
- таҡ һан өсөн:
Килешеү буйынса: . Был тигеҙлек шулай уҡ тәбиғи рәүештә үтәлә:
Икеләтә факториал, ябай факториал кеүек үк, бөтөн тиҫкәре булмаған һандар өсөн генә билдәләнгән.
n!!-дың ҡиммәттәренең эҙмә-эҙлелеге ошолай башлана[4]:
- 1, 1, 2, 3, 8, 15, 48, 105, 384, 945, 3840, 10 395, 46 080, 135 135, 645 120, 2 027 025, 10 321 920, 34 459 425, 185 794 560, 654 729 075, 3 715 891 200, 13 749 310 575, 81 749 606 400, 316 234 143 225, 1 961 990 553 600, 7 905 853 580 625, 51 011 754 393 600, …
Тапҡыр факториал
үҙгәртергәn һанының m-тапҡыр факториалы тип тамғалана һәм ошолай билдәләнә. n һанын күренешендә күрһәтеп булһын, ти; бында Ул саҡта[5]
Ғәҙәттәге һәм икеләтә факториалдар m-тапҡыр факториалдың ярашлы рәүештә m = 1 һәм m = 2 булғандағы айырым осраҡтары. Тапҡыр факториал гамма-функция менән түбәндәге нисбәт ярҙамында бәйләнгән[6]:
Тулы булмаған факториал
үҙгәртергәКәмеүсе факториал
үҙгәртергәКәмеүсе факториал тип
- аңлатмаһы атала.
Мәҫәлән:
- n = 7; k = 4,
- (n − k) + 1 = 4,
- nk = 7 • 6 • 5 • 4 = 840.
Кәмеүсе факториал n элементтан k-шар элементлы урынлаштырмалар һанын бирә.
Үҫә барыусы факториал
үҙгәртергәҮҫә барыусы факториал тип
- аңлатмаһы атала
Праймориал йәки примориал
үҙгәртергәn һанының Праймориалы йәки примориалы (ингл. primorial) pn# тип тамғалана һәм тәүге n ябай һандың ҡабатландығы тип билдәләнә. Мәҫәлән,
- .
Ҡайһы берҙә праймориал тип һанын атайҙар, ул n-дан ҙур булмаған бөтә ябай һандарҙың ҡабатландығы булараҡ билдәләнә.
Праймориалдар эҙмә-эҙлелеге ( ла индереп) ошолай башлана[7]:
- 1, 2, 6, 30, 210, 2310, 30 030, 510 510, 9 699 690, 223 092 870, 6 469 693 230, 200 560 490 130, 7 420 738 134 810, 304 250 263 527 210, 13 082 761 331 670 030, 614 889 782 588 491 400, 32 589 158 477 190 046 000, 1 922 760 350 154 212 800 000, …
Суперфакториалдар
үҙгәртергәНейл Слоан һәм Симон Плуффэ 1995 йылда суперфакториалға тәүге n факториалдың ҡабатландығы булараҡ билдәләмә бирҙеләр. Был билдәләмәгә ярашлы, дүрт һанының суперфакториалы
- -гә тигеҙ.
(нығынған тамғалау булмағанлыҡтан, функциональ тамғалау ҡулланыла). Дөйөм алғанда,
Һандарының суперфакториалдары эҙмә-эҙлелеге ошолай башлана[8]:
- 1, 1, 2, 12, 288, 34 560, 24 883 200, 125 411 328 000, 5 056 584 744 960 000, 1 834 933 472 251 084 800 000, 6 658 606 584 104 737 000 000 000 000, 265 790 267 296 391 960 000 000 000 000 000 000, 127 313 963 299 399 430 000 000 000 000 000 000 000 000 000, …
Идея 2000 йылда Генри Боттомли тарафынан дөйөмләштерелә, был гиперфакториалдарға килтерә (ингл. Superduperfactorial), ул тәүге n суперфакториалдың ҡабатландығы булып тора. һандарының гиперфакториалдарының эҙмә-эҙлелеге ошолай башлана[9]:
- 1, 1, 2, 24, 6912, 238 878 720, 5 944 066 965 504 000, 745 453 331 864 786 800 000 000 000, 3 769 447 945 987 085 600 000 000 000 000 000 000 000 000, 6 916 686 207 999 801 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000, …
Рекуррент рәүештә дауам итеп, тапҡыр кимәлдә факториал, йәки n һанының m-кимәлле факториалы билдәләнә, ул 1-ҙән алып n-ға тиклем һандарҙың (m − 1)-кимәлдәге факториалдарының ҡабатландығы булараҡ билдәләнә, йәғни
бында өсөн һәм
Субфакториал
үҙгәртергәСубфакториал !n n тәртибендәге тәртипһеҙлектәр һаны итеп билдәләнә, йәғни n-элементлы күмәклектең хәрәкәтһеҙ нөктәләрҙән башҡа перестановкалары.
Шулай уҡ ҡарағыҙ
үҙгәртергәИҫкәрмәләр
үҙгәртергә- ↑ Последовательность A000142 в OEIS
- ↑ Крамп, Кристиан
- ↑ Был тарҡатманың коэффициенттары A001163 (числителдәрҙе) һәм A001164 (знаменателдәрҙе) бирәләр
- ↑ Последовательность A006882 в OEIS
- ↑ «Энциклопедия для детей» Аванта+. Математика.
- ↑ wolframalpha.com.
- ↑ Последовательность A002110 в OEIS
- ↑ Последовательность A000178 в OEIS
- ↑ Последовательность A055462 в OEIS