Երևակայական թիվ

**Երևակայական թիվ**, կոմպլեքս թիվ է 0-ական իրական մասով։ Երբեմն միայն այդպիսի թվերն են կոչվում կեղծ թվեր, բայց այս տերմինը օգտագործվում է նաև զրոյական կեղծ մասով կամայական կոմպլեքս թվեր նշելու համար։ «Երևակայական թիվ» տերմինը առաջադրվել է 17-րդ դարի ֆրանսիացի մաթեմատիկոս Ռենե Դեկարտի կողմից, սկզբում այս տերմինի նշանակությունը նվաստացուցիչ էր, քանի որ այդպիսի թվերը համարվել են մտացածին կամ անօգուտ, և միայն Լեոնարդ Էյլերի և Կառլ Գաուսի աշխատանքներից հետո այս գաղափարը ճանաչում է ստացել գիտական աշխարհում։

## Սահմանումներ
Թող z=x+iy- կոմպլեքս թիվ է,որտեղ x և y- իրական թվեր են։ x = \Re(z) կամ \operatorname{Re} ~z և y = \Im(z) կամ \operatorname{Im} ~z թվերը անվանում են համապատասխանաբար **իրական** և **երևակայական** (հանգունորեն ) z մասերով։
* Եթե x=0, ապա z կոչվում է **բացարձակ երևակայական** թիվ։
* Եթե y=0, ապա z հանդիսանում է իրական թիվ.

## Պատմություն
right|thumb|Երևակայական թվերի դասավորությունը կոմպլեքս հարթությունում: Երևակայական թվերը դասավորված են ուղղահայաց առանցքին:
Առաջին անգամ երևակայական թվերը հիշատակվել են հին հույն մաթեմատիկոսի և ինժեներ Հերոն Ալեքսանդրիիսկիի կողմից, բայց թվաբանական գործողություններ կատարելու կանոնները (մասնավորապես ՝ բազմապատկումը) դրանցով 1572 թվականին Ռաֆայել Բոմբելլին է մտցրել։
Բոմբելիի հայեցակարգը հայտնվեց Ջերոլամո Կարդանոյի նմանատիպ գործերից առաջ։ XVI—XVII դարերում կեղծ թվերը գիտական աշխարհի մեծամասնության կողմից համարվում էին մտացածին կամ անօգուտ (նման է այն բանի, թե ինչպես զրոյի գաղափարը ընկալվում էր մի ժամանակ)։ Մասնավորապես, Ռենե Դեկարտը, իր «Երկրաչափություն» հիմնարար աշխատության մեջ կեղծ թվերին վկայակոչելով, օգտագործեց «կեղծ» տերմինը ստորացուցիչ իմաստով. Կեղծ թվերի օգտագործումը շատ տարածված չէր մինչև Լեոնարդ Էյլերի (1707—1783) և Կառլ Գաուսի (1777—1855) աշխատանքների ստեղծումը։ Կեղծ թվերի երկրաչափական նշանակությունը որպես հարթության կետեր առաջին անագամ նկարագրվել է Կասպար Վեսսելի կողմից (1745—1818)։ 1843 իռլանդացի մաթեմատիկ Ուիլյամ Համիլտոնը ընդլայնեց գաղափարը կեղծ թվերի առանցքների տարածությունը մինչև քառաչափ քվատերնիոններ տարածության, որտեղ երեք հարթությունները նման են կեղծ թվերին կոմպլեքս դաշտում։ Ֆակտորօղակ թեորյայի զարգացումով բազմանդամների օղակի գաղափարը կեղծ թիվը դարձրեց ավելի  բովանդակալից և ստացավ հետագա զարգացումներ j — , որտեղ քառակուսի  հավասար է +1։ Այս գաղափարը հայտնվեց անգլիացի մաթեմատիկ  1848 թվի հոդվածում։

