Դիտել Աստիճան (հանրահաշիվ) էջի վիքիկոդը

{{այլ|Աստիճան (այլ կիրառումներ)}}
[[Image:Expo02.svg|thumb|315px|Տարբեր ''b'' հիմքերի համար {{math|1=''y'' = ''b''<sup>''x''</sup>}} ֆունկցիայի գրաֆիկ.
{{legend-line|inline=yes|green solid 2px|[[#10-ի աստիճան|10 հիմք]]}},
{{legend-line|inline=yes|red solid 2px|[[#e-ի աստիճան|''e'' հիմք]]}},
{{legend-line|inline=yes|blue solid 2px|[[#2-ի աստիճան|2 հիմք]]}} և
{{legend-line|inline=yes|cyan solid 2px|{{sfrac|2}} հիմք}}
Բոլոր կորերը անցնում են {{math|(0, 1)}} կետով, քանի որ զրոյից տարբեր կամայական թվի 0 աստիճանը 1 է։ {{math|1=''x'' = 1}} կետում ''y''-ի արժեքը հավասար է հիմքին, քանի որ կամայական թվի 1 աստիճանը հավասար է ինքն իրեն։]]

'''Աստիճան''', [[մաթեմատիկա]]կան [[Հանրահաշվական գործողություններ|գործողություն]], գրվում է <math>b^n</math>, որտեղ {{mvar|b}} թիվը հիմքն է իսկ {{mvar|n}}-ը՝ աստիճանացույցը կամ ցուցիչը։ Երբ {{mvar|n}}-ը դրական [[ամբողջ թիվ]] է, աստիճան բարձրացնելը համապատասխանում է հիմքի կրկնվող ({{mvar|n}} անգամ) [[Բազմապատկում|բազմապատկման]]ը, այսինքն՝ <math>b^n</math> թիվը հավասար է {{math|''b''}} հիմքի {{mvar|n}} արտադրյալին.

:<math>b^n = \underbrace{b \times \dots \times b}_{n\, \text{անգամ}}</math>։

Ցուցիչը [[#Նշանակման պատմություն|սովորաբար]] գրվում է հիմքի աջ վերտողում։ Այդ դեպքում <math>b^n</math> արտահայտությունը կարդում են «b-ն բարձրացրած n աստիճանի» կամ «b-ի n աստիճան»։

Կամայական {{mvar|m}} և {{mvar|n}} դրական ամբողջ թվերի համար ճիշտ է <math>b^n \cdot b^m = b^{n+m}</math> նույնությունը։ Այս հատկությունը ոչ բնական ամբողջ ցուցիչների վրա տարածելու համար <math>b^0</math>-ը սահմանում են 1 և <math>b^{-n}</math>-ը, որտեղ {{mvar|n}}-ը դրական ամբողջ թիվ է իսկ {{mvar|b}}-ն՝ զրոյից տարբեր կամայական թիվ, որպես <math>\frac{1}{b^n}</math>։ Մասնավորապես՝ <math>b^{-1}</math> հավասար է <math>\frac{1}{b}</math>։

Աստիճանի սահմանումը կարելի է ընդլայնել կամայական իրական կամ [[Կոմպլեքս թիվ|կոմպլեքս]] ցուցչի համար։ Ամբողջ ցուցիչով աստիճանը կարելի է սահմանել տարբեր հանրահաշվական կառույցների, այդ թվում [[մատրից]]ների համար։

Աստիճանը լայնորեն կիրառվում է տարբեր ոլորտներում, այդ թվում՝ [[տնտեսագիտություն]], [[կենսաբանություն]], [[քիմիա]], [[ֆիզիկա]] և [[ինֆորմատիկա]], այնպիսի կիրառություններով ինչպիսիք են՝ [[բարդ շահատոկոս]], [[բնակչության աճ]], [[քիմիական կինետիկա]], [[ալիքներ]]ի վարք և ծածկագիտություն։

== Նշանակման պատմություն ==
Հետևելով [[Հիպոկրատ Քիոսացի|Հիպոկրատ Քիոսացուն]]<ref>{{Cite book |last=Ball |first=Walter William Rouse |url=https://books.google.com/books?id=U9zuAAAAMAAJ&pg=PA36 |title=A Short Account of the History of Mathematics |date=1888 |publisher=Macmillan |pages=36 |language=en}}</ref>՝ [[Մաթեմատիկան Հին Հունաստանում|հույն]] մաթեմատիկոս [[Էվկլիդես]]ը ''աստիճան'' եզրը օգտագործում էր հատվածի քառակուսու համար<ref name="MacTutor">{{MacTutor|class=Miscellaneous|id=Mathematical_notation|title=Etymology of some common mathematical terms}}</ref>։ [[Արքիմեդես]]ը բացահայտել և ապացուցել է ցուցիչների <math>10^a \cdot 10^b = 10^{a+b}</math> կանոնը, որը անհրաժեշտ է {{math|10}}-ի աստիճանների հետ աշխատելու համար։ Պարսիկ մաթեմատիկոս [[Ալ-Խորեզմի]]ն 9-րդ դարում ''mal'' եզրը օգտագործում էր [[Թվի քառակուսի (հանրահաշիվ)|քառակուսու]] համար, իսկ ''kahb''-ը՝ [[թվի խորանարդ|խորանարդի]], ինչի պատճառով հետագայի (սկած 15-րդ դարից<!-- անգլերենում՝ by the 15th century, as seen in the work of [[Abū al-Hasan ibn Alī al-Qalasādī]]., բայց ես չգիտեմ էս ձյաձյայի անունը ոնց ճիշտ տառադարձեմ ։/ -->) իսլամական մաթեմատիկոսները դրանք համապատասխանաբար նշանակում էին ''m'' և ''k''<ref>{{MacTutor|id=Al-Qalasadi|title= Abu'l Hasan ibn Ali al Qalasadi}}</ref> տառերով։

16-րդ դարում Յոսթ Բուրգին ցուցիչների համար օգտագործում էր [[հռոմեական թվեր]]ը<ref>{{Cite book |last=Cajori, Florian, 1859-1930. |url=https://www.worldcat.org/oclc/707100737 |title=A history of mathematical notations, |date=[2007] |publisher=Cosimo Classics |isbn=978-1-60206-684-7 |location=New York, NY |pages=344 |oclc=707100737 |access-date=2020 թ․ օգոստոսի 5 |archive-url=https://web.archive.org/web/20210419145642/http://worldcat.org/oclc/707100737 |archive-date=2021 թ․ ապրիլի 19 |url-status=live}}</ref>։

17-րդ դարի սկզբին [[Ռենե Դեկարտ]]ն իր ''[[Երկրաչափություն (Դեկարտ)|Երկրաչափություն]]'' աշխատության առաջին գրքում ներմուծել է աստիճանի ժամանակակից նշանակումը<ref name="Descartes">René Descartes, ''Discourse de la Méthode'' ... (Leiden, (Netherlands):  Jan Maire, 1637), appended book:  ''La Géométrie'', book one, [http://gallica.bnf.fr/ark:/12148/btv1b86069594/f383.image page 299.] {{Webarchive|url=https://web.archive.org/web/20171008182014/http://gallica.bnf.fr/ark:/12148/btv1b86069594/f383.image |date=2017-10-08 }}  From page 299:  ''" ... Et ''aa'', ou ''a''<sup>2</sup>, pour multiplier ''a'' par soy mesme; Et ''a''<sup>3</sup>, pour le multiplier encore une fois par ''a'', & ainsi a l'infini ; ... "''  ( ... and ''aa'', or ''a''<sup>2</sup>, in order to multiply ''a'' by itself; and ''a''<sup>3</sup>, in order to multiply it once more by ''a'', and thus to infinity ; ... )</ref>։

Որոշ մաթեմատիկոսներ (օրինակ՝ [[Իսահակ Նյուտոն]]ը) աստիճան օգտագործել են միայն երկուսից մեծ ցուցիչների համար՝ նախընտրելով թվի քառակուսին կրկնվող արտադրյալի տեսքով գրել։ Այսինքն, [[բազմանդամ]]ները նրանք գրում էին <math>ax + bxx + cx^3 + d</math> տեսքով։

1748 թվականին [[Լեոնարդ Էյլեր]]ը գրում է. «Պատկերացրեք աստիճանները, որտեղ ցուցիչը փոփոխական է։ Պարզ է, որ այս տեսակի մեծությունները [[հանրահաշվական ֆունկցիա]]ներ չեն, քանի որ սրանցում ցուցիչը պետք է հաստատուն լինի»<ref>{{Cite book |last=Euler |first=Leonhard |url=https://www.worldcat.org/title/introductio-in-analysin-infinitorum/oclc/2684102 |title=Introductio in analysin infinitorum. |date=1748 |publisher=M. M. Bousquet |location=Lausannae |pages=75 |language=Latin |oclc=2684102}}</ref>։ Այսպիսով, Էյլերը ներկայացրեց [[տրանսցենդենտ ֆունկցիաներ]]ը՝ հիմք դնելով [[բնական լոգարիթմ]]ի՝ որպես [[ցուցչային ֆունկցիա]]յի [[հակադարձ ֆունկցիա]] ներմուծմանը ({{math|1=''f''(''x'') = ''e''<sup>''x''</sup>}})։

== Ամբողջ ցուցիչներ ==
Ամբողջ ցուցիչով աստիճանը կարելի է սահմանել տարրական [[Թվաբանություն|թվաբանական գործողություններով]]։

=== Դրական ցուցիչ ===
Դրական ամբողջ ցուցիչով աստիճանը կարելի է խիստ սահմանել միայն հետևյալ նախնական պայմանով<ref>{{Cite book |last=Hodge |first=Jonathan K. |url=https://books.google.com/books?id=qToTAgAAQBAJ&lpg=PA93&pg=PA94#v=onepage&f=false |title=Abstract Algebra: An Inquiry Based Approach |last2=Schlicker |first2=Steven |last3=Sundstrom |first3=Ted |date=2013 թ․ դեկտեմբերի 21 |publisher=CRC Press |year=2014 |isbn=978-1-4665-6706-1 |page=94 |language=en}}</ref>՝
:<math>b^1 = b</math>
և անդրադարձ առնչությամբ
:<math>b^{n+1} = b^n \cdot b</math>։

Բազմապատկման [[զուգորդականություն]]ից հետևում է, որ կամայական դրական ամբողջ {{mvar|m}} և {{mvar|n}} թվերի համար՝
:<math>b^{m+n} = b^m \cdot b^n</math>։

=== Զրո ցուցիչ ===
Զրոյից տարբեր կամայական թվի {{math|0}} աստիճանը հավասար է {{math|1}}-ի<ref>{{Cite book |last=Achatz |first=Thomas |url=https://books.google.com/books?id=YOdtemSmzQQC&pg=PA101&hl=en |title=Technical Shop Mathematics |last2=Anderson |first2=John G. |last3=McKenzie |first3=Kathleen |date=2005 |publisher=Industrial Press Inc. |year=2005 |isbn=978-0-8311-3086-2 |edition=3rd |page=101 |language=en}}</ref>.

:<math>b^0=1</math>։

Այս հատկության մեկնաբանություններից մեկը [[դատարկ արտադրյալ]]ն է։

{{math|0<sup>0</sup>}} արտահայտության արժեքի ընտրությունը կամ որևէ արժեք տալու հարցը կարող է կախված լինել համատեքստից {{Crossref|Ավելի մանրամասն տեղեկությունների համար տես՝ [[Զրոյի զրո աստիճան]]։}}

=== Բացասական ցուցիչ ===
Հետևյալ նույնությունը ճիշտ է կամայական ամբողջ {{mvar|n}} և զրոյից տարբեր {{mvar|b}} թվերի համար՝
:<math>b^{-n} = \frac{1}{b^n}</math>։
Զրոյի բացասական աստիճանը սահմանված չէ, բայց որոշ դեպքերում այն մեկնաբանվում է որպես անվերջություն ({{math|∞}})։

Որպեսզի այս նույնությունը ստացվի բացասական թվերի համար ևս, զրոյից տարբեր {{mvar|b}} և դրական {{mvar|n}} թվի համար վերոհիշյալ անդրադարձ առնչությունը պետք է ձևափոխել հետևյալ կերպ՝
:<math>b^n = \frac{b^{n+1}}{b}, \quad n \ge 1 </math>։

Ապա այս առնչությունը պետք է սահմանել ճիշտ բոլոր ամբողջ {{mvar|n}} և զրոյից տարբեր {{mvar|b}} թվերի համար, ինչից հետևում է, որ 
:<math>\begin{align}
  b^0    &= \frac{b^1}{b} = 1, \\[3pt]
  b^{-1} &= \frac{b^0}{b} = \frac{1}{b},
\end{align}</math>

Առհասարակ, զրոյից տարբեր կամայական {{mvar|b}} և ոչ բացասական ամբողջ {{mvar|n}} թվերի համար կունենանք՝
:<math>b^{-n} = \frac{1}{b^n}</math>։

=== Նույնություններ և հատկություններ ===
Հետևյալ [[Նույնություն (մաթեմատիկա)|նույնությունները]] ճիշտ են բոլոր ամբողջ ցուցիչների համար, եթե հիմքը տարբեր է զրոյից.
:<math>\begin{align}
           b^{m + n} &= b^m \cdot b^n \\
  \left(b^m\right)^n &= b^{m \cdot n} \\
       (b \cdot c)^n &= b^n \cdot c^n
\end{align}</math>

Ի տարբերություն գումարման և բազմապատկման՝
{{bulleted list
| Աստիճանը [[կոմուտատիվ]] չէ։ Օրինակ՝  <math>2^3 = 8 \neq 3^2 = 9</math>,
| Աստիճանը [[զուգորդականություն|զուգորդական]] չէ։ Օրինակ՝ <math>(2^3)^4 = 8^4 = 4096</math>, բայց <math>2^{(3^4)} = 2^{81} = 2417851639229258349412352</math>։ Փակագծերի բացակայության դեպքում վերտողի նշանակման գործողության կարգը վերևից ներքև է (կամ «աջ» զուգորդական), ոչ թե ներքևից վերև<ref name="Robinson_1958"/><ref name="Bronstein_1987"/><ref name="NIST_2010" /><ref name="Zeidler_2013"/> (կամ «ձախ» զուգորդական)։ Այսինքն,
:<math>b^{p^q} = b^{\left(p^q\right)},</math>
որը, ընդհանուր առմամբ, տարբեր է 
:<math>\left(b^p\right)^q = b^{p q} </math>-ից։}}

=== Գումարի աստիճան ===
Գումարի աստիճանը սովորաբար կարելի է հաշվել [[Նյուտոնի երկանդամ]]ի միջոցով,
:<math>(a+b)^n=\sum_{i=0}^n \binom{n}{i}a^ib^{n-i}=\sum_{i=0}^n \frac{n!}{i!(n-i)!}a^ib^{n-i}</math>
Սակայն, այս բանաձևը ճիշտ է միայն, երբ գումարելիները պատկանում են կոմուտատիվ հանրահաշվական կառույցի կամ առնվազն <math>ab=ba</math>։ Այլապես, օրինակ երբ <math>a</math>-ն և <math>b</math>-ն նույն չափի [[քառակուսի մատրից]]ներ են, այս բանաձևը չի կարող կիրառվել։ Սրանից հետևում է, որ հաշվողական հանրահաշվում ամբողջ ցուցիչների հետ կապ ունեցող շատ [[ալգորիթմ]]ներ պետք է փոփոխվեն, եթե հիմերը կոմուտատիվ չեն։ Հաշվողական հանրահաշվի որոշ ընդհանուր համակարգեր ոչ կոմուտատիվ հիմքով աստիճանի համար կիրառում են այլ նշանակում (հաճախ {{math|^}}-ի փոխարեն {{math|^^}}), որը կոչվում է '''ոչ կոմուտատիվ աստիճան'''։

=== Կոմբինատոր մեկնաբանում ===
Ոչ բացասական ամբողջ {{mvar|n}} և {{mvar|m}} թվերի դեպքում <math>n^m</math> արժեքը համապատասխանում է {{mvar|m}} տարր ունեցող [[բազմություն]]ից դեպի {{mvar|n}} տարր ունեցող բազմություն գնացող [[Ֆունկցիա (մաթեմատիկա)|ֆունկցիաների]] քանակին։ Նման ֆունկցիաները կարելի է ներկայացնել որպես {{mvar|m}}-շարաններ (կորտեժ) {{mvar|n}} տարր ունեցող բազմությունից (կամ {{mvar|m}} տառ ունեցող բառեր {{mvar|n}} տառ ունեցող այբուբենից)։ Հետևյալ աղյուսակում տրված է {{mvar|m}} և {{mvar|n}} թվերի որոշակի արժեքների օրինակներ.

:{| class="wikitable"
!{{math|''n''<sup>''m''</sup>}}
!Բոլոր {{mvar|m}}-շարանները {{math|{{mset|1, ..., ''n''}}}} բազմության տարրերից
|-
|<math>0^5 = 0</math>
|ոչինչ
|-
|<math>1^4 = 1</math>
|<math>(1,1,1,1)</math>
|-
|<math>2^3 = 8</math>
|<math>(1,1,1),(1,1,2),(1,2,1),(1,2,2),(2,1,1),(2,1,2),(2,2,1),(2,2,2)</math>
|-
|<math>3^2 = 9</math>
|<math>(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)</math>
|-
|<math>4^1 = 4</math>
|<math>(1),(2),(3),(4)</math>
|-
|<math>5^0 = 1</math>
|<math>()</math>
|}

=== Մասնավոր հիմքեր ===
==== 10-ի աստիճան ====
[[Տասնորդական հաշվման համակարգեր]]ում {{math|10}}-ի ամբողջ ցուցիչով աստիճանները գրվում են որպես {{math|1}}, որին հետևում է կամ նախորդում է զրոներ՝ կախված ցուցչի նշանից և չափից։ Օրինակ՝ {{math|1={{val|e=3}} = {{val|1000}}}} և {{math|1={{val|e=-4}} = {{val|0.0001}}}}։

[[Տասը|{{math|10}}]] հիմքով աստիճանները օգտագործվում են [[գիտական նշանակում|գիտական նշանակման]] մեջ՝ չափազանց մեծ կամ չափազանց փոքր թվերը նշանակելու համար։ Օրինակ՝ <math>2.99792458 \times 10^8 \text{մ/վ}</math> ([[Լույսի արագություն]]ը վակուումում), որը մոտարկվում է <math>2.998 \times 10^8 \text{մ/վ}</math>-ի։

[[Տասնորդական նախածանցներ]]ը, որոնք նույնպես օգտագործվում են չափազանց փոքր կամ չափազանց մեծ թվերը նշանակելու համար, հիմնված են {{math|10}} հիմքով աստիճանների վրա։ Օրինակ՝ [[կիլո]]ն նշանակում է {{math|1={{val|e=3}} = {{val|1000}}}}, հետևաբար մեկ կիլոմետրը հավասար է {{val|1000}} մետրի։

==== 2-ի աստիճան ====
Երկու հիմքով առաջին մի քանի բացասական աստիճանները լայնորեն կիրառվում են և ունեն հատուկ անուններ, օրինակ՝ ''կես'' և ''քառորդ''։

[[Բազմությունների տեսություն]]ում {{math|''n''}} տարր ունեցող բազմության բոլոր [[ենթաբազմություն]]ների քանակը հավասար է  {{math|2<sup>''n''</sup>}}-ի։

Երկու հիմքով և ամբողջ ցուցիչով աստիճանները կարևոր նշանակություն ունեն [[ինֆորմատիկա]]յում։ {{math|''n''}}-[[բիթ]] երկուական ամբողջ թվի բոլոր հնարավոր արժեքները հավասար է {{math|2<sup>''n''</sup>}}. օրինակ՝ [[բայթ]]ը ընդունում է {{math|1=2<sup>8</sup> = 256}} տարբեր արժեք։ [[Հաշվարկման երկուական համակարգ]]ում կամայական թիվ արտահայտվում է 2-ի աստիճանների տեսքով, որը նշանակելու համար սովորաբար օգտագործվում է {{math|0}} և {{math|1}} թվերի հաջորդականություն և բինար կետ. կետից աջ գտնվող {{math|1}}-երը դիտարկվում են որպես երկուսի բացասական աստիճան (ցուցիչը համընկնում է կետից հետո 1-ի դիրքի հետ), իսկ կետից ձախ գտնվող {{math|1}}-երը՝ որպես երկուսի դրական աստիճան (ցուցիչը համընկնում է մեկի դիրքի հետ, որտեղ հաշվարկը սկսվում է զրոյից։ Թիվը հավասար է այս աստիճանների գումարին։ Օրինակ՝ {{math|1101.101}} թիվը հավասար է <math>1 \cdot 2^3 + 1 \cdot 2^2 + 0 \cdot 2^1 + 1 \cdot 2^0 + 1 \cdot 2^{-1} + 0 \cdot 2^{-2} + 1 \cdot 2^{-3}</math>

==== 1-ի աստիճան ====
Մեկ հիմքով կամայական աստիճան հավասար է մեկի. {{math|1=1<sup>''n''</sup> = 1}}։

==== 0-ի աստիճան ====
Դրական {{mvar|n}} ցուցիչի դեպքում ({{math|''n'' > 0}}) զրոյի {{mvar|n}} աստիճանը հավասար է զրոյի. {{math|1=0<sup>''n''</sup> = 0}}։

Բացասական {{mvar|n}} ցուցիչի դեպքում ({{math|''n'' > 0}}) զրոյի {{mvar|n}} աստիճանը {{math|0<sup>''n''</sup>}} որոշված չէ, քանի որ այն պետք է հավասար լինի <math>1/0^{-n} = 1/0</math>-ի՝ ըստ սահմանման։

{{math|0<sup>0</sup>}} արտահայտությունը կամ սահմանվում է որպես 1, կամ չի սահմանվում (''տե՛ս  [[զրոյի զրո աստիճան]]'')։

==== -1-ի աստիճան ====
Զույգ {{math|''n''}} թվի դեպքում {{math|1=(−1)<sup>''n''</sup> = 1}}։

Կենտ {{math|''n''}} թվի դեպքում {{math|1=(−1)<sup>''n''</sup> = 1}}։

Այս հանգամանքը {{math|−1}} թվի աստիճանները օգտակար է դարձնում նշանափոխ [[Հաջորդականություն (մաթեմատիկա)|հաջորդականությունների]] նշանակման համար։

=== Մեծ ցուցիչներ ===
Մեկից մեծ թվի աստիճանների հաջորդականության սահմանը [[Տարամիտություն|տարամետ]] է, այլ կերպ ասած՝ հաջորդականությունն աճում է առանց սահման.
:<math>b^n \to \infty</math>, երբ <math>n \to \infty</math>, եթե <math>b > 1</math>։

Սա կարելի է կարդալ որպես «''b'' թվի ''n''  աստիճանը ձգտում է [[Ընդլայնված թվային ուղիղ|+∞]]-ի, երբ ''n''-ը ձգտում է անվերջության, եթե ''b''-ն մեծ է մեկից»։

[[Բացարձակ արժեք]]ով մեկից փոքր թվի աստիճանը ձգտում է զրոյի, երբ ցուցիչը ձգտում է անվերջության.
:<math>b^n \to 0</math>, երբ <math>n \to \infty</math>, եթե <math>|b| < 1</math>։

Մեկի կամայական աստիճան հավասար է մեկի.
:<math>b^n = 1</math> կամայական {{math|''n''}} թվի համար, եթե <math>b = 1</math>։

{{math|–1}}-ի աստիճանները փոխվում են {{math|1}} և {{math|–1}} թվերի միջև, երբ {{math|''n''}}-ը փոխվում է կենտ և զույգ թվերի միջև, հետևաբար սահմանը գոյություն չունի, երբ {{math|''n''}}-ը ձգտում է անվերջության։

Եթե <math>b < -1</math>, <math>b^n</math>-ը փոխվում է ավելի ու ավելի մեծ դրական և բացասական թվերի միջև, երբ {{math|''n''}}-ը փոխվում է կենտ և զույգ թվերի միջև (ձգտվելով անվերջության), հետևաբար այս սահմանը նույնպես գոյություն չունի։

Եթե հիմքը ձգտում է մեկի, իսկ ցուցիչը՝ անվերջության, վերևում նշված պայմանները միշտ չէ, որ գործում են։ Օրինակ՝
:<math>\left( 1 + \frac{1}{n} \right)^n \to e</math>, երբ <math>n \to \infty</math>։

Այլ սահմանների, մասնավորապես անորոշ տեսք ունեցող սահմանների մասին ավելի ավելի մանրամասն նկարագրությունը [[#Աստիճանների սահմաններ]] բաժնում։

=== Աստիճանային ֆունկցիաներ ===
{{հիմնական|Աստիճանային ֆունկցիա}}

[[Պատկեր:Potenssi 1 3 5.png|thumb|left|Աստիճանային ֆունկցիաներ <math>n=1,3,5</math> արժեքների համար։]]
[[Պատկեր:Potenssi 2 4 6.png|thumb|Աստիճանային ֆունկցիաներ <math>n=2,4,6</math> արժեքների համար։]]

<math>f(x) = cx^n</math> տեսքի իրական ֆունկցիաները, որտեղ <math>c \ne 0</math>, կոչվում են [[աստիճանային ֆունկցիա]]ներ։ Եթե <math>n</math>-ը [[ամբողջ թիվ]] է և <math>n \ge 1</math>, գոյություն ունեն երկու հիմնական ընտանիքներ. զույգ և կենտ <math>n</math>-երի համար։ Ընդհանուր առմամբ, եթե <math>c > 0</math> և <math>n</math>-ը զույգ է, <math>f(x) = cx^n</math> ֆունկցիան կձգտի դրական [[Անվերջություն (մաթեմատիկա)|անվերջության]], երբ <math>x</math>-ը ձգտի դրական կամ բացասական անվերջության։ Զույգ աստիճանային ֆունկցիաների գրաֆիկն ունի <math>y=cx^2</math> ֆունկցիայի գրաֆիկին նման տեսք<ref name="Calculus: Early Transcendentals">{{Cite book |last=Anton |first=Howard |url=https://books.google.am/books/about/Calculus_Early_Transcendentals_9th_Editi.html?id=WKSluAAACAAJ&redir_esc=y |title=Calculus Early Transcendentals 9th Edition Combined with Student Solutions Manual SV/MV 9th Edition and WileyPLUS Set |last2=Bivens |first2=Irl |last3=Davis |first3=Stephen |date=2009 թ․ փետրվարի 14 |publisher=John Wiley & Sons, Incorporated |isbn=978-0-470-50825-1 |edition=9th |page=28 |language=en |access-date=2020 թ․ օգոստոսի 5 |archive-url=https://web.archive.org/web/20240315070824/https://books.google.am/books/about/Calculus_Early_Transcendentals_9th_Editi.html?id=WKSluAAACAAJ&redir_esc=y |archive-date=2024 թ․ մարտի 15 |url-status=live}}</ref>։ Նման [[համաչափություն]] ունեցող {{nobr|(<math>f(-x)= f(x)</math>)}} ֆունկցիաները կոչվում են [[Զույգ և կենտ ֆունկցիաներ|զույգ ֆունկցիաներ]]։

Կենտ <math>n</math> ցուցիչի դեպքում <math>f(x)</math> ֆունկցիայի [[ասիմպտոտ]] վարքը փոխվում է կախված <math>x</math>-ի նշանից։ Եթե <math>c > 0</math>, <math>f(x) = cx^n</math> ֆունկցիան կձգտի դրական անվերջության, երբ <math>x</math>-ը ձգտի դրական անվերջության, բայց երբ <math>x</math>-ը ձգտում է բացասական անվերջության՝ <math>f(x) = cx^n</math> ֆունկցիան ձգտում է բացասական անվերջության։ Կենտ աստիճանային ֆունկցիաների գրաֆիկն ունի <math>y=cx^3</math> ֆունկցիայի գրաֆիկին նման տեսք։ Նման [[համաչափություն]] (<math>f(-x)= -f(x)</math>) ունեցող ֆունկցիաները կոչվում են [[Զույգ և կենտ ֆունկցիաներ|կենտ ֆունկցիաներ]]։

Երկու դեպքում էլ տեղի ունի հակառակ ասիմտոտ վարքը, երբ <math>c < 0</math><ref name="Calculus: Early Transcendentals" />։

=== Աստիճանների ցանկ ===
{|class="wikitable" style="text-align:right"
!''n'' !!''n''<sup>2</sup> !!''n''<sup>3</sup> !!''n''<sup>4</sup> !!''n''<sup>5</sup> !!''n''<sup>6</sup> !!''n''<sup>7</sup> !!''n''<sup>8</sup> !!''n''<sup>9</sup> !!''n''<sup>10</sup>
|-
|width="8%"|'''2''' || width="8%"|4|| width="7%"|8|| width="8%"|16|| width="9%"|32|| width="10%"|64|| width="11%"|128|| width="12%"|256|| width="12%"|512|| width="14%"|1,024
|-
|'''3''' ||9||27||81||243||729||2,187||6,561||19,683||59,049
|-
|'''4''' ||16||64||256||1,024||4,096||16,384||65,536||262,144||1,048,576
|-
|'''5''' ||25||125||625||3,125||15,625||78,125||390,625||1,953,125||9,765,625
|-
|'''6''' ||36||216||1,296||7,776||46,656||279,936||1,679,616||10,077,696||60,466,176
|-
|'''7''' ||49||343||2,401||16,807||117,649||823,543||5,764,801||40,353,607||282,475,249
|-
|'''8''' ||64||512||4,096||32,768||262,144||2,097,152||16,777,216||134,217,728||1,073,741,824
|-
|'''9''' ||81||729||6,561||59,049||531,441||4,782,969||43,046,721||387,420,489||3,486,784,401
|-
|'''10'''||100||1,000||10,000||100,000||1,000,000||10,000,000||100,000,000||1,000,000,000||10,000,000,000
|}

== Ռացիոնալ ցուցիչ ==
{{Հիմնական|արմատ (մաթեմատիկա)}}
[[Պատկեր:Mplwp roots 01.svg|right|thumb|300px|Վերևից՝ ներքև, ''x''<sup>1/8</sup>, ''x''<sup>1/4</sup>, ''x''<sup>1/2</sup>, ''x''<sup>1</sup>, ''x''<sup>2</sup>, ''x''<sup>4</sup>, ''x''<sup>8</sup>.]]
Տրված ''b'' թվի ''n''-րդ աստիճանի արմատը այն <math>x</math> թիվն է, որը բավարարում է <math>x^n = b</math> պայմանին։

Եթե ''b''-ն դրական իրական թիվ է իսկ ''n''-ը՝ դրական ամբողջ թիվ, <math>x^n = b</math> արտահայտությունն ունի ճիշտ մեկ լուծում։

Այս լուծումը կոչվում է '''գլխավոր ''n''-րդ արմատ''' ''b'' թվից։ Այն նշանակվում է <math>\sqrt[n]{b}</math>-ով, որտեղ {{radic|  }}-ը կոչվում է արմատի [[Խորհրդանիշ|նշան]], գլխավոր արմատը նաև նշանակում են <math>b^{1/n}</math>-ով։ Օրինակ՝ <math>9^{1/2} = \sqrt{9} = 3</math> և <math>8^{1/3} = \sqrt[3]{8} = 2</math>։

Այն փաստը, որ <math>x = b^\frac{1}{n}</math>-ը լուծում է <math>x^n = b</math>-ի համար կարելի է ապացուցել հետևյալ կերպ՝
:<math>\begin{align}
  x^n &= \left(b^\frac{1}{n}\right)^n
       = \underbrace{b^\frac{1}{n} \times b^\frac{1}{n} \times \cdots \times b^\frac{1}{n}}_{n \, \text{անգամ}} \\
      &=  b^{\underbrace{\left(\frac{1}{n} + \frac{1}{n} + \cdots + \frac{1}{n}\right)}_{n \, \text{անգամ}}}
       = b^\frac{n}{n} = b^1 = b\text{։}
\end{align}</math>

Եթե ''n''-ը [[Զույգ և կենտ թվեր|զույգ]] է և ''b''-ն՝ դրական, ուրեմն <math>x^n = b</math> արտահայտությունն ունի երկու իրական լուծում, որոնք ''b''-ի դրական և բացասական ''n''-րդ արմատներն են, այսինքն՝ <math>b^{1/n} > 0</math> և <math>-(b^{1/n}) < 0</math>։

Եթե ''n''-ը [[Զույգ և կենտ թվեր|զույգ]] է և ''b''-ն՝ բացասական, հավասարումը իրական լուծում չունի։

Եթե ''n''-ը [[Զույգ և կենտ թվեր|կենտ]] է, ուրեմն <math>x^n = b</math> արտահայտությունն ունի ճիշտ մեկ լուծում, որը դրական է, եթե ''b''-ն դրական է (<math>b^{1/n} > 0</math>) և բացասական է, եթե ''b''-ն բացասական է (<math>b^{1/n} < 0</math>)։

Դրական իրական ''b'' թիվը [[Ռացիոնալ թիվ|ռացիոնալ]] ''u''/''v'' աստիճան բարձրացնելով, որտեղ  ''u''-ն ամբողջ թիվ է իսկ ''v''-ն՝ դրական ամբողջ թիվ, և միայն գլխավոր արմատները դիտարկելով ստացվում է՝

:<math>b^\frac{u}{v} = \left(b^u\right)^\frac{1}{v} = \sqrt[v]{b^u} =  \left(b^\frac{1}{v}\right)^u = \left(\sqrt[v]{b}\right)^u</math>։

Բացասական իրական ''b'' թիվը ռացիոնալ ''u''/''v'' բարձրացնելիս, որտեղ ''u''/''v''-ը չկրճատվող կոտորակ է, արդյունքում ստացվում է դրական իրական թիվ, եթե ''u''-ն զույգ է (զույգ ''u''-ից հետևում է, որ ''v''-ն կենտ է, քանի որ ''u''/''v''-ը չկրճատվող կոտորակ է ըստ սահմանման), որովհետև <math>b^u</math>-ը դրական է, իսկ եթե ''u'' և ''v'' թվերը կենտ են, արդյունքում ստացվում է բացասական իրական թիվ, որովհետև <math>b^u</math>-ն բացասական է։ Զույգ ''v'' (հետևաբար՝ կենտ ''u''-ի) հնարավոր չէ դիտարկել այս ձևով, քանի որ գոյություն չունի իրական ''x'' թիվ, որը բավարարում է <math>x^{2k} = -1</math> պայմանին։ Այս դեպքում <math>b^{u/v}</math>-ի արժեքը նկարագրվում է <math>i</math> [[կեղծ միավոր]]ով։

Այսպիսով, ունենք <math>(-27)^{1/3} = -3</math> և <math>(-27)^{2/3} = 9</math>։ Չորս թիվը ունի երկու 3/2''-րդ'' աստիճան. 8 և −8, սակայն, ընդունված է <math>4^{3/2}</math> նշանակմամբ հասկանալ '''գլխավոր արմատը''', հետևաբար՝ <math>4^{3/2} = 8</math>։ ''u''/''v''-րդ աստիճանը նաև կոչվում է ''v''/''u''-րդ արմատ, իսկ զույգ ''v''-ի դեպքում ''գլխավոր արմատ'' եզրը նաև վերաբերում է դրական արդյունքին։

Այս նշանային անորոշությունը պետք է հաշվի առնել աստիճանների նույնությունները կիրառելիս։ Օրինակ՝

:<math>-27 = (-27)^{\left(\left(\frac{2}{3}\right)\left(\frac{3}{2}\right)\right)} = \left((-27)^\frac{2}{3}\right)^\frac{3}{2} = 9^\frac{3}{2} = 27</math>,

որը ակնհայտորեն սխալ է։ Խնդիրը սկսվում է առաջին հավասարությունից՝ անորոշ իրավիճակում ''ստանդարտ'' նշանակում ներմուծելով (զույգ արմատ պահանջել) և պարզապես հիմնվելով միայն մեկ՝ ''ընդունված'' կամ ''գլխավոր'' մեկնաբանման վրա։  Նույն խնդիրբ առաջանում է անտեղի արմատի նշանը օգտագործելիս.
:<math>\left((-27)^\frac{2}{3}\right)^\frac{3}{2} = \sqrt{\left(\sqrt[3]{(-27)^2}\right)^3} = \sqrt{(-27)^{2}} \ne -27</math>
փոխարենը պետք է լինի՝
:<math>\left((-27)^\frac{2}{3}\right)^\frac{3}{2} = -\sqrt{\left(\sqrt[3]{(-27)^2}\right)^3} = -\sqrt{(-27)^2} = -27</math>։

Նման խնդիրներ առաջանում են նաև կոմպլեքս թվերի դեպքում, ինչն ավելի մանրամասն նկարագրված է [[#Աստիճանային և լոգարիթմական նույնությունների ձախողում]] բաժնում։

== Իրական ցուցիչ ==
Դրական իրական թվերի իրական աստիճանը կարելի է սահմանել կամ իրական թվերի ռացիոնալ աստիճանի սահմանման ընդլայնմամբ, կամ այնպես, ինչպես նկարագրված է «[[#Լոգարիթմներով աստիճան|Լոգարիթմներով աստիճան]]» բաժնում։ Արդյունքում միշտ ստացվում է դրական ամբողջ թիվ և պահպանվում են դրական իրական հիմքով և ամբողջ ցուցիչով աստիճանների [[#Նույնություններ_և_հատկություններ|նույնությունները և հատկությունները]]։

Մյուս կողմից, բացասական իրական թվի իրական աստիճան կայուն կերպով սահմանելը շատ ավելի դժվար է, քանի որ այն կարող է լինել ոչ իրական և ունենալ մեկից ավելի արժեքներ։ Հնարավոր է ընտրել այս արժեքներից մեկը՝ գլխավոր արժեքը, բայց գոյություն չունի գլխավոր արժեքի այնպիսի ընտրություն, որի դեպքում տեղի ունի հետևյալ առնչությունը (տես [[#Աստիճանային և լոգարիթմական նույնությունների ձախողում]])՝
:<math>\left(b^r\right)^s = b^{r\cdot s}</math>
Հետևաբար՝ ոչ դրական իրական հիմքով աստիճանը հիմնականում դիտարկվում է որպես [[բազմարժեք ֆունկցիա]]։

=== Ռացիոնալ ցուցիչների սահմաններ ===
[[Պատկեր:Continuity of the Exponential at 0.svg|thumb|Քանի որ ցուցչային ֆունկցիան անընդհատ է, ունենք որ <math>\lim_{n\to\infty} e^{x_n} = e^{\lim_{n\to\infty} x_n}</math> զուգամետ հաջորդականությունների (''x<sub>n</sub>'') համար։ Այստեղ ցույց է տրված ''x<sub>n</sub>'' = {{sfrac|1|''n''}} դեպքը։]]
Քանի որ կամայական [[իռացիոնալ թիվ]] կարելի է ներկայացնել ռացիոնալ թվերի հաջորդականության սահմանի տեսքով, դրական իրական ''b'' թվի կամայական իրական ''x'' աստիճանը կարելի է սահմանել [[Անընդհատ արտապատկերում|անընդհատությամբ]] և հետևյալ կանոնով<ref name="Denlinger">{{Cite book |last=Denlinger |first=Charles |url=https://books.google.am/books/about/Elements_of_Real_Analysis.html?id=5YhXVE9slLsC&redir_esc=y |title=Elements of Real Analysis |date=2011 թ․ հունվարի 28 |publisher=Jones & Bartlett Learning |year=2011 |isbn=978-0-7637-7947-4 |pages=278–283 |language=en |access-date=2020 թ․ օգոստոսի 5 |archive-url=https://web.archive.org/web/20240315070824/https://books.google.am/books/about/Elements_of_Real_Analysis.html?id=5YhXVE9slLsC&redir_esc=y |archive-date=2024 թ․ մարտի 15 |url-status=live}}</ref>՝
:<math> b^x = \lim_{r (\in\mathbb{Q})\to x} b^r\quad(b \in\mathbb{R}^+,\,x\in\mathbb{R})</math>,
որտեղ ''r''-ը մոտենում է ''x''-ին՝ ընդունելով միայն ռացիոնալ արժեքներ։ Սահմանը գոյություն ունի միայն դրական ''b'' թվերի համար։ Այստեղ օգտագործվել է սահմանի (''ε'', ''δ'') սահմանումը. այսինքն, ցույց է տրվել, որ տրված կամայական ''δ'' ճշգրտության դեպքում հնարավոր է ընտրել {{mvar|x}}-ի այնպիսի ''ε'' շրջակայք, որպեսզի այդ շրջակայքի բոլոր ռացիոնալ աստիճանները <math>b^x</math>-ից տարբերվեն ամենաշատը տրված ճշգրտության չափ։

Օրինակ՝ եթե <math>x=\pi</math>, կարելի է օգտագործել <math>\pi</math> թվի <math>\pi = 3.14159...</math> ներկայացումը (հիմնվելով ռացիոնալ աստիճանների խիստ մոնոտոնության վրա)՝ ռացիոնալ թվերով սահմանափակված միջակայքեր գտնելու համար
:<math>\left[b^3, b^4\right]</math>, <math>\left[b^{3.1}, b^{3.2}\right]</math>, <math>\left[b^{3.14}, b^{3.15}\right]</math>, <math>\left[b^{3.141}, b^{3.142}\right]</math>, <math>\left[b^{3.1415}, b^{3.1416}\right]</math>, <math>\left[b^{3.14159}, b^{3.14160}\right]</math>, …

Սահմանափակված միջակայքերը զուգամիտում են ճիշտ մեկ իրական թվի, որը նշանակվում է <math>b^\pi</math>-ով։ Նմանապես կարելի է ստանալ կամայական դրական իրական ''b'' թվի կամայական [[Իռացիոնալ թիվ|իռացիոնալ]] աստիճան։ Հետևաբար, <math>f_b(x) = b^x</math> ֆունկցիան սահմանված է բոլոր իրական ''x'' թվերի համար։

=== Ցուցչային ֆունկցիա ===
{{Հիմնական|Ցուցչային ֆունկցիա}}

Մաթեմատիկական հաստատուն [[E (թիվ)|{{mvar|e}}]] թիվը մոտավորապես հավասար է 2.718 և [[բնական լոգարիթմ]]ի հիմքն է։ Չնայած ''e'' թվի աստիճանը կարելի է դիտարկել այնպես, ինչպես կամայական իրական թվի աստիճանը, այն ունի բազմաթիվ օգտակար հատկություններ։ Այս հատկությունները թույլ են տալիս ''e''-ի աստիճանները բնականորեն ընդլայնել այլ տեսակի աստիճանների վրա, ինչպես օրինակ՝ կոմպլեքս թվերը կամ մատրիցները։

Որպես հետևանք, <math>e^x</math> արտահայտությամբ սովորաբար նշանակում են աստիճանի ընդհանրացված սահմանումը՝ ''ցուցչային ֆունկցիան'' (exp(''x'')), որը հնարավոր է սահմանել բազմաթիվ ձևերով, օրինակ՝
:<math>\exp(x) = \lim_{n \rightarrow \infty} \left(1+\frac x n \right)^n </math>
Այլ հատկություններից բացի, exp-ը նաև բավարարում է ցուցչային նույնությանը՝
:<math>\exp(x + y) = \exp(x) \cdot \exp(y)</math>։

Ցուցչային ֆունկցիան սահմանված է բոլոր ամբողջ, ռացիոնալ, իրական և [[Կոմպլեքս թիվ|կոմպլեքս]] թվերի համար։ Իրականում, ցուցչային մատրիցը<!-- matrix exponential :/ էս ո՞նց թարգմանեմ --> սահմանված է  [[Քառակուսային մատրիցա|քառակուսային մատրից]]ների համար (այս դեպքում ցուցչային նույնությանը ճիշտ է, երբ  ''x''-ը և ''y''-ը կոմուտատիվ են) և օգտակար է [[գծային դիֆերենցիալ հավասարումներ]]ի համակարգել լուծելու համար։

Քանի որ <math>exp(1) = e</math> և <math>exp(x)</math>-ը բավարարում է ցուցչային նույնությանը, հետևաբար <math>exp(x)</math>-ը համընկնում է ամբողջ ''x''-երի համար <math>e^x</math>-ի սահմանմանը (կրկնվող բազմապատկում), ինչպես նաև այն, որ ռացիոնալ աստիճանները նշանակում են (դրական) արմատներ։ Այսպիսով, <math>exp(x)</math>-ը համընկնում է նախորդ բաժնում իրական թվերի համար <math>e^x</math>-ի սահմանմանը՝ ըստ անընդհատության։

=== Լոգարիթմներով աստիճան ===
<math>e^x</math> արտահայտությունը ցուցչային ֆունկցիա սահմանելու դեպքում <math>b^x</math>-ը (կամայական դրական իրական {{math|''b''}} թվի դեպքում) կարելի է սահմանել <math>e^x</math>-ի միջոցով։ Մասնավորապես, {{math|ln(''x'')}} բանական լոգարիթմը <math>e^x</math> ցուցչային ֆունկցիայի [[հակադարձ ֆունկցիա]]ն է։ Այն սահմանված է դրական <math>b</math> թվերի համար և բավարարում է հետևյալ պայմանին՝
:<math>b = e^{\ln b}</math>։

Որպեսզի <math>b^x</math> արտահայտությունը պահպանի ցուցիչների և լոգարիթմի կանոնները, այն կամայական իրական <math>x</math> թվի համար պետք է բավարարի հետևյալ պայմանին՝
:<math>b^x = \left(e^{\ln b}\right)^x = e^{x \cdot\ln b}</math>։

Սա կարող է օգտագործվել որպես իրական թվերի աստիճանի այլընտրանքային սահմանում, այն համապատասխանում է վերևում ռացիոնալ ցուցիչներով և անընդհանտությամբ տրված սահմանմանը։ Աստիճանի լոգարիթմներով սահմանում ավելի տարածված է կոմպլեքս թվերի համատեքստում։

=== Բացասական հիմքով իրական ցուցիչ ===
Դրական իրական թվի աստիճանը միշտ դրական իրական թիվ է։ Չնայած <math>x^2=4</math> հավասարումն ունի երկու լուծում՝ 2 և -2։ <math>4^{1/2}</math> արտահայտության գլխավոր արժեքը 2–ն է, բայց -2-ը նույնպես թույլատրելի քառակուսի արմատ։ Եթե իրական թվերի աստիճանի սահմանումը ընդլայնվի բացասական արժեքների համար, ապա արդյունքը լավ վարք չի ունենա։

Լոգարիթմի կամ ռացիոնալ ցուցիչի մեթոդների միջոցով հնարավոր չէ <math>b^r</math> արտահայտությունը սահմանել որպես իրական թիվ՝ բացասական իրական <math>b</math> թվի և կամայական իրական <math>r</math> թվի համար։ Քանի որ <math>e^r</math> արտահայտությունը դրական է կամայական իրական <math>r</math> թվի համար, ապա <math>\ln{b}</math> արտահայտությունն իրական թիվ չէ, երբ <math>b \le 0</math>։

Ռացինալ ցուցիչի մեթոդը չի կարող օգտագործվել բացասական <math>b</math> արժեքների համար, քանի որ այն հիմնվում է [[Անընդհատ արտապատկերում|անընդհատության]] վրա։ Կամայական <math>b > 0</math> թվի համար <math>f(r) = b^r</math> ֆունկցիան ունի ճիշտ մեկ<ref name=Denlinger /> ընդլայնում ռացիոնալ թվերից դեպի իրական թվեր։ Բայց երբ <math>b < 0</math>, <math>f</math> ֆունկցիան նույնիսկ անընդհատ չէ ռացիոնալ <math>r</math> թվերի բազմության վրա։

Օրինակ՝ դիտարկենք <math>b = -1</math> դեպքը։ Կամայական բնական կենտ <math>n</math> թվի դեպքում -1-ի n-րդ արմատը -1 է։ Այսպիսով, եթե <math>n</math>-ը կենտ դրական ամբողջ թիվ է, ապա <math>(-1)^{m/n}=-1</math>, եթե <math>n</math>-ը զույգ է՝ <math>(-1)^{m/n}=1</math>։ Հետևաբար, <math>(-1)^q=1</math> պայմանին բավարարող <math>q</math> ռացիոնալ թվերի բազմությունը [[խիտ բազմություն|խիտ]] է ռացիոնալ թվերում, ինչպես նաև այն <math>q</math> թվերի բազմությունը, որոնց համար տեղի ունի <math>(-1)^q = -1</math> նույնությունը։ Սա նշանակում է, որ <math>(-1)^q</math> ֆունկցիան անընդհատ չէ կամայական ռացիոնալ <math>q</math> թվի համար, որտեղ սահմանված է։

Մյուս կողմից, բացասական <math>b</math> թվի կամայական կոմպլեքս աստիճան հնարավոր է սահմանել՝ ընտրելով <math>b</math>-ի [[կոմպլեքս լոգարիթմ]]։

=== Իռացիոնալ ցուցիչ ===
{{հիմնական|Գելֆոնդ-Շնայդերի թեորեմ}}
Եթե <math>b</math>-ն դրական իրական [[հանրահաշվական թիվ]] է, իսկ <math>x</math>-ը՝ ռացիոնալ, ապացուցված է, որ <math>b^x</math>-ը հանրահաշվական թիվ է։ Այս պնդումը ճիշտ է նաև կամայական հանրահաշվական <math>b</math> թվի դեպքում, միայն այն տարբերությամբ, որ <math>b^x</math>-ը կարող է ընդունել մի քանի արժեք (վերջավոր թվով), որոնք բոլորը հանրահաշվական են։ Գելֆոնդ-Շնայդերի թեորեմը որոշ տեղեկություններ է տալիս  [[Իռացիոնալ թիվ|իռացիոնալ]] <math>x</math>-ի դեպքում <math>b^x</math>-ի մասին, մասնավորապես՝
{{quote|Եթե <math>b</math>-ն 0-ից և 1-ից տարբեր հանրահաշվական թիվ է և <math>x</math>-ը իռացիոնալ հանրահաշվական թիվ է, ուրեմն <math>b^x</math> արտահայտության բոլոր արժեքները (գոյություն ունեն անթիվ բազմությամբ արժեքներ) [[տրանսցենդենտ թվեր]] են (այսինքն՝ հանրահաշվական չեն)։}}

== Կոմպլեքս ցուցիչ և դրական իրական հիմք ==
Եթե <math>b</math>-ն դրական իրական թիվ է իսկ <math>z</math>-ը՝ կամայական [[կոմպլեքս թիվ]], ուրեմն <math>b^z</math> աստիճանը սահմանվում է հետևյալ կերպ՝
:<math>b^z = \left(e^{\ln b}\right)^z = e^{(z\ln b)},</math>
որտեղ <math>x = \ln{b}</math>-ը <math>e^x = b</math> հավասարման միակ իրական լուծումն է, իսկ <math>e</math> թվի կոմպլեքս աստիճանը սահմանված է [[ցուցչային ֆունկցիա]]յով, որը կոմպլեքս փոփոխականով այն միակ ֆունկցիան է, որի [[ածանցյալ]]ը հավասար է իրեն և <math>x=0</math> կետում ընդունում է 1 արժեքը։

Քանի որ <math>b^z</math>-ը միշտ չէ, որ իրական թիվ է, <math>(b^z)^w</math> տիպի արտահայտությունները չեն սահմանվում նախորդ սահմանմամբ։ Այն պետք է ներկայացվի կոմպլեքս թվերի աստիճանների կանոնների միջոցով, և եթե <math>z</math>-ը իրական չէ կամ <math>w</math>-ը ամբողջ չէ, այն ընդհանուր առմամբ հավասար չէ <math>b^{zw}</math>-ի։

Ցուցչային ֆունկցիան ունի բազմաթիվ սահմանումներ, բայց բոլորն էլ հաջողությամբ տարածվում են կոմպլեքս թվերի վրա և բավարարում են ցուցչային հատկությանը։ Կամայական կոմպլեքս <math>z</math> և <math>w</math> թվերի համար ցուցչային ֆունկցիան բավարարում է <math>e^{z+w} = e^z e^w</math> պայմանին։ Մասնավորապես, կամայական կոմպլեքս <math>z = x+iy</math> թվի համար
:<math>e^z = e^{x+iy} = e^x \cdot e^{iy},</math>

Արտահայտության երկրորդ արտադրյալը՝ <math>e^{iy}</math>-ը, կարելի է ներկայացնել [[Էյլերի բանաձև]]ի միջոցով՝
:<math>e^{iy} = \cos y + i \sin y</math>։

Հետևաբար, կամայական կոմպլեքս <math>z = x+iy</math> թվի համար 
:<math>e^z = e^{x+iy} = e^x \cdot e^{iy} = e^x (\cos y + i \sin y)</math>։

[[Պյութագորասի եռանկյունաչափական նույնություն|Պյութագորասի եռանկյունաչափական նույնության]] հետևանքով <math>\cos y + i \sin y</math> արտահայտության բացարձակ արժեքը 1 է։ Հետևաբար, իրական <math>e^x</math> արտադրյալը <math>e^z</math>-ի բացարձակ արժեքն է իսկ ցուցիչի կեղծ <math>y</math> մասը արտահայտում է <math>e^z</math> կոմպլեքս թվի արգումենտը (աստիճանը)։

=== Շարքերով սահմանում ===
Քանի որ ցուցչային ֆունկցիան հավասար է իր ածանցյալին և բավարարում է <math>e^0=1,</math> պայմանին, հետևաբար ֆունկցայի [[Թեյլորի շարք]]ը կունենա հետևյալ տեսքը՝
:<math>e^z = \sum_{n=0}^\infty {z^n \over n!} = 1 + z + \frac{z^2}{2!} + \frac{z^3}{3!} + \frac{z^4}{4!} + \cdots</math>։

Այս [[անվերջ շարք]]ը, որը հաճախ ընդունվում է որպես կամայական կոմպլեքս ցուցիչի համար <math>e^z</math> ֆունկցիայի սահմանում, բացարձակ զուգամիտում է կամայական <math>z</math> կոմպլեքս թվի համար։

Եթե <math>z</math>-ը ունի միայն կեղծ մաս, այսինքն՝ <math>z = iy</math> կամայական իրական <math>y</math>-ի համար, շարքը վերածվում է հետևյալին՝
:<math>e^{iy} = 1 + iy + \frac{(iy)^2}{2!} + \frac{(iy)^3}{3!} + \frac{(iy)^4}{4!} + \cdots</math>,

որը (բացարձակ զուգամիտության պատճառով) կարելի է վերադասավորել և ստանալ
:<math>e^{iy} = \left(1 - \frac{y^2}{2!} + \frac{y^4}{4!} - \frac{y^6}{6!} + \cdots\right) + i \left(y - \frac{y^3}{3!} + \frac{y^5}{5!} - \cdots\right)</math>։

Այս արտահայտության իրական և կոմպլեքս մասերը համապատասխանում են [[Թեյլորի շարք#Եռանկյունաչափական ֆունկցիաներ|սինուսի և կոսինուսի Թեյլորի շարքերին]] (զրո կենտրոնով), որից հետևում է Էյլերի բանաձևը.
:<math>e^{iy} = \cos y + i \sin y</math>։

=== Սահմանով սահմանում ===
[[Պատկեր:ExpIPi.gif|300px|thumb|right|Այս անիմացիան [[կոմպլեքս հարթություն]]ում կրկնվող բազմապատկման միջոցով ցույց է տալիս, թե ինչպես է <math>(1 + i\pi/n)^n</math>-ը ձգտում <math>-1</math>-ի (n-ը փոխվում է <math>1</math>-ից մինչև <math>100</math>)։ <math>(1 + i\pi/n)^k,</math>-ի արժեքները (<math>k=0, 1, ..., n</math>) բեկյալի գագաթներն են, որի ամենաձախ կետը <math>(1 + i\pi/k)^k</math>-ն է (իրական <math>k</math>-ի համար)։ Այստեղից երևում է, որ <math>k</math>-ի մեծ արժեքների դեպքում <math>(1 + i\pi/k)^k</math>-ը ձգտում է <math>-1</math>-ի, ինչը պատկերավորում է [[Էյլերի նույնություն]]ը՝ <math>e^{i\pi} = -1</math>։]]

Ցուցչային <math>e^z</math> ֆունկցիան կարելի է նաև սահմանել որպես <math>(1 + z/n)^n</math>-ի [[հաջորդականության սահման|սահման]], երբ <math>n</math>-ը ձգտում է անվերջության։ Այս սահմանման մեջ n-րդ աստիճանը ներկայացնելով որպես բևեռային տեսքով կրկնվող բազմապատկում՝ հնարավոր է վիզուալ ցույց տալ Էյլերի բանաձևը։ Կամայական կոմպլեքս թիվ կարելի է ներկայացնել բևեռային <math>(r,\theta)</math> տեսքով, որտեղ <math>r</math>-ը թվի բացարձակ արժեքն է, <math>\theta</math>-ն՝ արգումենտը։ Երկու կոմպլեքս <math>\left(r_1, \theta_1\right)</math> և <math>\left(r_2, \theta_2\right)</math> թվերի արտադրյալը հավասար է <math>\left(r_1 r_2, \theta_1 + \theta_2\right)</math>-ի։

[[Կոմպլեքս հարթություն]]ուն դիտարկենք այն [[ուղղանկյուն եռանկյուն]]ը, որի գագաթները 0, 1 և <math>1 + ix/n</math> թվերն են։ <math>n</math>-ի մեծ արժեքների դեպքում եռանկյունը գրեթե [[Սեկտոր (երկրաչափություն)|սեկտոր]] է՝ 1 շառավղով և <math>x/n</math> [[ռադիան]] կենտրոնական անկյամբ։ <math>1+ix/n</math>-ը այդ դեպքում կարելի է մոտարկել <math>(1, x/n)</math> բևեռային տեսքն ունեցող թվով։ Այսպիսով, երբ <math>n</math>-ը ձգտում է անվերջության, <math>(1 + ix/n)^n</math>-ը ձգտում է <math>(1, x/n)^n = \left(1^n, nx/n\right) = (1, x)</math>-ի՝ [[միավոր շրջանագիծ|միավոր շրջանագծի]] այն կետրին, որի և դրական իրական առանցքի անկյունը կազմում է <math>x</math> ռադիան։ Այս կետի [[Դեկարտյան կոորդինատների համակարգ|Դեկարտյան կոորդինատներն]] են՝ <math>(\cos x, \sin x)</math>, հետևաբար՝<math>e^{ix} = \cos x + i \sin x</math>, որը Էյլերի բանաձևն է։

=== Պարբերականություն ===
<math>e^z = 1</math> հավասարման լուծումները <math>2 \pi i</math>-ի ամբողջ արտադրյալներ են. 
:<math>\left\{ z : e^z = 1 \right\} = \{ 2k\pi i : k \in \mathbb{Z} \}</math>
Հետևաբար, եթե <math>v</math>-ն այնպիսի կոմպլեքս թիվ է, որ <math>e^v = w</math>, ուրեմն <math>e^z = w</math>-ին բավարարող կամայական <math>z</math> կարելի է ստանալ <math>e^z = e^v\cdot 1 =  e^{v+i2k\pi}</math>-ից (<math>v</math>-ին <math>2 \pi i</math>-ին բազմապատիկ որևէ թիվ գումարելով).
:<math>\left\{ z : e^z = w \right\} = \{ v + 2k\pi i : k \in \mathbb{Z} \}</math>
Այլ կերպ ասած, կամայական ամբողջ <math>k</math>-ի համար կոմպլեքս ցուցիչային <math>e^z = \exp(z) = \exp(z + 2k\pi i)</math> ֆունկցիան <math>2 \pi i</math> պարբերությամբ [[պարբերական ֆունկցիա]] է։

=== Օրինակներ ===
:<math>\begin{align}
                      2^i &= e^{i \ln(2)} = \cos(\ln(2)) + i \sin(\ln(2)) \approx 0.76924 + 0.63896 i \\
                      e^i &= \cos(1) + i\sin(1) \approx 0.54030 + 0.84147 i \\
  \left(e^{2\pi}\right)^i &= {(535.49165\dots)}^i = e^{i\ln\left(e^{2\pi}\right)} = e^{i(2\pi)} = \cos(2\pi) + i\sin(2\pi)= 1\text{։}
\end{align}</math>

== Կոմպլեք թվերի աստիճան ==
Զրոյից տարբեր կոմպլեքս թվերի ամբողջ ցուցիչով աստիճանները սահմանվում են կրկնվող բազմապատկման կամ բաժանման միջոցով։ Եթե <math>i</math>-ը [[կեղծ միավոր]]ն է իսկ <math>n</math>-ը՝ ամբողջ թիվ, ուրեմն <math>i^n</math> արտահայտությունը հավասար է <math>1, i, -1</math> կամ <math>-i</math>` կախված նրանից, թե <math>n</math>-ը կոնգուրենտ է 0, 1, 2 կամ 3 թվերին (մոդ 4-ում)։ Այս պատճառով <math>i</math>-ի ամբողջ աստիճանները օգտագործվում են 4 պարբերությաբ հաջորդականություններ նշանակելու համար։

Դրական իրական թվերի կոմպլեքս աստիճանները սահմանվում են <math>e^x</math> ֆունկցիայի միջոցով՝ ինչպես նկարգրված է նախորդ «[[#Կոմպլեքս ցուցիչ և դրական իրական հիմք|Կոմպլեքս ցուցիչ և դրական իրական հիմք]]» բաժնում։ Սրանք անընդհատ ֆունկցիաներ են։

Այս ֆունկցիաները կոմպլեքս թվի կամայական աստիճանի համար ընդհանրացնելիս առաջանում են որոշակի դժվարություններ. ֆունկցիաները ստացվում են կամ խզվող, կամ բազմարժեք են լինում։ Այս տարբերակներից ոչ մեկը բավարարող չէ։

Կոմպլեքս թվի ռացինոալ աստիճանը պետք է հանրահաշվական հավասարման լուծում լինի։ Հետևաբար, այն միշտ ունի վերջավոր թվով արժեքներ։ Օրինակ՝ <math>w=x^{1/2}</math>-ը պետք է լինի <math>w^2 = z</math> հավասարման լուծում։ Բայց, եթե <math>w</math>-ն լուծում է, ուրեմն լուծում է նաև <math>-w</math>-ն, քանի որ <math>(-1)^2 = 1</math>։ Միակ, բայց ինչ-որ առումով կամայական լուծում, որը կոչում են գլխավոր արժեք, կարելի է ընտրել օգտվելով ինչ-որ ընդհանուր կանոնից։

Կոմպլեքս աստիճանները և լոգարիթմները ավելի բնականորեն մեկնաբանվում են որպես [[Ռիմանյան մակերևույթ]]ի վրա միարժեքանի ֆունկցիաներ։ Միարժեքանի ֆունկցիաները սահմանվում են ատլաս<!-- sheet --> ընտրելով։ Արժեքը ունի խզում [[ճյուղավորման կետ|ճյուղավորման կտրվածքում]]։ Հնարավոր բազմաթիվ արժեքներից մեկն ընտրելով որպես հիմնական արժեք՝ ստացվում է ընդհատ ֆունկցիա և աստիճանների ծանոթ կանոնները կարող են  սխալների հանգեցնել։

Կամայական կոմպլեքս թվի ոչ ռացիոնալ աստիճան ունի անթիվ բազմությամբ արժեքներ՝ [[կոմպլեքս լոգարիթմ]]ի բազմարժեքանիության պատճառով։ Սրանցից որպես գլխավոր արժեք ընտրվում է այն արժեքը, որի դեպքում դրական իրական և զրոյական կեղծ մասով կոմպլեքս թվերի աստիճանների արժեքները համընկնում են վերևի կանոնով սահմանված իրական հիմքով աստիճանների արժեքին։

Իրական թվի կոմպլեքս աստիճան բարձրացնելու գործողությունը ֆորմալ առումով տարբերվում է կոմպլեքս թիվի կոմպլեքս աստիճան բարձրացնելու գործողությունից։ Սակայն, դրական իրական թվերի դեպքում գլխավոր արժեքը նույնն է։

Բացասական իրական թվերի աստիճանները միշտ չէ, որ սահմանված են, իսկ սահմանված լինելու դեպքում խզվող են։ Ընդ որում, դրանք սահմանված են միայն այն դեպքում, երբ ցուցիչը ռացիոնալ թիվ է, որի հայտարարը կենտ ամբողջ թիվ է։

=== Կոմպլեքս ցուցիչ և կոմպլեք հիմք-կոպլեքսը այստեղ սխալ է գրված,խնդրում եմ ուշադիր լինել։ ===
Տրված <math>w \neq 0</math> և <math>z</math> կոմպլեքս թվերի համար <math>w^z</math> նշանակումը բազմիմաստ է այնպես, ինչպես <math>log{w}</math> արտահայտությունը։

<math>w^z</math>-ին արժեք վերագրելու համար սկզբում ընտրում են <math>w</math>-ի լոգարիթմի համար արժեք՝ <math>\log{w}</math>: Այս ընտրությունը կարող է լինել գլխավոր արժեքը` <math>Log{w}</math> (եթե այլ պայման տրված չէ) կամ կարող է լինել <math>\log{w}</math>-ի այլ արժեք։ Օգտագործելով այս արժեքը և ցուցչային ֆունկցիան կարելի է սահմանել՝

:<math>w^z = e^{z \log w}</math>,

քանի որ սա համընկնում է նախկին սահմանմանը, երբ <math>w</math>-ն դրական իրական թիվ էր և օգտագործվում էր <math>\log{w}</math>-ի (իրական) գլխավոր արժեքը։

Եթե <math>z</math>-ը [[ամբողջ թիվ]] է, ուրեմն <math>w^z</math> արտահայտության արժեքը կախված չէ <math>\log{w}</math>-ի ընտրությունից և համընկնում է ամբողջ ցուցիչով աստիճանների նախկին սահմանմանը։

Եթե <math>z</math>-ը <math>m/n</math> տեսքի (չկրճատվող) [[ռացիոնալ թիվ]] է և <math>z > 0</math>, ուրեմն <math>\log{w}</math>-ի հաշվելի քանակությամբ անվերջ արժեքները <math>w^z</math> արտահայտության համար տալիս են <math>n</math> արժեք։ Այս արժեքները <math>s^n = w^m</math> հավասարման <math>n</math> կոմպլեքս <math>s</math> լուծումներն են։

Եթե <math>z</math>-ը [[իռացիոնալ թիվ]] է, ուրեմն <math>\log{w}</math>-ի հաշվելի քանակությամբ անվերջ արժեքները <math>w^z</math> արտահայտության համար տալիս են անվերջ քանակությամբ իրարից տարբեր արժեքներ։

Կոմպլեքս աստիճանը հաշվելու համար օգտվում են դրա բևեռային տեսքից՝ ինչպես նկարագրված է նախորդ բաժնում։

Նման կառուցում օգտագործվում է նաև [[քվատերնիոններ]]ի համար։

=== Միավորի կոմպլեքս արմատներ ===
{{հիմնական|Միավորից n աստիճանի արմատներ}}

[[Պատկեր:One3Root.svg|thumb|right|1-ի 3 աստիճանի երեք արմատները]]

Դրական ամբողջ <math>n</math> թվերի համար <math>w^n = 1</math> պայմանին բավարարող <math>w</math> կոմպլեքս թիվը կոչվում է '''միավորի n աստիճանի արմատ'''։ Երկրաչափորեն միավորի n աստիճանի արմատները կոմպլեքս հարթությունում գտնվում են միավոր շրջանագծին ներգծված այն n չափանի կանոնավոր բազմանկյան վրա, որի գագթներից մեկը գտնվում է 1 իրական թվի վրա։

Եթե <math>w^n = 1</math>, բայց <math>0 < k < n</math> պայմանին բավարարող բոլոր <math>k</math> բնական թվերի համար <math>w^k \neq 1</math>, ուրեմն <math>w</math>-ն կոչվում է '''միավորի n աստիճանի պարզունակ արմատ'''<!-- Ստուգել primitive nth root of unity-ի ճիշտ թարգմանությունը -->։ [[-1|Բացասական մեկը]] միավորի միակ երկրորդ աստիճանի պարզունակ արմատն է։ Միավորի 4-րդ աստիճանի պարզունակ արմատներն են <math>i</math> և <math>-i</math>։

<math>e^\frac{2\pi i}{n}</math> թիվը միավորի n աստիճանի ամենափոքր դրական [[արգումենտ (կոմպլեքս անալիզ)|արգումենտով]] պարզունակ արմատն է։ Այն երբեմն կոչվում է '''միավորի n աստիճանի գլխավոր արմատ''', բայց այս եզրը համընդհանուր տարածում չունի և պետք չէ այն շփոթել <math>\sqrt[n]{1}</math>-ի գլխավոր արժեքի հետ, որը հավասար է 1-ի<ref>Այս սահմանումը կարելի է գտնել հետևյալ գրքերում՝
* {{Cite book |last=Thomas H. Cormen |title=Introduction to Algorithms |last2=Charles E. Leiserson |last3=Ronald L. Rivest |last4=Clifford Stein |publisher=MIT Press |year=2001 |isbn=978-0-262-03293-3 |edition=2 |language=en}} [http://highered.mcgraw-hill.com/sites/0070131511/student_view0/chapter30/glossary.html «Introduction to Algorithms» գրքի վերաբերյալ օնլայն նյութեր] {{webarchive|url=https://web.archive.org/web/20070930201902/http://highered.mcgraw-hill.com/sites/0070131511/student_view0/chapter30/glossary.html |date=2007-09-30 }}
* {{Cite book |author1=Paul Cull |url=https://archive.org/details/differenceequati0000cull |title=Difference Equations: From Rabbits to Chaos |author2=Mary Flahive |author2-link=Mary Flahive |author3=Robby Robson |publisher=Springer |year=2005 |isbn=978-0-387-23234-8 |edition=Undergraduate Texts in Mathematics |language=en}} Սահմանված է 351 էջում
* "[http://mathworld.wolfram.com/PrincipalRootofUnity.html Principal root of unity] {{Webarchive|url=https://web.archive.org/web/20200805205628/http://mathworld.wolfram.com/PrincipalRootofUnity.html |date=2020-08-05 }}", MathWorld.</ref>։

Միավորի n աստիճանի արմատները տրվում են հետևյալ կերպ՝
:<math>\left( e^{ \frac{2}{n} \pi i } \right) ^k = e^{ \frac{2}{n} \pi i k }</math>

որտեղ <math>2 \le k \le n</math>։

=== Կամայական կոմպլեքս թվի արմատներ ===
Չնայած ընդհանուր կոմպլեքս լոգարիթմի համար կան անթիվ բազմությամբ արժեքներ, <math>w^q</math> արտահայտությունը ունի վերջավոր արժեքներ, երբ <math>q = 1/n</math>, որտեղ <math>n</math>-ը դրական ամբողջ թիվ է։ Սրանք <math>w</math> թվի <math>n</math>-րդ աստիճանի արմատներն են՝ <math>z^n = w</math> հավասարման լուծումները։ Իրական արմատների նման 2-րդ աստիճանի արմատը կոչվում է քառակուսի արմատ, իսկ <math>3</math>-րդ աստիճանի արմատը՝ խորանարդ արմատ։

Սովորաբար <math>w^{1/n}</math>-ով նշանակում են արմատի գլխավոր արժեքը, որը ընդունում են <math>n</math>-րդ աստիճանի այն արմատը, որի արգումենտը [[բացարձակ արժեք]]ով ամենափոքրն է։ Երբ <math>w</math>-ի կեղծ մասը զրո է իսկ իրական մասը դրական, այս սահմանումը համապատասխանում է իրական թվերի համար <math>w^{1/n}</math>-ի ընդունված սահմանմանը։ Մյուս կողմից, երբ <math>n</math>-ը կենտ ամբողջ թիվ է իսկ <math>w</math>-ն՝ բացասական իրական թիվ, <math>w^{1/n}</math>-ի արժեքը կախված է համատեքստից։

<math>w</math> կոմպլեքս թվի <math>n</math>-րդ աստիճանի արմատների բազմությունը կարելի է ստանալ <math>w^{1/n}</math> գլխավոր արժեքը միավորից n-րդ աստիճանի արմատներով բազմապատկելով։ Օրինակ, 16-ի չորս արմատներն են՝ <math>2, -2, 2i</math> և <math>-2i</math>, քանի որ 16-ի գլխավոր 4-րդ արմատը 2 է իսկ միավորի 4-րդ աստիճանի արմատները՝ <math>1, -1, i</math> և <math>-i</math>։

=== Կոմպլեքս աստիճանի հաշվում ===
Կոմպլեքս աստիճանները հաճախ ավելի հեշտ է հաշվել օգտվելով կոմպլեքս թվերի բևեռային ներկայացումից։ Կամայական <math>z</math> կոմպլեքս թիվ հնարավոր է ներկայացնել բևեռային տեսքով հետևյալ կերպ՝
:<math>z = re^{i\theta} = e^{\ln(r) + i\theta},</math>
որտեղ <math>r</math>-ը ոչ բացասական իրական թիվ է, իսկ <math>\theta</math>-ն՝ <math>z</math>-ի իրական արգումենտն է։ Բևեռային տեսքը ունի պարզ երկրաչափական մեկնաբանություն․ եթե <math>u + iv</math> կոմպլեքս թիվը ներկայացվի որպես [[Կոմպլեքս հարթություն|կոմպլեքս հարթության]] կետ, որի [[Դեկարտյան կոորդինատների համակարգ|Դեկարտյան կոորդինատը]] <math>(u, v)</math> է, ապա <math>(r, \theta)</math>-ը նույն կետի կոորդինատն է բևեռային կոորդինատներով։ Այսինքն, <math>r</math>-ը «շառավիղն» է (<math>r^2 = u^2 + v^2</math>), իսկ <math>\theta</math>-ն՝ ակնյունը (<math>\theta = atan2(v, u)</math>)։ Բևեռային <math>\theta</math> կոորդինատը միարժեք չէ, քանի որ <math>\theta</math>-ին կարելի է գումարել <math>2\pi</math>-ի կամայական ամբողջ բազմապատիկ և ստանալ նույն կետը։ <math>\theta</math>-ի յուրաքանչյուր ընտրություն տալիս է աստիճանի հավանական տարբեր արժեք։ Կոնկրետ արժեք ընտրելու համար կիրառվում է ճյուղավորման կտրվածք։ Գլխավոր արժեքը (ամենատարածված ճյուղավորման կտրվածքը) համապատասխանում է <math>(-\pi, \pi]</math> միջակայքից ընտրված <math>\theta</math>-ի հետ։ Դրական իրական մաս և զրոյական կոմպլեքս մաս ունեցող կոմպլեքս թվերի դեպքում գլխավոր արժեքը համընկնում է իրական թվերի աստիճանի համապատասխան արժեքին։

<math>w^z</math> կոմպլեքս աստիճանը հաշվելու համար նախ պետք է <math>w</math> թիվը ներկայացնել բևեռային տեսքով՝
: <math>w = r e^{i\theta}</math>։

Հետո՝
: <math>\log(w) = \ln(r) + i \theta,</math>

հետևաբար՝
: <math>w^z = e^{z \log(w)} = e^{z(\ln(r) + i\theta)}</math>։

Եթե <math>z</math>-ը ներկայացվում է <math>c + di</math> տեսքով, ապա <math>w^z</math>-ի բանաձևը կարելի է ավելի հստակորեն ներկայացնել հետևյալ տեսքով՝
: <math>(r^c e^{-d\theta}) e^{i (d \ln(r) + c\theta)} = (r^c e^{-d\theta}) \big[\cos\big(d \ln(r) + c\theta\big) + i \sin\big(d \ln(r) + c\theta\big)\big]</math>։

Վերջնական բանաձևը հնարավորություն է տալիս կոմպլեքս աստիճանները հեշտությամբ հաշվել հիմքի բևեռային և ցուցիչի Դեկարտյան վերլուծումից։

Հետևյալ օրինակները օգտագործում են գլխավոր արժեքը՝ այն ճյուղային կտրվածքը, որի արդյունքում <math>\theta \in (-\pi, \pi]</math>։ <math>i^i</math> թիվը հաշվելու համար նախ պետք է <math>i</math>-ը ներկայացնել բևեռային և Դեկարտյան տեսքով՝
: <math>\begin{align}
  i &= 1 \cdot e^{\frac{1}{2} i \pi}, \\
  i &= 0 + 1i\text{։}
\end{align}</math>

Հետևաբար նախորդ բանաձևի մեջ տեղադրելով <math>r = 1, \theta = \frac{\pi}{2}, c = 0</math> և <math>d = 1</math>, կստացվի
: <math>i^i = \left( 1^0 e^{-\frac{1}{2}\pi} \right) e^{i \left[1 \cdot \ln(1) + 0 \cdot \frac{1}{2}\pi\right]} = e^{-\frac{1}{2}\pi} \approx 0.2079</math>։

Նմանապես <math>(-2)^{3 + 4i}</math>-ի արժեքը գտնելու համար պետք է հաշվել <math>-2</math>-ի բևեռային տեսքը․
: <math>-2 = 2e^{i \pi}</math>
և տեղադրել ստացված բանաձևի մեջ
: <math>(-2)^{3 + 4i} = (2^3 e^{-4\pi}) e^{i[4\ln(2) + 3\pi]} \approx (2.602 - 1.006 i) \cdot 10^{-5}</math>։

Կոմպլեքս աստիճանի արժեքը կախված է ընտրված ճյուղավորումից։ Օրինակ, եթե <math>i^i</math> թիվը հաշվելու համար օգտագործվի <math>i = 1e^{5\pi i /2}</math> բևեռային տեսքը, ապա արդյունքը կստացվի <math>e^{-5\pi/2}</math>, մինչդեռ գլխավոր արժեքով ստացվել էր <math>e^{-\pi/2}</math>։ <math>i^i</math> արտահայտության բոլոր հնարավոր արժեքների բազմությունը տրվում է այսպես<ref>[http://www.cut-the-knot.org/do_you_know/complex.shtml Complex number to a complex power may be real] {{Webarchive|url=https://web.archive.org/web/20200731024937/http://www.cut-the-knot.org/do_you_know/complex.shtml |date=2020-07-31 }} at Cut The Knot gives some references to ''i''<sup>''i''</sup>.</ref>՝
: <math>\begin{align}
  i   &= 1 \cdot e^{\frac{1}{2} i\pi + i 2 \pi k} \mid k \isin \mathbb{Z}, \\
  i^i &= e^{i \left(\frac{1}{2} i\pi + i 2 \pi k\right)} \\
      &= e^{-\left(\frac{1}{2} \pi + 2 \pi k\right)}\text{։}
\end{align}</math>
Այսպիսով, <math>i^i</math> արտահայտությունն ունի անթիվ բազմության հնարավոր արժեքներ՝ յուրաքանչյուր <math>k</math> ամբողջ թվի համար մեկ արժեք։ Այդ բոլոր արժեքները ունեն զրոյական կոմպլեքս մաս, հետևաբար կարելի է ասել, որ <math>i^i</math> արտահայտությունը ունի անթիվ բազմությամբ ընդունելի իրական արժեքներ։

=== Աստիճանային և լոգարիթմական նույնությունների ձախողում ===
Դրական իրական թվերի համար աշխատող որոշ աստիճանային և լոգարիթմական նույնություններ չեն աշխատում կոմպլեքս թվերի համար՝ անկախ նրանից, թե ինչպես է սահմանվում կոմպլեքս լոգարիթմը կամ կոմպլեքս աստիճանը որպես ''միարժեքանի ֆունկցիա''։ Օրինակ՝

{{bulleted list
| <math>log(b^x) = x \cdot log(b)</math> նույնությունը ճիշտ է կամայական դրական իրական <math>b</math> և իրական <math>x</math> թվերի համար։ Բայց կոմպլեքս լոգարիթմի հիմնականում ճյուղի դեպքում ունենք՝
: <math> i\pi = \log(-1) = \log\left[(-i)^2\right] \neq 2\log(-i) = 2\left(-\frac{i\pi}{2}\right) = -i\pi</math>
Անկախ նրանից թե լոգարիթմի որ ճղուղն է օգտագործվում, նույնության նմանատիպ ձախողում տեղի է ունենում։ Միայն այս արդյունքից ելնելով լավագույն դեպքում կարելի է պնդել, որ 
: <math>\log(w^z) \equiv z \cdot \log(w) \pmod{2 \pi i}</math>

Այս նույնությունը չի գործում նույնիսկ եթե լոգարիթմը դիտարկվի որպես բազմարժեք ֆունկցիա։ <math>z \cdot log(w)</math>-ի արժեքները հանդիսանում են <math>log(w^z)</math>-ի հնարավոր արժեքների ենթաբազմություն։ <math>log(w)</math>-ի գլխավոր արժեքը նշանակելով <math>Log(w)</math> և ենթադրելով, որ <math>m, n</math> թվերը կամայական ամբողջ թիվ են, երկու կողմերի հնարավոր արժեքներն են՝
: <math>\begin{align}
            \left\{\log(w^z)\right\} &= \left\{ z \cdot \operatorname{Log}(w) + z \cdot 2 \pi i n + 2 \pi i m \right\} \\
      \left\{z \cdot \log(w)\right\} &= \left\{ z \cdot \operatorname{Log}(w) + z \cdot 2 \pi i n \right\}
    \end{align}</math>
| <math>(bc)^x = b^xc^x</math> և <math>(b/c)^x = b^x/c^x</math> նույնությունները տեղի ունեն, երբ <math>b, c</math> թվերը բնական իրական, իսկ <math>x</math>-ը՝ իրական թվեր են։ Բայց հիմնական ճյուղերով հաշվարկները ցույց են տալիս, որ

: <math>1 = (-1 \cdot -1)^\frac{1}{2} \not = (-1)^\frac{1}{2}(-1)^\frac{1}{2} = -1</math>

և
: <math>i = (-1)^\frac{1}{2} = \left(\frac{1}{-1}\right)^\frac{1}{2} \not = \frac{1^\frac{1}{2}}{(-1)^\frac{1}{2}} = \frac{1}{i} = -i</math>

Մյուս կողմից, երբ <math>x</math>-ը ամբողջ թիվ է, նույնությունները տեղի ունեն բոլոր ոչզրոյական կոմպլեքս թվերի համար։

Եթե աստիճան բարձրացնելը համարենք բազմարժեք ֆունկցիա, ապա <math>(-1 \cdot -1)^{1/2}</math> արտահայտության հնարավոր արժեքներն են <math>\{1, -1\}</math>։ Նույնությունը գործում է, բայց չի կարելի ասել թե <math>\{1\} = \{(-1 \cdot -1)^{1/2}\}</math>։

| <math>(e^x)^y = e^{xy}</math> նույնությունը ճիշտ է կամայական <math>x, y</math> իրական թվերի համար, բայց ենթադրությունը թե այն ճիշտ է կոմպլեքս թվերի համար, հանգեցնում է հետևյալ [[Մաթեմատիկական սոփեստություն|պարադոքսին]], որը բացահայտել է Թոմաս Քլաուսենը 1827 թվականին<ref name="Clausen1827">{{Cite journal |vauthors=Steiner J, Clausen T, Abel NH |year=1827 |title=Aufgaben und Lehrsätze, erstere aufzulösen, letztere zu beweisen |trans-title=Problems and propositions, the former to solve, the later to prove |url=http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=270662 |journal=[[Crelle's Journal|Journal für die reine und angewandte Mathematik]] |volume=2 |pages=286–287}}{{Dead link|date=August 2019 |bot=InternetArchiveBot |fix-attempted=yes }}</ref>։

Կամայական ամբողջ <math>n</math> թվի համար ունենք․
# <math>e^{1 + 2 \pi i n} = e^1 e^{2 \pi i n} = e \cdot 1 = e</math>
# <math>\left(e^{1 + 2\pi i n}\right)^{1 + 2 \pi i n} = e\qquad</math> (երկու կողմերը <math>(1 + 2 \pi i n)</math> աստիճան բարձրացնելով)
# <math>e^{1 + 4 \pi i n - 4 \pi^2 n^2} = e\qquad</math> (ըստ <math>\left(e^x\right)^y = e^{xy}</math> նույնության)
# <math>e^1 e^{4 \pi i n} e^{-4 \pi^2 n^2} = e\qquad</math> (ըստ <math>e^{x+y} = e^x e^y</math> նույնության)
# <math>e^{-4 \pi^2 n^2} = 1\qquad</math> (բաժանելով <math>e</math>-ի)

բայց սա սխալ է, երբ <math>n \neq 0</math>։

Խնդիրը հետևյալն է․ ըստ սահմանման <math>e^y</math>-ը <math>\exp(y)</math> արտահայտության նշանակում է, որը ֆունկցիա է և նմանապես <math>x^y</math>-ը <math>\exp(y\log x)</math>-ի նշանակում է, որը բազմարժեքանի ֆունկցիա է։ Հետևաբար այդ նշանակումը անորոշ է, երբ <math>x = e</math>։ Այստեղ, նախքան ցուցիչը պարզեցնելը, երկրորդ տողը պետք է լիներ
: <math>\exp\left((1 + 2\pi i n)\log \exp(1 + 2\pi i n)\right) = \exp(1 + 2\pi i n)</math>։

Հետևաբար, ցուցիչը պարզեցնելիս ենթադրվել էր, որ <math>z</math>-ի կոմպլեքս արժեքների համար ճիշտ է <math>\log \exp z = z</math> արտահայտությունը, ինչը սխալ է, քանի որ կոմպլեքս լոգարիթմը բազմարժեք ֆունկցիա է։ Այլ կերպ ասած, <math>(e^x)^y = e^{xy}</math> նույնությունը պետք է փոխարինվի հետևյալ նույնությամբ՝

: <math>\left(e^x\right)^y = e^{y\log e^x},</math>

որը ճիշտ նույնություն է բազմարժեք ֆունկցիաների համար։
}}

== Ընդհանրացումներ ==
=== Մոնոիդներ ===
Ամբողջ ցուցիչով աստիճան բարձրացնելու գործողությունը կարելի է սահմանել կամայական բազմապատկական [[մոնոիդ]]ում<ref>{{Cite book |last=Nicolas Bourbaki |title=Algèbre |publisher=Springer |year=1970}}, I.2</ref>։ Մոնոիդը հանրահաշվական կառույց է՝ կազմված <math>X</math> բազմությունից և դրա անդամների վրա սահմանված [[զուգորդականություն|զուգորդական]] «բազմապատկման» գործողությամբ  և ունի բազմապատկական նույնություն, որը նշանակում են 1-ով։ Աստիճան բարձրացնելու գործողությունը տրվում է հետևյալ ինդուկտիվ սահմանմամբ՝

* <math>x^0 = 1</math> կամայական <math>x \in X</math> համար,
* <math>x^{n+1} = x^n x</math> կամայական <math>x \in X</math> և ոչ բացասական ամբողջ <math>n</math> թվի համար,
* Եթե <math>n</math>-ը բացասական է, ապա <math>x^n</math>-ը սահմանված է միայն<ref>{{Cite book |last=David M. Bloom |url=https://archive.org/details/linearalgebrageo0000bloo |title=Linear Algebra and Geometry |year=1979 |isbn=978-0-521-29324-2 |page=[https://archive.org/details/linearalgebrageo0000bloo/page/45 45] |url-access=registration}}</ref> այն դեպքում, երբ <math>x</math>-ը ունի հակադարձ <math>X</math>-ում։

Մոնոիդների մեջ են մտնում մաթեմատիկայի շատ կառույցներ, այդ թվում՝ [[խումբ (մաթեմատիկա)|խմբեր]] և [[Օղակ (մաթեմատիկա)|օղակներ]], որի ավելի մասնակի օրինակներից են մատրիցային օղակները և [[դաշտ (մաթեմատիկա)|դաշտերը]]։

=== Մատրիցներ և գծային օպերատորներ ===
Եթե <math>A</math>-ն քառակուսի մատրից է, ապա <math>A</math>-ն ինքն իր հետ <math>n</math> անգամ բազմապատկման արդյունքը կոչվում է <math>A</math>-ի <math>n</math> աստիճան։ Ըստ սահմանման՝ <math>A^0</math>-ը հավասար է միավոր մատրիցի<ref>Chapter 1, Elementary Linear Algebra, 8E, Howard Anton</ref>, իսկ եթե <math>A</math>-ն հակադարձելի է, ապա <math>A^{-n} = \left(A^{-1}\right)^n</math>։

Մատրիցների աստիճանները հաճախ կիրառվում են [[դիսկրետ դինամիկական համակարգ]]երում, որտեղ <math>A</math> մատրիցը արտահայտում է որոշակի համակարգի <math>x</math> վիճակի վեկտորից համակարգի մեկ այլ՝ <math>Ax</math>, վիճակին անցումը<ref>{{Citation |last=Strang |first=Gilbert |title=Linear algebra and its applications |year=1988 |edition=3rd |publisher=Brooks-Cole}}, Chapter 5.</ref>։ Սա [[Մարկովի շղթա]]յի ընդունված մեկնաբանությունն է։ Նմանապես, <math>A^2x</math>-ը համակարգի վիճակն է երկու քայլ հետո, ավելի ընդհանուր՝ <math>A^nx</math>-ը համակարգի վիճակն է <math>n</math> քայլ հետո։ Այս դեպքում <math>A^n</math> մատրիցը համակարգի ներկա վիճակից <math>n</math> քայլ հետո եկող վիճակի անցման մատրիցն է։ Այսպիսով, մատրիցի աստիճան հաշվելը համարժեք է դինամիկական համակարգի էվոլյուցիայի լուծմանը։ Շատ դեպքերում մատրիցի աստիճանը հնարավոր է արագ հաշվել սեփական արժեքների և սեփական վեկտորների միջոցով։

Աստիճան բարձրացնելու գործողությունը կարելի է սահմանել ոչ միայն մատրիցների, այլև ավելի ընդհանուր [[գծային օպերատոր]]ների վրա։ Օրինակ՝ [[մաթեմատիկական անալիզ]]ի <math>d/dx</math> [[ածանցյալ]] օպերատորը, որը <math>f(x)</math> ֆունկցիայի վրա ազդող գծային օպերատոր է, ինչի արդյունքը՝ <math>(d/dx)f(x) = f'(x)</math>-ը, մեկ այլ ֆունկցիա է։ Ածանցման գործողության <math>n</math>-րդ աստիճանը կարելի է սահմանել որպես ֆունկցիայի <math>n</math>-րդ ածանցյալ․

:<math>\left(\frac{d}{dx}\right)^nf(x) = \frac{d^n}{dx^n}f(x) = f^{(n)}(x)</math>։

Այս օրինակներում խոսվում է գծային օպերատորների դիսկրետ ցուցիչով աստիճանի մասին, բայց որոշ դեպքերում ցանկալի է նման օպերատորների վրա սահմանել նաև անընդհատ ցուցիչով աստիճանի հասկացությունը։ Սա [[Կիսախումբ|կիսախմբերի]] մաթեմատիկական տեսության սկիզբն է<ref>E Hille, R S Phillips: ''Functional Analysis and Semi-Groups''. American Mathematical Society, 1975.</ref>։ Ինչպես մատրիցի դիսկրետ ցուցիչով աստիճանի ստացումը լուծում է դիսկրետ դինամիկական համակարգերը, այնպես էլ մատրիցի անընդհատ ցուցիչով աստիճանի ստացումը լուծում է անընդհատ դինամիկայով համակարգերը։ Այս մեթոդներով լուծվում են [[Շրյոդինգերի հավասարում]]ը, [[ալիքային հավասարում]]ը և ժամանակից կախված այլ մասնակի դիֆերենցիալ հավասարումներ։ Ածանցյալի օպերատորը ոչ ամբողջ ցուցիչով աստիճան բարձրացնելը կոչվում է [[կոտորակային ածանցյալ]], որը [[կոտորակային ինտեգրալ]]ի հետ միասին [[կոտորակային հաշիվ|կոտորակային հաշվի]] հիմնական օպերատորներից է։

=== Վերջավոր դաշտեր ===
{{հիմնական|վերջավոր դաշտ}}
[[Դաշտ (մաթեմատիկա)|Դաշտերը]] աբստրակտ կառույցներ են, որոնցում բազմապատկման, գումարման, հանման և բաժանման գործողությունները լավ սահմանված են և բավարարում են այդ գործողությունների ծանոթ հատկություններին։ Դաշտերի օրինակ են իրական թվերը, ռացիոնալ թվերը և կոմպլեքս թվերը։ Այս դաշտերը անվերջ բազմություններ են, սակայն գոյություն ունեն դաշտեր, որոնք ունեն վերջավոր տարրեր։ Օրինակ՝ երկու տարրից բաղկացած <math>F_2=\{0,1\}</math> դաշտը, որտեղ գումարումը սահմանված է <math>0+1=1+0=1</math> և <math>0+0=1+1=0</math> ձևով, իսկ բազմապատկումը՝ <math>0\cdot 0=1\cdot 0 = 0\cdot 1=0</math> և <math>1\cdot 1=1</math>։

Վերջավոր դաշտերում աստիճան բարձրացնելու գործողությունը կիրառվում է [[հանրային բանալու գաղտնագրություն]]ում։ Օրինակ՝ [[Դիֆֆի-Հելլմանի բանալու փոխանակում]]ն օգտագործում է այն փաստը, որ վերջավոր դաշտերում աստիճան բարձրացնելը հաշվելու առումով ավելի հեշտ է, մինչդեռ [[դիսկրետ լոգարիթմ]]ը (աստիճան բարձրացնելու հակադարձը) հաշվելու առումով դժվար է։

Կամայական <math>F</math> վերջավոր դաշտում գոյություն ունի միակ <math>p</math> [[պարզ թիվ]], այնպես որ <math>F</math>-ին պատկանող կամայական <math>x</math> թվի համար <math>px=0</math>, այսինքն՝ <math>x</math> թիվը <math>p</math> անգամ ինքն իրեն գումարելու դեպքում ստացվում է զրո։ Օրինակ՝ <math>F_2</math> դաշտի դեպքում <math>p=2</math> թիվը ունի այդ հատկությունը։ Այս պարզ թիվը կոչվում է դաշտի բնութագրող։ Ենթադրենք <math>F</math>-ը <math>p</math> բնութագրող թվով դաշտ է և դիտարկենք <math>f(x) = x^p</math> ֆունկցիան, որը <math>F</math>-ի յուրաքանչյուր տարր բարձրացնում է <math>p</math> աստիճան։ Սա կոչվում է <math>F</math> դաշտի [[Ֆրոբենիուսի ավտոմատիզմ]]։ Այն դաշտի ավտոմորֆիզմ է [[առաջին կուրսեցու երազանք]] նույնության՝ <math>(x+y)^p = x^p+y^p</math>-ի պատճառով։

=== Աբստրակտ հանրահաշիվ ===
[[Աբստրակտ հանրահաշիվ|Աբստրակտ հանրահաշվում]] ամբողջ ցուցիչով աստիճանը կարելի է սահմանել բավական ընդհանուր կառույցների համար։

Եթե <math>X</math>-ը [[բազմություն]] է, որի վրա սահմանված է աստիճանի ասոցիատիվությամբ բինար օպերատոր, ապա <math>x^n</math> արտահայտությունը սահմանված է <math>X</math> բազմության կամայական <math>x</math> տարրի և զրոյից տարբեր կամայական <math>n</math> [[բնական թվ]]ի համար հետևյալ կերպ՝
:<math>\begin{align}
  x^1 &= x, \\
  x^n &= x^{n-1} x \quad \text{եթե } n > 1\text{։}
\end{align}</math>

Այս դեպքում կունենանք հետևյալ հատկությունները՝
: <math>\begin{align}
  (x^i x^j) x^k &= x^i (x^j x^k), && \text{(աստիճանի ասոցիատիվություն)} \\
        x^{m+n} &= x^m x^n, \\
        (x^m)^n &= x^{mn}\text{։}
\end{align}</math>

Եթե օպերատորը ունի երկկողմանի միավոր տարր 1, ապա <math>x^0</math> արտահայտությունը կամայական <math>x</math>-ի համար հավասար է 1-ի՝ ըստ սահմանման․{{փաստ}}<!--թող մնա մինչև աղբյուր գտնելը, փաստը ճիշտ է-->
: <math>\begin{align}
   x1 &= 1x = x, && \text{(երկկողմանի միավոր տարր)} \\
  x^0 &= 1.
\end{align}</math>

Եթե բինար օպերատորը ունի երկկողմանի հակադարձ և ասոցիատիվ է, ապա [[խմբոիդ]]ը (մագման) [[խումբ (մաթեմատիկա)|խումբ]] է։ <math>x</math>-ի հակադարձը նշանակում են <math>x^{-1}</math>-ով և այն դրա համար գործում են ցուցիչների բոլոր հայտնի կանոնները․
: <math>\begin{align}
  x x^{-1} &= x^{-1} x = 1, && \text{(երկկողմանի հակադարձ)} \\
   (x y) z &= x (y z), && \text{(ասոցիատիվություն)} \\
    x^{-n} &= (x^{-1})^n, \\
   x^{m-n} &= x^m x^{-n}\text{։}
\end{align}</math>

Եթե բազմապատկման գործողությունը կոմուտատիվ է (օրինակ՝ [[Աբելյան խումբ|Աբելյան խմբերում]]), ապա ճիշտ է հետևյալ նույնությունը՝
: <math>(xy)^n = x^n y^n</math>։

Եթե բինար գործողությունը գրվում է գումարի տեսքով, ինչպես սովորաբար արվում է [[Աբելյան խումբ|Աբելյան խմբերում]], ապա «աստիճան բարձրացնելը կրկնվող բազմապատկում է» արտահայտությունը կարելի է վերաձևակերպել որպես «[[բազմապատկում]]ը կրկնվող [[գումարում]] է»։ Այսպիսով, վերևում նշված աստիճանի յուրաքանչյուր օրենք ունի իր [[Անալոգիա (տրամաբանություն)|անալոգը]] բազմապատկման օրենքներում։

Երբ բազմության վրա սահմնաված են մի քանի աստիճանի ասոցիատիվությամբ բինար օպերատորներ, հաճախ կրկնվող օպերատորը նշելու համար վերտողային մասում ցուցիչից բացի նշում են նաև գործողության սիմվոլը։ Այսպիսով, <math>x^{*n}</math>-ը նույնն է ինչ <math>x*...*x</math> կամ <math>x^{\#n}</math>-ը նույնն է ինչ <math>x\#...\#x</math>, որտեղ <math>*, \#</math>-ը համապատասխան բինար օպերատորների սիմվոլներն են։

Վերտողային նշանակումը նաև օգտագործվում է (հատկապես խմբերի տեսությունում) համալուծումը<!-- conjugation = համալուծում ըստ http://mathematics.asj-oa.am/1298/-ի--> նշելու համար։ Այսինքն՝ <math>g^h = h^{-1}gh</math>, որտեղ <math>g</math>-ն և <math>h</math>-ը որոշոկի [[Խումբ (մաթեմատիկա)|խմբի]] տարրեր են։ Չնայած համալուծումը ենթարկվում է աստիճանի որոշ օրենքներին, այն չի կարող ինչ-որ կերպով համարվել կրկնվող բազմապատկում։

=== Բազմությունների տեսություն ===
{{հիմնական|Դեկարտյան արտադրյալ}}
Եթե <math>n</math>-ը բնական թիվ է և <math>A</math>-ն կամայական բազմություն, ապա <math>A^n</math> արտահայտությամբ հաճախ նշանակում են <math>A</math> բազմության տարրերի [[n չափանի շարան]]ների (կորտեժ) բազմությունը։ Սա համարժեք է նրան, եթե <math>A^n</math>-ով նշանակվի <math>\{1, 2,, ..., n-1\}</math> բազմությունից <math>A</math> գնացող ֆունկցիաների բազմությունը․ <math>(a_0, a_1, a_2, ..., a_{n-1})</math> շարանը համապատասխանում է այն ֆունկցիային, որը <math>i</math>-ն արտապատկերում է <math>a_i</math>-ին։

<math>\kappa</math> անվերջ կարդինալ թվի և <math>A</math> բազմության համար <math>A^\kappa</math> նշանակումը կիրառվում է <math>\kappa</math> չափանի բազմությունից դեպի <math>A</math> տանող ֆունկցիաների բազմությունը նշանակելու համար։ Սա հաճախ նշանակվում է <sup>κ</sup>'''''A''''' ձևով՝ կարդինալ աստիճանից, որը սահմանվում է ներքևում, տարբերելու համար։

Այս ընդհանրացված աստիճանները կարելի է նաև սահմանել բազմությունների վրա արվող գործողությունների կամ հավելյալ կառույցներով բազմությունների համար։ Օրինակ՝ [[Գծային հանրահաշիվ|գծային հանրահաշվում]] իմաստ ունի ըստ կամայական ինդեքսների բազմությամբ ինդեքսավորել [[վեկտորական տարածություն]]ների ուղիղ գումարները։ Այսինքն, կարող ենք խոսել
: <math>\bigoplus_{i \in \mathbb{N}} V_i</math>
արտահայտության մասին, որտեղ <math>V_i</math>-ը վեկտորական տարածություն է։

Եթե կամայական <math>i</math> ինդեքսի համար <math>V_i = V</math>, ապա արդյունքում ստացված ուղիղ գումարը կարելի է գրել <math>V^{\oplus N}</math> կամ պարզապես <math>V^{N}</math> (հասկանալով, որ խոսքն ուղիղ գումարի մասին է) տեսքով։ Այս դեպքում ևս կարելի է <math>N</math> բազմությունը փոխարինել <math>n</math> կարդինալ թվով՝ <math>V^n</math> ստանալու համար, չնայած, առանց <math>n</math> հզորությամբ բազմություն ընտրելու սա սահմանված է մինչև [[Իզոմորֆություն (մաթեմատիկա)|իզոմորֆություն]]։ Եթե <math>V</math>-ն վերցնենք [[իրական թվեր]]ի <math>\mathbb{R}</math> [[դաշտ (հանրահաշիվ)|դաշտը]] և <math>n</math>-ը որևէ [[բնական թիվ]], ապա կստանանք գծային հանարահշվում ամենահաճախ ուսումնասիրվող վեկտորական տարածությունը՝ <math>\mathbb{R}^n</math>-ը։

Եթե աստիճանի հիմքը բազմություն է, ապա աստիճան բարձրացնելու գործողությունը նույն Դեկարտյան արտադրյալն է, եթե այլ նշում չկա։ Քանի որ Դեկարտյան արտադրյալի արդյունքը n-շարաններ են, որոնք հնարավոր է ներկայացնել համապատասխան հզորությամբ բազմության վրա սահմանված ֆունկցիայով, հետևաբար <math>S^N</math>-ը նույն է ինչ <math>N</math>-ից <math>S</math> տանող բոլոր ֆունկցիաների բազմությունը․

: <math>S^N \equiv \{f \colon N \to S\}</math>։

Սա համապատասխանում է կարդինալ թվերի աստիճանին այն իմաստով, որ <math>|S^N| = |S|^{|N|}</math>, որտեղ <math>|X|</math>-ը <math>X</math>-ի հզորությունն է։ Երբ «2»-ը սահմանվում է որպես <math>\{0, 1\}</math>, ունենում ենք <math>|2^X|=2^{|X|}</math>, որտեղ <math>2^X</math>-ը (սովորաբար նշանակվում է <math>\textbf{P}(X)</math>-ով) <math>X</math> բազմության բոլոր ենթաբազմությունների բազմությունն է․ <math>X</math> բազմության կամայական <math>Y</math> ենթաբազմությանը միակորեն համապատասխանում է <math>X</math>-ի վրա սահմանված ֆունկցիա, որը <math>x \in Y</math> արժեքների դեպքում հավասար է 1-ի, այլապես՝ 0-ի։

=== Կատեգորիաների տեսություն ===
{{հիմնական|Դեկարտյան փակ կատեգորիա}}
[[Դեկարտյան փակ կատեգորիա]]յում աստիճան բարձրացնելու գործողությունը կարող է օգտագործվել կամայական օբյեկտ այլ օբյեկտի աստիճան բարձրացնելու համար։ Սա ընդհանրացնում է բազմությունների կատեգորիայում Դեկարտյան արտադրյալը։ Եթե Դեկարտյան փակ կատեգորիայում 0-ն սկզբնական օբյեկտն է, ապա 0<sup>0</sup> ցուցչային օբյեկտը իզոմորֆ է կամայական 1 տերմինալ օբյեկտի։

=== Կարդինալ և օրդինալ թվերի աստիճան ===
[[Բազմությունների տեսություն]]ում գոյություն ունեն աստիճան բարձրացնելու գործողություններ կարդինալ և օրդինալ թվերի համար։

Եթե <math>\kappa</math>-ն և <math>\lambda</math>-ն կարդինալ թվեր են, ապա <math>\kappa^\lambda</math> արտահայտությունը ներկայացնում է բոլոր այն ֆունկցիաների բազմության հզորությունը, որոնք սահմանված են <math>\lambda</math> հզորությամբ կամայական բազմության վրա և որոնց արժեքների բազմությունը ունի <math>\kappa</math> հզորություն<ref name="Bourbaki">Nicolas Bourbaki, Elements of Mathematics, Theory of Sets, Springer-Verlag, 2004, III.§3.5.</ref>։ Եթե <math>\kappa</math>-ն և <math>\lambda</math>-ն վերջավոր են, ապա սա համապատասխանում է սովորական աստիճան բարձրացնելու գործողությանը։ Օրինակ՝ 2 տարր ունեցող բազմության անդամներից 3 չափանի շարանների բազմության հզորությունը <math>8 = 2^3</math> է։ Կարդինալ թվաբանությունում <math>\kappa^0</math> արտահայտությունը միշտ 1-ի է հավասար (նույնիսկ եթե <math>\kappa</math>-ն զրո է կամ անվերջ կարդինալ)։

Կարդինալ թվերի աստիճանը տարբեր է օրդինալ թվերի աստիճանից, որը սահմանվում է [[տրանսֆինիտ ինդուկցիա]]յի և [[Սահման (մաթեմատիկա)|սահմանի]] միջոցով։

== Կրկնվող աստիճան բարձրացում ==
Ինչպես բնական թվերի աստիճան բարձրացնելը մոտիվացված է կրկնվող բազմապատկմամբ,  նմանապես հնարավոր է սահմանել գործողություն ըստ կրկնվող աստիճան բարձրացնելու․ այս գործողությունը հաճախ կոչվում է հիպեր-4 կամ [[տետրացիա]]։ Կրկնվող տետրացիայի գործողությամբ սահմանվում է մեկ այլ գործողություն, և այդպես շարունակ (տես՝ [[հիպերգործողություն]])։ Գործողությունների այս հաջորդականությունը ներկայացվում է  [[Ակերմանի ֆունկցիա]]յի և [[Կնուտի վերսլաքային նշանակում|Կնուտի վերսլաքային նշանակմամբ]]։ Ինչպես աստիճան բարձրացնելը աճում է ավելի արագ, քան բազմապատկումը, որն էլ իր հերթին աճում է ավելի արագ, քան գումարը, այդպես էլ տետրացիան աճում է ավելի արագ, քան աստիճան բարձրացնելը։ Այսպես, <math>(3, 3)</math> կետում գումարման, բազմապատկման, աստիճան բարձրացման և տետրացիա ֆունկցիաների արժեքները համապատասխանաբար հավասար են <math>6, 9, 27</math> և <math>7625597484987</math> (<math>=3^{27} = 3^{3^3} = ^33</math>)-ի։

== Աստիճանների սահմաններ ==
[[Զրոյի զրո աստիճան]] (<math>0^0</math>) տեսքի սահմանները [[Անորոշ սահմաններ|անորոշ]] են։ Այս օրինակներում սահմանը գոյություն ունի, բայց կարող է ունենալ տարբեր արժեքներ, ինչը ցույց է տալիս, որ <math>f(x, y) = x^y</math> երկու փոփոխականով ֆունկցիան սահման չունի <math>(0, 0)</math> կետում։

Այլ կետերում սահմանի գոյությունը ստուգելու համար ենթարդենք, որ <math>f(x, y) = x^y</math> սահմանված է <math>D=\{(x, y) \in \mathbb{R}^2 : x > 0\}</math> բազմությունում։ Այս դեպքում <math>D</math>-ն կարելի է համարել <math>\bar{\mathbb{R}}^2</math> (բոլոր <math>(x, y)</math> զույգերի բազմությունը, որտեղ <math>x, y</math>-ը պատկանում են <math>\bar{\mathbb{R}} = [-\infty, +\infty]</math> [[ընդլայնված թվային ուղիղ|ընդլայնված թվային ուղղին]]<!--, endowed with the product topology գտնել product topology-ի հայերեն տարբերակը-->) բազմության ենթաբազմություն, որը կպարունակի այն կետերը, որոնցում ֆունկցիան սահման ունի։

Ընդ որում, <math>f</math>-ը <math>D</math>-ի բոլոր [[Սահմանային կետ|կուտակման կետերում]] սահման ունի՝ բացառությամբ <math>(0, 0),  (+\infty, 0), (1, +\infty)</math> և <math>(1, -\infty)</math> կետերի<ref>Nicolas Bourbaki, ''Topologie générale'', V.4.2.</ref>։ Հետևաբար, սա հնարավորություն է տալիս <math>x^y</math> աստիճանը սահմանել ըստ անընդհատության, երբ <math>0 \leq x \leq +\infty, -\infty \leq y \leq +\infty</math>` բացառությամբ <math>0^0, (+\infty)^0, 1^{+\infty}</math> և <math>1^{-\infty}</math>-ի, որոնք մնում են անորոշ ձևեր։

Ըստ այս սահմանման՝
* <math>x^{+\infty} = +\infty</math> և <math>x^{-\infty} = 0</math>, երբ <math>1 < x \leq +\infty</math>,
* <math>x^{+\infty} = 0</math> և <math>x^{-\infty} = +\infty</math>, երբ <math>0 \leq x < 1</math>,
* <math>0^y = 0</math> և <math>(+\infty)^y = +\infty</math>, երբ <math>0 < y \leq +\infty</math>
* <math>0^y = +\infty</math> և <math>(+\infty)^y = 0</math>, երբ <math>-\infty \leq y < 0</math>։

Այս աստիճանները ստացվել են <math>x</math>-ի դրական արժեքների համար <math>x^y</math>-ի սահմանը հաշվելու արդյունքում։ Այս մեթոդով չի սահմանվում <math>x^y</math>-ը, երբ <math>x < 0</math>, քանի որ այդ դեպքում <math>(x, y)</math> կետերը <math>D</math>-ի կուտակման կետ չեն։

Մյուս կողմից, երբ <math>n</math>-ը ամբողջ թիվ է, <math>x^n</math> արժեքը արդեն իմաստ ունի <math>x</math>-ի կամայական՝ այդ թվում բացասական արժեքների դեպքում։ Սա կարող է բացասական <math>n</math>-երի համար վերևում սահմանված <math>0^n = +\infty</math> արտահայտությունը խնդրահարույց դարձնել կենտ <math>n</math>-երի համար, քանի որ այս դեպքում <math>x^n \to +\infty</math>, երբ <math>x</math>-ը ձգտում է 0-ի դրական արժեքներով (աջից), բայց ոչ բացասական արժեքներով ձգտելու դեպքում (ձախից)։

== Արդյունավետ հաշվում ամբողջ ցուցիչով ==
Կրկնվող բազմապատկումների միջոցով <math>b^n</math>-ը հաշվելու համար անհրաժեշտ է <math>n-1</math> բազմապատկման գործողություն, սակայն այս արտահայտությունը կարելի է հաշվել ավելի արդյունավետ՝ ինչպես ցուցադրված է հետևյալ օրինակում։ <math>2^{100}</math> արտահայտությունը հաշվելու համար կարելի է նկատել, որ <math>100 = 64 + 32 + 4</math>։ Այնուհետև հաշվել հետևյալ հերթականությամբ․

# <math>2^2=4</math>
# <math>(2^2)^2 = 2^4 = 16</math>
# <math>(2^4)^2 = 2^8 = 256</math>
# <math>(2^8)^2 = 2^{16} = 65536</math>
# <math>(2^{16})^2 = 2^{32} = 4294967296</math>
# <math>(2^{32})^2 = 2^{62} = 18446744073709551616</math>
# <math>2^{64}2^{32}2^{4} = 1267650600228229401496703205376</math>:
Գործողությունների այս հաջորդականությունը պահանջում է միայն 8 բազմապատկման գործողություն (վերջին քայլում անհրաժեշտ է 2 բազմապատկում)՝ 99-ի փոխարեն։

Ընդհանուր առմամաբ <math>b^n</math> արտահայտությունը հաշվելու համար անհրաժեշտ  բազմապատկման գործողությունների քանակը կարելի է կրճատել մինչև [[Մեծ O նշանակում|Θ]](log ''n'')` [[աստիճան բարձրացնելու արագ ալգորիթմ]]ի կամ (ավելի ընդհանուր) գումարման շղթայով աստիճան բարձրացնելու ալգորիթմի միջոցով<!--  addition-chain exponentiation-ը չգտա հայերեն գրքերում :/ կարծում եմ՝ իմաստին համապատասխանող թարգմանություն է, բայց չէր խանգարի, եթե ճշտվեր ինչ-որ գրքում-->։ <math>b^n</math> արտահայտությունը հաշվելու համար անհրաժեշտ նվազագույն բազմապատկման գործողությունների քանակը գտնելը դժվար խնդիր է, որի համար հայտնի արդյունավետ ալգորիթմ չկա (տես [[ենթաբազմության գումարի խնդիր]]), բայց գոյություն ունեն բազմաթիվ արդյունավետ [[էվրիստիկական ալգորիթմ]]ներ<ref>{{Cite journal |last=Gordon |first=D. M. |date=1998 |title=A Survey of Fast Exponentiation Methods |url=http://www.ccrwest.org/gordon/jalg.pdf |url-status=dead |journal=Journal of Algorithms |volume=27 |pages=129–146 |citeseerx=10.1.1.17.7076 |doi=10.1006/jagm.1997.0913 |archive-url=https://web.archive.org/web/20170809053424/https://www.ccrwest.org/gordon/jalg.pdf |archive-date=2017 թ․ օգոստոսի 9 |access-date=2020 թ․ օգոստոսի 2}}</ref>։

== Ֆունկցիաների անունների համար աստիճանային նշանակում ==
Ֆունկցիայի անվան կամ սինվոլի վերտողում թիվ գրելը սովորաբար վերաբերում է [[ֆունկցիայի կոմպոզիցիա]]յին, ոչ թե կրկնվող բազմապատկմանը<ref name="Herschel_1813" /><ref name="Herschel_1820" /><ref name="Cajori_1929"/>։ Այսպիսով, <math>f^3(x)</math> սովորաբար նշանակում է <math>f(f(f(x)))</math><ref name="Peano_1903" />, մասնավորապես՝ <math>f^{-1}(x)</math>-ով սովորաբար նշանակում են <math>f</math>-ի [[հակադարձ ֆունկցիա]]ն։ Այս նշանակումը ներմուծվել է [[Հանս Հայնրիխ Բյուրման]]ի<ref name="Herschel_1820" /><ref name="Cajori_1929"/> և [[Ջոն Ֆրեդերիկ Ուիլյամ Հերշել]]ի<ref name="Herschel_1813" /><ref name="Herschel_1820" /><ref name="Cajori_1929"/> կողմից։ Իտերատիվ ֆունկցիաները կարևոր դեր ունեն [[ֆրակտալ]]ների և դինամիկ համակարգերի հետազոտությունում։ <math>f^{1/2}(x)</math> [[ֆունկցիոնալ քառակուսի արմատ]]ը գտնելու խնդիրը առաջին անգամ ուսումնասիրել է [[Չարլզ Բեբիջ]]ը։

Ֆունկցիայի կոմպոզիցիան և աստիճանը իրարից տարբերելու համար հաճախ աստիճան բարձրացնելու դեպքում ֆունկցիայի ցուցիչը գրում են փոփոխականի փակագծից հետո։ Այսինքն՝ <math>f(x)^3</math>-ը նշանակում է <math>(f(x))^3</math> իսկ <math>f(x)^{-1}</math>-ը՝ <math>1/f(x)</math>։

Պատմական պատճառներով և հաշվի առնելով այն, որ փակագծերի բացթողման պատճառով անորոշություն է ստեղծվում՝ որոշակի [[Եռանկյունաչափական ֆունկցիաներ|եռանկյունաչափական]] և [[Հիպերբոլական ֆունկցիաներ|հիպերբոլական]] ֆունկցիաների անվան վերտողում գրվող թվերը հատուկ իմաստ ունեն․ ֆունկցիայի անվան վերտողում գրվող դրական ցուցիչը նշանակում է արդյունքը այդ աստիճան բարձրացնել<ref name="Bronstein_1987"/><ref name="Cajori_1929"/><ref name="Cagnoli_1786" /><ref name="DeMorgan_1849" /><ref name="Serret_1857" /><ref name="Todhunter_1876" /><ref name="Hobson_1911" /><ref name="Toledo_1917" /><ref name="Rothe_1921" />, իսկ <math>-1</math> ցուցիչը շարունակում է նշանակել հակադարձ ֆունկցիան<ref name="Cajori_1929"/>։ Այսինքն՝ <math>\sin^2 x</math>-ը պարզապես <math>(\sin 2)^2=\sin(x)^2</math>-ի կարճ գրելաձևն է<ref name="Bronstein_1987"/><ref name="Euler_1748"/><ref name="Karsten_1760" /><ref name="Scherffer_1772"/><ref name="Frisius_1782"/><ref name="Abel_1826" /><ref name="Ohm_1829" /><ref name="Stibitz_1957"/>, իսկ <math>\sin^{-1} x</math>-ը [[սինուս]] ֆունկցիայի հակադարձն է՝ <math>\arcsin(x)</math>-ը։ Նման սովորույթ կա նաև լոգարիթմների գրառման ժամանակ<ref name="Cajori_1929"/>, որտեղ <math>\log^2 x</math>-ը հաճախ նշանակում է <math>(\log x)2</math> ոչ թե <math>\log \log x</math><ref name="Cajori_1929"/>։

Երկիմաստությունից խուսափելու համար որոշ մաթեմատիկոսներ ֆունկցիայի կոմպոզիցիան նշանակում են <math>\circ</math>-ով՝ <math>f(x)</math> ֆունկցիայի n-րդ իտերացիան <math>f^{\circ n}(x)</math> նշանակելով, այսինքն՝ <math>f^{\circ 3}(x) = f(f(f(x)))</math>։ Նույն խնդրի պատճառով [[Բենջամին Պիրց]]ը օգտագործում էր <math>f^{[n]}(x)</math> նշանակումը<ref name="Cajori_1929"/><ref name="Peirce_1852" />, իսկ Ալֆրեդ Պրինգսհայմը և Ժյուլ Մոլքը առաջարկել են {{math|{{i sup|''n''}}''f''(''x'')}} նշանակումը<ref name="Cajori_1929"/><ref name="Pringsheim-Molk_1907" /><ref name="NB_Rucker" group="Ն" />։

== Ծրագրավորման լեզուներում ==
[[Ծրագրավորման լեզու]]ները սովորաբար աստիճանի գործողությունը ներկայացնում են միջածանցային օպերատորով կամ ֆունկցիայի տեսքով․
* <code>x ↑ y</code>: [[Ալգոլ (անվանում)|Algol]], [[Commodore BASIC]], [[TRS-80 Level II BASIC|TRS-80 Level II/III BASIC]]<ref name="InfoWorld_1982">{{Cite news |date=1982 թ․ օգոստոսի 9 |title=BASCOM - A BASIC compiler for TRS-80 I and II |url=https://books.google.com/books?id=NDAEAAAAMBAJ&pg=PA42&lpg=PA42 |url-status=live |archive-url=https://web.archive.org/web/20200207104336/https://books.google.de/books?id=NDAEAAAAMBAJ&pg=PA42&lpg=PA42&focus=viewport&dq=TRS-80+exponention&hl=de#v=onepage&q=TRS-80%20exponention&f=false |archive-date=2020 թ․ փետրվարի 7 |access-date=2020 թ․ փետրվարի 6 |newspaper=InfoWorld |publisher=Popular Computing, Inc. |pages=41–42 |volume=4 |number=31 |quote=[…] If […] squaring is accomplished with TRS-80 BASIC's exponentiation (up-arrow) function, interpreter run time is 22 minutes 20 seconds, and compiled run time is 20 minutes 3 seconds. […] |author-first=Timothy "Tim" A. |author-last=Daneliuk |series=Software Reviews}}</ref><ref name="80Micro_1983">{{Cite journal |date=1983 թ․ հոկտեմբեր |title=80 Contents |url=https://archive.org/details/80-microcomputing-magazine-1983-10 |journal=[80 Micro |publisher=1001001, Inc. |issue=45 |page=5 |issn=0744-7868 |access-date=2020 թ․ փետրվարի 6 |quote=[…] The left bracket, [, replaces the up arrow used by [[RadioShack]] to indicate exponentiation on our printouts. When entering programs published in [[80 Micro]], you should make this change. […]}} (NB. At code point 5Bh the TRS-80 character set has an up-arrow symbol "↑" in place of the [[ASCII]] [[left square bracket]] "[".)</ref>։
* <code>x ^ y</code>: [[AWK]], [[BASIC]], [[J ծրագրավորման լեզու|J]], [[MATLAB]], [[Wolfram Language]] ([[Wolfram Mathematica|Mathematica]]), [[R (ծրագրավորման լեզու)|R]], [[Microsoft Excel]], [[Analytica (software)|Analytica]], [[TeX]] (և իր ածանցյալ լեզուները), [[TI-BASIC]], [[bc]] (ամբողջ ցուցիչների համար), [[Haskell (ծրագրավորման լեզու)|Haskell]] (ոչ բացասական ցուցիչների համար), [[Lua (ծրագրավորման լեզու)|Lua]] և համակարգչային հանրահաշվական համակարգերի մեծ մասը։ <code>^</code> սինվոլը նաև կիրառվում է որպես [[XOR]] POSIX Shell թվաբանական արտահայտություններում, AWK, C, C++, C#, D, Go, Java, JavaScript, Perl, PHP, Python, Ruby և Tcl լեզուներում, անուղղակիություն Pascal լեզվում և սինվոլային տողերի (string) միացում OCaml և Standard ML լեզուներում։
* <code>x ^^ y</code>: Haskell (կոտորակային հիմքի և ամբողջ ցուցիչի համար), [[D (ծրագրավորման լեզու)|D]]։
* <code>x ** y</code>: [[Ada (ծրագրավորման լեզու)|Ada]], [[Z shell]], [[Korn shell]], [[Bash (Unix shell)|Bash]], [[Կոբոլ]], [[CoffeeScript]], [[Ֆորտրան]], [[FoxPro 2|FoxPro]], [[Gnuplot]], [[Apache Groovy|Groovy]], [[ՋավաՍկրիպտ]], [[OCaml]], [[F Sharp (programming language)|F#]], [[Perl]], [[PHP]], [[PL/I]], [[Python]], [[Rexx]], [[Ruby (ծրագրավորման լեզու)|Ruby]], [[SAS programming language|SAS]], [[Seed7]], [[TCL]], [[ABAP]], [[Mercury (programming language)|Mercury]], Haskell (սահող կետով ցուցիչների համար), [[Turing (ծրագրավորման լեզու)|Turing]], [[VHDL]].
* <code>pown x y</code>: F# (ամբողջ հիմքի և ամբողջ ցուցիչի համար).
* <code>x⋆y</code>: [[APL (ծրագրավորման լեզու)|APL]].

Շատ ծրագրավորման լեզուներ աստիճանի համար հատուկ նշանակում չունեն, բայց ունեն ֆունկցիա համապատասխան գրադարանում․ 
* <code>pow(x, y)</code>: [[C (ծրագրավորման լեզու)|C]], [[C++]].
* <code>Math.Pow(x, y)</code>: [[C Sharp|C#]].
* <code>math:pow(X, Y)</code>: [[Erlang (ծրագրավորման լեզու)|Erlang]].
* <code>Math.pow(x, y)</code>: [[Ջավա]].
* <code>[Math]::Pow(x, y)</code>: [[PowerShell]].

Որոշ ցուցիչների համար գոյություն ունեն <math>x^y</math> արտահայտությունը հաշվելու ավելի արագ եղանակներ։ Այս ցուցիչներից են՝ փոքր դրական կամ բացասական ամբողջ թվերը (<math>x \cdot x</math>-ը ավելի հեշտ է հաշվել, քան <math>x^2</math>-ն, <math>1/x</math>-ը ավելի հեշտ է, քան <math>x^{-1}</math>-ը) և քառակուսի արամատը (sqrt(''x'')-ը ավելի հեշտ է, քան <math>x^{0.5}</math>-ը, cbrt(''x'') ավելի հեշտ է, քան <math>x^{1/3}</math>-ը)։

Ոչ բոլոր ծրագրավորման լեզուներն են ենթարկվում գործողությունների կատարման նույն հերթականությանը․ չնայած [[Wolfram language]]-ը, [[Գուգլ (որոնողական համակարգ)|Գուգլ որոնողական համակարգը]] և այլ լեզուներ գործողությունը կատարում են աջից ձախ (<code>a^b^c</code>-ը համարժեք է <code>a^(b^c)</code>-ի), շատ համակարգչային ծրագրեր ([[Microsoft Excel]] կամ [[Matlab]]) գործողությունները կատարում են ձախից աջ (<code>a^b^c</code>-ը համարժեք է <code>(a^b)^c</code>-ի)։

== Նշումներ ==
{{ծանցանկ|group="Ն"|refs=
<ref name="NB_Rucker" group="Ն">Ֆունկցիայի համադրության նշանակման համար օգտագործվող Ալֆրեդ Պրինգսհայմի և Ժյուլ Մոլքի (1907) {{math|{{i sup|''n''}}''f''(''x'')}} նշանակումը պետք չէ շփոթել Ռուդոլֆ ֆոն Բիտեր Ռակերի (1982) {{math|{{i sup|''n''}}''x''}} նշանակման հետ, որը տետրացիան նշանակելու համար ներմուծվել է Հանս Մաուրերի (1901) և Ռուբեն Լուի Գուդշտեյնի կողմից։</ref>
}}

== Ծանոթագրություններ ==
{{ծանցանկ|refs=
<ref name="Robinson_1958">{{Cite journal |date=1958 թ․ հոկտեմբեր |title=A report on primes of the form k · 2<sup>n</sup> + 1 and on factors of Fermat numbers |url=http://www.ams.org/journals/proc/1958-009-05/S0002-9939-1958-0096614-7/S0002-9939-1958-0096614-7.pdf |url-status=live |journal=Proceedings of the American Mathematical Society |language=en |location=[[Կալիֆոռնիայի համալսարան]] |volume=9 |issue=5 |page=673–681 [677] |doi=10.1090/s0002-9939-1958-0096614-7 |archive-url=https://web.archive.org/web/20200628100823/https://www.ams.org/journals/proc/1958-009-05/S0002-9939-1958-0096614-7/S0002-9939-1958-0096614-7.pdf |archive-date=2020 թ․ հունիսի 28 |access-date=2020 թ․ հունիսի 28 |author-first=Raphael Mitchel |author-last=Robinson |orig-year=1958-04-07}}</ref>
<ref name="Bronstein_1987">{{Cite book |author-last1=Bronstein |author-first1=Ilja Nikolaevič<!-- Nikolajewitsch --> |title=Taschenbuch der Mathematik |title-link=Bronstein and Semendjajew |author-last2=Semendjajew |author-first2=Konstantin Adolfovič<!-- Adolfowitsch --> |date=1987 |publisher=Verlag Harri Deutsch (and B. G. Teubner Verlagsgesellschaft, Leipzig) |others=Weiß, Jürgen<!-- lector --> |isbn=3-87144-492-8 |editor-last1=Grosche |editor-first1=Günter |edition=23 |volume=1 |location=Լայպցիգ |publication-place=Thun, Switzerland / Frankfurt am Main, Germany |pages=115–120, 802 |language=de |translator-last=Ziegler |translator-first=Viktor |trans-title=Pocketbook of mathematics |chapter=2.4.1.1. Definition arithmetischer Ausdrücke |trans-chapter=Definition of arithmetic expressions |quote=Regel 7: Ist ''F''(''A'') Teilzeichenreihe eines arithmetischen Ausdrucks oder einer seiner Abkürzungen und ''F'' eine Funktionenkonstante und ''A'' eine Zahlenvariable oder Zahlenkonstante, so darf ''F&thinsp;A'' dafür geschrieben werden. [Darüber hinaus ist noch die Abkürzung ''F''<sup>''n''</sup>(''A'') für (''F''(''A''))<sup>''n''</sup> üblich. Dabei kann ''F'' sowohl Funktionenkonstante als auch Funktionenvariable sein.] |editor-last2=Ziegler<!-- 1922–1980--> |editor-first2=Viktor |editor-last3=Ziegler |editor-first3=Dorothea |orig-year=1945}}</ref>
<ref name="NIST_2010">{{Cite book |title=NIST Handbook of Mathematical Functions |title-link=NIST Handbook of Mathematical Functions |date=2010 |publisher=National Institute of Standards and Technology (NIST), U.S. Department of Commerce, Cambridge University Press |isbn=978-0-521-19225-5 |editor-last=Olver |editor-first=Frank W. J. |language=en |mr=2723248 |editor2-last=Lozier |editor2-first=Daniel W. |editor3-last=Boisvert |editor3-first=Ronald F. |editor4-last=Clark |editor4-first=Charles W.}}[http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521140638] {{Webarchive|url=https://archive.today/20130703230148/http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521140638 |date=2013-07-03 }}</ref>
<ref name="Zeidler_2013">{{Cite book |author-last1=Zeidler |author-first1=Eberhard |title=Springer-Handbuch der Mathematik I |title-link=Springer-Handbuch der Mathematik |author-last2=Schwarz |author-first2=Hans Rudolf |author-last3=Hackbusch |author-first3=Wolfgang |author-last4=Luderer |author-first4=Bernd |author-last5=Blath |author-first5=Jochen |author-last6=Schied |author-first6=Alexander |author-last7=Dempe |author-first7=Stephan |author-last8=Wanka |author-first8=Gert |author-last9=Hromkovič |author-first9=Juraj |date=2013 |publisher=Springer Spektrum, Springer Fachmedien Wiesbaden |isbn=978-3-658-00284-8 |editor-last=Zeidler |editor-first=Eberhard |editor-link=:de:Eberhard Zeidler |edition=1 |volume=I |publication-place=Berlin / Heidelberg, Germany |page=590<!-- |url=https://www.springer.com/de/book/9783658002848 |access-date=2020-06-27 --> |language=de |doi=10.1007/978-3-658-00285-5 |id={{ISBN|3-658-00284-0}} |author-first10=Siegfried |author-last10=Gottwald |orig-year=2012}} (xii+635 pages)</ref>
<ref name="Stibitz_1957">{{Cite book |author-last1=Stibitz |author-first1=George Robert |url=https://archive.org/details/mathematicscompu00stib |title=Mathematics and Computers |author-last2=Larrivee |author-first2=Jules A. |date=1957 |publisher=McGraw-Hill Book Company, Inc. |edition=1 |location=Անդրհիլ, Վերմոնտ |publication-place=New York, USA / Toronto, Canada / London, UK |page=[https://archive.org/details/mathematicscompu00stib/page/169 169] |language=en |lccn=56-10331}} (10+228 pages) (NB. Stibitz uses parentheses even in conjunction with trigonometric functions (like <code>(cos&nbsp;''u'')<sup>''n''</sup></code>) to avoid the ambiguity of the <code>cos<sup>''n''</sup>&nbsp;''u''</code> notation.)</ref>
<ref name="Cajori_1929">{{Cite book |author-last=Cajori |author-first=Florian |url=https://books.google.com/books?id=bT5suOONXlgC |title=A History of Mathematical Notations |date=1952 |publisher=Open court publishing company |isbn=978-1-60206-714-1 |edition=3rd corrected printing of 1929 issue, 2nd |volume=2 |location=Չիկագո |pages=108, 176–179, 336, 346 |language=en |chapter=§472. The power of a logarithm / §473. Iterated logarithms / §533. John Herschel's notation for inverse functions / §535. Persistence of rival notations for inverse functions / §537. Powers of trigonometric functions |id={{ISBN|1-60206-714-7}} |quote=[…] §473. ''Iterated logarithms'' […] We note here the symbolism used by Pringsheim and Molk in their joint ''Encyclopédie'' article: "<sup>2</sup>log<sub>''b''</sub>&thinsp;''a'' = log<sub>''b''</sub> (log<sub>''b''</sub>&thinsp;''a''), …, <sup>''k''+1</sup>log<sub>''b''</sub>&thinsp;''a'' = log<sub>''b''</sub> (<sup>''k''</sup>log<sub>''b''</sub>&thinsp;''a'')."<sup>[[#Pringsheim-Molk-1907|[a]]]<!-- [10] --></sup> […] §533. ''John Herschel's notation for inverse functions,'' sin<sup>&minus;1</sup>&thinsp;''x'', tan<sup>&minus;1</sup>&thinsp;''x'', etc., was published by him in the ''Philosophical Transactions of London'', for the year 1813. He says ([[#Herschel-1813|p.&nbsp;10]]): "This notation cos.<sup>&minus;1</sup>&thinsp;''e'' must not be understood to signify 1/cos.&nbsp;''e'', but what is usually written thus, arc&thinsp;(cos.=''e'')." He admits that some authors use cos.<sup>''m''</sup>&thinsp;''A'' for (cos.&thinsp;''A'')<sup>''m''</sup>, but he justifies his own notation by pointing out that since ''d''<sup>2</sup>&thinsp;''x'', Δ<sup>3</sup>&thinsp;''x'', Σ<sup>2</sup>&thinsp;''x'' mean ''dd''&thinsp;''x'', ΔΔΔ&thinsp;''x'', ΣΣ&thinsp;''x'', we ought to write sin.<sup>2</sup>&thinsp;''x'' for sin.&thinsp;sin.&thinsp;''x'', log.<sup>3</sup>&thinsp;''x'' for log.&thinsp;log.&thinsp;log.&thinsp;''x''. Just as we write ''d''<sup>&minus;''n''</sup>&thinsp;V=∫<sup>''n''</sup>&thinsp;V, we may write similarly sin.<sup>&minus;1</sup>&thinsp;''x''=arc&thinsp;(sin.=''x''), log.<sup>&minus;1</sup>&thinsp;''x''.=c<sup>''x''</sup>. Some years later Herschel explained that in 1813 he used ''f''<sup>''n''</sup>(''x''), ''f''<sup>&minus;''n''</sup>(''x''), sin.<sup>&minus;1</sup>&thinsp;''x'', etc., "as he then supposed for the first time. The work of a German Analyst, Burmann, has, however, within these few months come to his knowledge, in which the same is explained at a considerably earlier date. He[Burmann], however, does not seem to have noticed the convenience of applying this idea to the inverse functions tan<sup>&minus;1</sup>, etc., nor does he appear at all aware of the inverse calculus of functions to which it gives rise." Herschel adds, "The symmetry of this notation and above all the new and most extensive views it opens of the nature of analytical operations seem to authorize its universal adoption."<sup>[[#Herschel-1820|[b]]]<!-- [4] --></sup> […] §535. ''Persistence of rival notations for inverse function.''&mdash; […] The use of Herschel's notation underwent a slight change in Benjamin Peirce's books, to remove the chief objection to them; Peirce wrote: "cos<sup>[&minus;1]</sup>&thinsp;''x''," "log<sup>[&minus;1]</sup>&thinsp;''x''."<sup>[[#Peirce-1852|[c]]]<!-- [1] --></sup> […] §537. ''Powers of trigonometric functions.''&mdash;Three principal notations have been used to denote, say, the square of sin&thinsp;''x'', namely, (sin&thinsp;''x'')<sup>2</sup>, sin&thinsp;''x''<sup>2</sup>, sin<sup>2</sup>&thinsp;''x''. The prevailing notation at present is sin<sup>2</sup>&thinsp;''x'', though the first is least likely to be misinterpreted. In the case of sin<sup>2</sup>&thinsp;''x'' two interpretations suggest themselves; first, sin&thinsp;''x'' &middot; sin&thinsp;''x''; second,<sup>[[#Peano-1903|[d]]]<!-- [8] --></sup> sin&thinsp;(sin&thinsp;''x''). As functions of the last type do not ordinarily present themselves, the danger of misinterpretation is very much less than in case of log<sup>2</sup>&thinsp;''x'', where log&thinsp;''x'' &middot; log&thinsp;''x'' and log&thinsp;(log&thinsp;''x'') are of frequent occurrence in analysis. In his ''Introductio in analysin'' (1748), Euler<sup>[[#Euler-1748|[e]]]<!-- [9] --></sup> writes (cos.&thinsp;''z'')<sup>''n''</sup>, but in an article of 1754 he adopts<!-- [10] L. Euler, "Novi Comment. acad. scient. imper. Petropolitanae", for the years 1754, 1755, Petropoli, 1760, p. 172. --> sin&thinsp;''ψ''<sup>3</sup> for (sin&thinsp;''ψ'')<sup>3</sup> […] The parentheses as in (sin&thinsp;''x'')<sup>''n''</sup> were preferred by Karsten,<sup>[[#Karsten-1760|[f]]]<!-- [1] --></sup> Carl<!-- Carolo / Karl --> Scherffer,<sup>[[#Scherffer-1772|[g]]]<!-- [2] --></sup> Paulli Frisii,<sup>[[#Frisius-1782|[h]]]<!-- [3] Paulli Frisii, "Operum tomus primus", Milan, 1782, p. 303. --></sup> Abel (in some passages),<sup>[[#Abel-1826|[i]]]<!-- [4] --></sup> Ohm.<sup>[[#Ohm-1829|[j]]]<!-- [5] --></sup> It passed into disuse during the nineteenth century. […] The designation sin&thinsp;''x''<sup>2</sup> for (sin&thinsp;''x'')<sup>2</sup> is found in the writings of Langrange,<!-- [7] J. Lagrange. "Méchanique analitique", Paris, 1788, p. 272, 301. --> Johann Friedrich Lorenz,<!-- [8] J. F. Lorenz, "Grundlehren der allgemeinen Grössenberechnung", Helmstädt, 1800, p. 306–307. --> Lacroix,<!-- [9] S. F. Lacroix, "Traité élémentaire de trigonometrie", Paris, 1803, p. 9–17. --> Gerhard Vieth,<!-- [10] G. N./U.? A. Vieth, "Kurze Anleitung zur Differenzialrechnung", Leipzig, 1823, p. 40–42. --> Stolz<!-- [11] Otto Stolz, "Grundzüge der Differenzial und Integralrechnung", 1893. Leipzig, p. 38–42. -->; it was recommended by Gauss.<!-- [12] Grunert, "Archiv der Mathematik", Vol. XXXVIII, p. 366. --> The notation sin<sup>''n''</sup>&thinsp;''x'' for (sin&thinsp;''x'')<sup>''n''</sup> has been widely used and is now the prevailing one. It is found, for example, in Cagnoli,<sup>[[#Cagnoli-1786|[k]]]<!-- [13] --></sup> DeMorgan,<sup>[[#DeMorgan-1849|[l]]]<!-- [14] --></sup> Serret,<sup>[[#Serret-1857|[m]]]<!-- [15] --></sup> Todhunter,<sup>[[#Todhunter-1876|[n]]]<!-- [16] --></sup> Hobson,<sup>[[#Hobson-1911|[o]]]<!-- [17] --></sup> Luis Octavio de Toledo,<sup>[[#Toledo-1917|[p]]]<!-- [18] --></sup> Rothe.<sup>[[#Rothe-1921|[q]]]<!-- [19] --></sup> […] |access-date=2016 թ․ հունվարի 18 |orig-year=March 1929}} (xviii+367+1 pages including 1 addenda page) (NB. ISBN and link for reprint of 2nd edition by Cosimo, Inc., New York, USA, 2013.)</ref>
<ref name="Peano_1903">{{anchor|Peano-1903}}{{Cite book |author-last=Peano |author-first=Giuseppe |title=Formulaire mathématique |date=1903 |volume=IV |page=229 |language=fr}}</ref>
<ref name="Peirce_1852">{{anchor|Peirce-1852}}{{Cite book |author-last=Peirce |author-first=Benjamin |title=Curves, Functions and Forces |date=1852 |edition=new |volume=I |location=Բոստոն |page=203}}</ref>
<ref name="Herschel_1813">{{anchor|Herschel-1813}}{{Cite journal |date=1813 |title=On a Remarkable Application of Cotes's Theorem |journal=Philosophical Transactions of the Royal Society of London |location=Լոնդոն |publisher=Royal Society of London, printed by W. Bulmer and Co., Cleveland-Row, St. James's, sold by G. and W. Nicol, Pall-Mall |volume=103 |pages=8–26 [10] |jstor=107384 |author-first=John Frederick William |author-last=Herschel |number=Part 1 |orig-year=1812-11-12}}</ref>
<ref name="Pringsheim-Molk_1907">{{anchor|Pringsheim-Molk-1907}}{{Cite book |author-last1=Pringsheim |author-first1=Alfred |title=Encyclopédie des sciences mathématiques pures et appliquées |author-last2=Molk |author-first2=Jules |date=1907 |volume=I |page=195 |language=fr |id=Part I}}</ref>
<ref name="Herschel_1820">{{anchor|Herschel-1820}}{{Cite book |author-last=Herschel |author-first=John Frederick William |url=https://books.google.com/books?id=PWcSAAAAIAAJ&pg=PA5 |title=A Collection of Examples of the Applications of the Calculus of Finite Differences |date=1820 |publisher=Printed by J. Smith, sold by J. Deighton & sons |location=Քեմբրիջ |pages=1–13 [5–6] |language=en |chapter=Part III. Section I. Examples of the Direct Method of Differences |access-date=2020 թ․ օգոստոսի 4 |archive-url=https://web.archive.org/web/20200804031020/https://books.google.de/books?hl=de&id=PWcSAAAAIAAJ&jtp=5 |archive-date=2020 թ․ օգոստոսի 4 |url-status=live}} [https://archive.org/details/acollectionexam00lacrgoog] (NB. Այստեղ Հերշելը հղում է անում իր [[#Herschel-1813|1813 թվականի աշխատությանը]] և նշում է Հանս Հայնրիխ Բյուրմանի հին աշխատությունը։)</ref>
<ref name="Euler_1748">{{anchor|Euler-1748}}{{Cite book |author-last=Euler |author-first=Leonhard |url=https://gallica.bnf.fr/ark:/12148/bpt6k33510/f93.image |title=Introductio in analysin infinitorum |date=1748 |publisher=Marc-Michel Bousquet |volume=I |location=Լոզան |pages=69, 98–99 |language=la |quote=Primum ergo considerandæ sunt quantitates exponentiales, seu Potestates, quarum Exponens ipse est quantitas variabilis. Perspicuum enim est hujusmodi quantitates ad Functiones algebraicas referri non posse, cum in his Exponentes non nisi constantes locum habeant. |access-date=2020 թ․ օգոստոսի 5 |archive-url=https://web.archive.org/web/20230326025528/https://gallica.bnf.fr/ark:/12148/bpt6k33510/f93.image |archive-date=2023 թ․ մարտի 26 |url-status=live}}</ref>
<!--<ref name="Euler_1760">{{anchor|Euler-1760}}{{cite journal |author-first=Leonhard |author-last=Euler |title=Novi commentarii Academiae Scientiarum Imperialis Petropolitanae, for the years 1754–1755 |language=la |location=Petropoli |date=1760 |orig-year=1754 |page=172}}</ref> -->
<ref name="Cagnoli_1786">{{anchor|Cagnoli-1786}}{{Cite book |author-last=Cagnoli |author-first=Antonio |title=Traité de Trigonométrie |date=1786 |publisher=trad. par Chompré |location=Փարիզ |page=20 |language=fr}}</ref>
<ref name="DeMorgan_1849">{{anchor|DeMorgan-1849}}{{Cite book |author-last=De Morgan |author-first=Augustus |url=https://archive.org/details/trigonometryand01morggoog |title=Trigonometry and Double Algebra |date=1849 |location=Լոնդոն |page=[https://archive.org/details/trigonometryand01morggoog/page/n53 35] |language=en}}</ref>
<ref name="Serret_1857">{{anchor|Serret-1857}}{{Cite book |author-last=Serret |author-first=Joseph Alfred |title=Traité de Trigonométrie |date=1857 |edition=2nd |location=Փարիզ |page=12 |language=fr}}</ref>
<ref name="Todhunter_1876">{{anchor|Todhunter-1876}}{{Cite book |author-last=Todhunter |author-first=Isaac |title=Plane Trigonometry |date=1876 |edition=6th |location=Լոնդոն |page=19 |language=en}}</ref>
<ref name="Hobson_1911">{{anchor|Hobson-1911}}{{Cite book |author-last=Hobson |author-first=Ernest William |url=https://archive.org/details/cu31924073537254 |title=Treatise on Plane Trigonometry |date=1911 |location=Քեմբրիջ |page=[https://archive.org/details/cu31924073537254/page/n38 19] |language=en}}</ref>
<ref name="Toledo_1917">{{anchor|Toledo-1917}}{{Cite book |author-last=de Toledo |author-first=Luis Octavio |title=Tradado de Trigonometria |date=1917 |edition=3rd |location=Մադրիդ |page=64 |language=es}}</ref>
<ref name="Rothe_1921">{{anchor|Rothe-1921}}{{Cite book |author-last=Rothe |author-first=Hermann |title=Vorlesungen über höhere Mathematik |date=1921 |location=Վիեննա |page=261 |language=de}}</ref>
<ref name="Karsten_1760">{{anchor|Karsten-1760}}{{Cite book |author-last=Karsten |author-first=Wenceslaus Johann Gustav |url=https://reader.digitale-sammlungen.de/de/fs1/object/display/bsb10594020_00539.html?contextSort=score%2Cdescending&contextType=scan&contextRows=10&context=511 |title=Mathesis theoretica Elementaris Atque Sublimior |date=1760 |location=Ռոստոկ |page=511 |language=la |chapter=Sectio XIII. De sectionibus angulorum et arcuum circularium |access-date=2020 թ․ օգոստոսի 4 |archive-url=https://web.archive.org/web/20210414132936/https://reader.digitale-sammlungen.de/de/fs1/object/display/bsb10594020_00539.html?contextSort=score%2Cdescending&contextType=scan&contextRows=10&context=511 |archive-date=2021 թ․ ապրիլի 14 |url-status=live}} [http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb10594020-6 ] {{Webarchive|url=https://web.archive.org/web/20240315070829/https://www.digitale-sammlungen.de/en/view/bsb10594020 |date=2024-03-15 }}</ref>
<ref name="Scherffer_1772">{{anchor|Scherffer-1772}}{{Cite book |author-last=Scherffer |author-first=Karl<!-- Carl --> "Carolo" |title=Institutionum analyticarum, pars secunda |date=1772 |location=Վիեննա |page=144 |language=la}}</ref>
<ref name="Frisius_1782">{{anchor|Frisius-1782}}{{Cite book |author-last=Frisius (Frisii) |author-first=Paulli |title=Operum tomus primus |date=1782 |location=Միլանո |page=303 |language=la<!-- or it? -->}}</ref>
<ref name="Abel_1826">{{anchor|Abel-1826}}{{Cite journal |date=1826 |journal=Journal für die reine und angewandte Mathematik |language=de |location=Բեռլին |publisher=August Leopold Crelle |volume=I |pages=318–337 |postscript=; |author-first=Niels Henrik |author-last=Abel}} {{Cite journal |date=1827 |journal=Journal für die reine und angewandte Mathematik |language=de |location=Բեռլին |publisher=August Leopold Crelle |volume=II |page=26 |author-first=Niels Henrik |author-last=Abel}}</ref>
<ref name="Ohm_1829">{{anchor|Ohm-1829}}{{Cite book |author-last=Ohm |author-first=Martin |title=System der Mathematik |date=1829 |location=Բեռլին |page=21 |language=de |id=Part 3}}</ref>
}}

== Արտաքին հղումներ ==
* {{Cite web |title=Բնական, ամբողջ և ռացիոնալ ցուցիչով աստիճան |url=https://mathnet.am/տեղեկատու/մաթեմատիկայի-տեղեկատու/51-տեղեկատու/264-բնական,-ամբողջ-և-ռացիոնալ-ցուցիչով-աստիճան.html |accessdate=2020 թ․ օգոստոսի 5 |website=mathnet.am}}
* {{Cite web |title=Մաթեմատիկա - Բնական ցուցիչով աստիճան |url=http://mathematics.am/problem.php?number=133001 |accessdate=2020 թ․ օգոստոսի 5 |website=mathematics.am}}, {{Cite web |title=Մաթեմատիկա - Աստիճանների բազմապատկումն ու բաժանումը |url=http://mathematics.am/problem.php?number=134001 |accessdate=2020 թ․ օգոստոսի 5 |website=mathematics.am}}

{{Արտաքին հղումներ}}
{{Շաբաթվա հոդված նախագծի մասնակից|2020|[[Կաղապար:Շաբաթվա հոդված/Շաբաթ 34, 2020 թ.|34-րդ]]}}
{{ՀՍՀ|հատոր=1|էջ=576}}

[[Կատեգորիա:Բինար գործողություններ]]
[[Կատեգորիա:Ունար գործողություններ]]
[[Կատեգորիա:Թվաբանություն]]
[[Կատեգորիա:Տարրական հանրահաշիվ]]