## Երկրաչափական մեկնաբանություն
thumb|Կոմպլեքս հարթությունում 90 աստիճանով շրջապտույտ
Կոմպլեքս թվերի հարթության վրա երևակայական թվերը գտնվում են ուղղահայաց առանցքին, որը ուղղահայաց է իրական թվերի առանցքին։ Երևակայական  թվերի երկրաչափական մեկնաբանության ձևերից է դիտարկել ստանդարտ թվային առանցքը, որտեղ դրական թվերը գտնվում են աջ մասում, իսկ բացասականները` ձախում։ 0 կետից x առանցքին կարող է անցնել y առանցք «դրական» ուղղությամբ, վերև գնացող, «դրական» երևակայական թվերը մեծանում են ըստ մեծության դեպի վերև, իսկ «բացասական» երևակայական թվերը մեծանում են ըստ մեծության դեպի ներքև։ Այս ուղղահայաց առանցքը հաճախ անվանում են «երևակայական առանցք» և նշանակում է ,\scriptstyle\mathbb{I}, կամ . Այս մեկնաբանությունով բաժանումը -ի համապատասխանում է 180 աստիճանով շրջադարձի կոորդինատների սկզբնակետից։ Բաժանումը -ի համապատասխանում է 90 աստիճանով շրջադարձի «դրական» ուղղությամբ (այսինքն` ժամսլաքին հակառակ), իսկ  հավասարումը խոսում է այն մասին, որ եթե մենք իրականացնենք 90 աստիճանով երկու շրջադարձ կոորդինատների սկզբնակետից, արդյունքը կլինի մեկ շրջադարձ 180 աստիճաննով: Այդ դեպքում 90 աստիճանով շրջադարձի «բացասական» ուղղությամբ (այսինքն` ժամսլաքին ուղղությամբ) նույնպես կբավականացնի այդ մեկնաբանությունը։ Սա արտացոլում է այն փաստը, որ  նույնպես հանդիսանում է  հավասարման լուծումը։ Սովորաբար, բազմապատկումը կոմպլեքս թվերով նման է կոորդինատների սկզբնակետի նկատմամբ շրջապտույտ կատարելուն  կոմպլեքս թվերով հետագա մասշտաբային  մեծությամբ։

## Քառակուսի արմատներ բացասական թվերով
Պետք է զգուշություն ցուցաբերել կեղծ թվերով աշխատելու ժամանակ, որոնք հանդիսանում են  քառակուսի արմատների, բացասական թվերի. Օրինակ, այսպիսի Մաթեմատիկական սոփեստություն։
: 6=\sqrt{36}=\sqrt{(-4)(-9)} \ne \sqrt{-4}\sqrt{-9} = (2i)(3i) = 6 i^2 = -6.
Երբեմն սա գրվում է այսպես.
: -1 = i^2 = \sqrt{-1}\sqrt{-1} \stackrel{\text{ (софизм) }}{=} \sqrt{(-1)(-1)} = \sqrt{1} = 1.

Նմանատիպ մաթեմատիկական սոփեստությունը առաջանում է, եթե այս \sqrt{xy} = \sqrt{x}\sqrt{y} հավասարությունում փոփոխականները չունեն համապատասխան սահմանափակումներ:Այս դեպքում հավասարությունը չի կատարվում, քանի որ երկու թվերն էլ բացասական են: Սա կարելի է ցույց տալ այսպես
: \sqrt{-x}\sqrt{-y} = i \sqrt{x} \ i \sqrt{y} = i^2 \sqrt{x} \sqrt{y} = -\sqrt{xy} \neq \sqrt{xy},
որտեղ и *x* и *y* — ոչ բացասական իրական թվեր են։

## Տես նաև
* Իրական թիվ
* Երևակայական միավոր
* Մուավրի բանաձև
* Քվատերնիոններ
* Հիպերկոմպլեքս թվեր

## Ծանոթագրություններ

## Գրականություն
* 
* 

## Արտաքին հղումներ
* How can one show that imaginary numbers really do exist?
* In our time: Imaginary numbers
* 5Numbers programme 4
* Why Use Imaginary Numbers?

Կատեգորիա:Թվեր
Կատեգորիա:Թվերի տեսություն
Կատեգորիա:Կոմպլեքս անալիզ
Կատեգորիա:Կոմպլեքս թվեր
Կատեգորիա:Հանրահաշիվ
Կատեգորիա:Մաթեմատիկա