Տարրական հանրահաշիվ

Տարրական հանրահաշիվ, հանրահաշվի հնագույն բաժինը, որն ուսումնասիրում է հանրահաշվական արտահայտություններ և հավասարումներ իրական թվերով։


== Հիմնական հասկացություններ ==
Հանրահաշվում ընդունված է գրել մաթեմատիկական արտահայտություններ (բանաձևեր) առավել ընդհանուր ձևով, կոնկրետ թվերը փոխարինելով այբբենական տառերի, որի շնորհիվ նմանատիպ խնդիրներ լուծելու համար օգտագործվում են այդ բանաձևերը։ Հանրահաշվի հիմնական պարունակությունը կայանում է կանոնների օգնությամբ բանաձևերի ինքնուրույն ձևափոխությունը, որոնցով անհրաժեշտ է լուծել հավասարումներ, վերլուծել կախվածությունը, օպտիմազացնել ոսումնասիրվող համակարգը և ուրիշ այլ գործնական խնդիրներ։

Բացի տառերից և թվերից, տարրական հանրահաշվի բանաձևերում օգտագործվում են թվաբանական գործողություններ։
Երկու բանաձևերը, միացած իրար հետ հավասարության նշանով, անվանում են հավասարումներ։
Եթե երկու ֆորմուլաների միջև որևէ նշան չի դրված, ապա ընդունվում է որպես բազմապատկում.

  
    
      
        a
        b
        =
        a
        ⋅
        b
        ;
        
        1
        
          ,
        
        2
         
        x
        =
        1
        
          ,
        
        2
        ⋅
        x
        ;
        
        π
        (
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        )
        =
        π
        ⋅
        (
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        )
      
    
    {\displaystyle ab=a\cdot b;\;1{,}2\ x=1{,}2\cdot x;\;\pi (a^{2}+b^{2})=\pi \cdot (a^{2}+b^{2})}
  Բանաձևի օրինակ. եռանկյան մակերեսը S ներկայացվում է որպես կողմերից մեկով a և a-ին տարված h բարձրությունով.

  
    
      
        S
        =
        
          
            1
            2
          
        
        a
        h
      
    
    {\displaystyle S={1 \over 2}ah}
  Ամենապարզ հանրահաշվական արտահայտությունը - դա միանդամն է, բաղկացած թվերից, որոնք բազմապատկված են մեկ կամ ավելի այբբենական տառերին.

  
    
      
        1
        
          ,
        
        2
         
        x
        ;
        
        
          
            2
          
        
        a
        b
        
          c
          
            2
          
        
        ;
        
        
          x
          
            2
          
        
        w
      
    
    {\displaystyle 1{,}2\ x;\;{\sqrt {2}}abc^{2};\;x^{2}w}
  Միանդամների հանրահաշվական գումարը կոչվում է բազմանդամ։ Արտահայտությունը, որը ունի ձև մի բազմանդամի բաժանումը մյուս բազմանդամին, կոչվում է հանրահաշվական կոտորակ։


== Տարրական հանրահաշվի կանոնները ==


=== Արտահայտության արժեքի հաշվումը ===
Գործողությունների կատարման հերթականությունը նշվում է փակագծերով։

Թվի աստիճան բարձրացնելը
Ֆունկցիայի արժեքի հաշվում
Բազմապատկում և բաժանում
Գումարում և հանումՕրինակ.

  
    
      
        
          a
          
            
              b
              
                c
              
            
          
        
        =
        
          a
          
            (
            
              b
              
                c
              
            
            )
          
        
      
    
    {\displaystyle a^{b^{c}}=a^{(b^{c})}}
  

  
    
      
        sin
        ⁡
        
          x
          
            2
          
        
        =
        sin
        ⁡
        (
        
          x
          
            2
          
        
        )
      
    
    {\displaystyle \sin x^{2}=\sin(x^{2})}
  

  
    
      
        sin
        ⁡
        a
        +
        b
        =
        (
        sin
        ⁡
        a
        )
        +
        b
      
    
    {\displaystyle \sin a+b=(\sin a)+b}
  Արտահայտության արժեքը հաշվելիս այբբենական տառերի փոխարեն տեղադրում են թվային արտահայտությունները, համապատասխան խնդիրներին։ Բազմաթիվ լուծումների բազմությունը, որոնց տեղադրելու դեպքում արտահայտությունը իմաստ ունի կոչվում է Թույլատրելի Արժեքների Բազմություն ( կրճատ ՝ ԹԱԲ )։
Օրինակ ՝ 
  
    
      
         
        
          
            
              a
              +
              b
            
            
              a
              −
              b
            
          
        
      
    
    {\displaystyle ~{\frac {a+b}{a-b}}}
   արտահայտության համար Թույլատրելի Արժեքների Բազմությունը ՝ բոլոր a և b թվերը որոնց դեպքում 
  
    
      
        a
        ≠
        b
      
    
    {\displaystyle a\neq b}
  ։


=== Գործողությունների հատկությունները ===
Գումարելիների տեղափոխությունից գումարը չի փոխվում.

  
    
      
        a
        +
        b
        =
        b
        +
        a
        .
         
      
    
    {\displaystyle a+b=b+a.\ }
  Հանումը գումարումի հակառակ գործողությունն է.

  
    
      
        a
        −
        b
        =
        a
        +
        (
        −
        b
        )
        .
         
      
    
    {\displaystyle a-b=a+(-b).\ }
  Արտադրիչների տեղափոխությունից արտադրյալը չի փոխվում.

  
    
      
        a
        ⋅
        b
        =
        b
        ⋅
        a
         
      
    
    {\displaystyle a\cdot b=b\cdot a\ }
  Բաժանումը բազմապատկման հակառակ գործողությունն է։
0 - ի վրա բաժանում անհնար է։
b - ի վրա բաժանում նույն է, ինչ որ բազմապատկում b - ի հակադարձ թվի վրա.

  
    
      
        
          
            a
            b
          
        
        =
        a
        
          (
          
            
              1
              b
            
          
          )
        
        .
      
    
    {\displaystyle {a \over b}=a\left({1 \over b}\right).}
  Թվի աստիճան բարձրացնելը կոմմուտատիվ չէ։ Դրա համար էլ կան երկու հակառակ գործողություններ ՝ թվի աստիճան բարձրացնելը և թվի արմատ հաշվելը։
Ասոցիատիվ հատկությունը գումարման․ 
  
    
      
        (
        a
        +
        b
        )
        +
        c
        =
        a
        +
        (
        b
        +
        c
        )
        .
      
    
    {\displaystyle (a+b)+c=a+(b+c).}
  
Ասոցիատիվ հատկությունը բազմապատկման․ 
  
    
      
        (
        a
        b
        )
        c
        =
        a
        (
        b
        c
        )
        .
      
    
    {\displaystyle (ab)c=a(bc).}
  
Դիստրիբուտիվ հատկությունը բազմապատկման․ 
  
    
      
        c
        (
        a
        +
        b
        )
        =
        c
        a
        +
        c
        b
        .
      
    
    {\displaystyle c(a+b)=ca+cb.}
  
Դիստրիբուտիվ հատկությունը աստիճան բարձրացնելու․ 
  
    
      
        (
        a
        b
        
          )
          
            c
          
        
        =
        
          a
          
            c
          
        
        
          b
          
            c
          
        
        .
      
    
    {\displaystyle (ab)^{c}=a^{c}b^{c}.}
  
Գումարումը աստիճանի ցուցիչի․ 
  
    
      
        
          a
          
            b
          
        
        
          a
          
            c
          
        
        =
        
          a
          
            b
            +
            c
          
        
        .
      
    
    {\displaystyle a^{b}a^{c}=a^{b+c}.}
  
Բազմապատկումը աստիճանի ցուցիչի․ 
  
    
      
        (
        
          a
          
            b
          
        
        
          )
          
            c
          
        
        =
        
          a
          
            b
            c
          
        
        .
      
    
    {\displaystyle (a^{b})^{c}=a^{bc}.}
  


=== Հավասարումների հատկություններ ===
Եթե a = b և b = c, ուրեմն a = c ( հավասարման տրանզիտիվություն )
a = a ( ռեֆլեքսություն )
Եթե a = b, ուրեմն b = a ( սիմմետրիկություն )


=== Ուրիշ կանոններ ===
Եթե a = b և c = d, ուրեմն a + c = b + d։
Եթե a = b, ուրեմն a + c = b + c
Եթե a = b և c = d, ուրեմն ac = bd։
Եթե a = b, ուրեմն ac = bc
Եթե a > b և b > c, ուրեմն a > c
Եթե a > b, ուրեմն a + c > b + c
Եթե a > b և c > 0, ուրեմն ac > bc
Եթե a > b և c < 0, ուրեմն ac < bc


=== Որոշ հանրահաշվական ինքնություններ ===

  
    
      
        (
        a
        +
        b
        )
        (
        a
        −
        b
        )
        =
        
          a
          
            2
          
        
        −
        
          b
          
            2
          
        
      
    
    {\displaystyle (a+b)(a-b)=a^{2}-b^{2}}
  

  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
        ;
        
        (
        a
        −
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        −
        2
        a
        b
        +
        
          b
          
            2
          
        
      
    
    {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2};\;(a-b)^{2}=a^{2}-2ab+b^{2}}
  

  
    
      
        (
        a
        +
        b
        
          )
          
            3
          
        
        =
        
          a
          
            3
          
        
        +
        3
        
          a
          
            2
          
        
        b
        +
        3
        a
        
          b
          
            2
          
        
        +
        
          b
          
            3
          
        
        ;
        
        (
        a
        −
        b
        
          )
          
            3
          
        
        =
        
          a
          
            3
          
        
        −
        3
        
          a
          
            2
          
        
        b
        +
        3
        a
        
          b
          
            2
          
        
        −
        
          b
          
            3
          
        
      
    
    {\displaystyle (a+b)^{3}=a^{3}+3a^{2}b+3ab^{2}+b^{3};\;(a-b)^{3}=a^{3}-3a^{2}b+3ab^{2}-b^{3}}
  

  
    
      
        
          a
          
            3
          
        
        +
        
          b
          
            3
          
        
        =
        (
        a
        +
        b
        )
        (
        
          a
          
            2
          
        
        −
        a
        b
        +
        
          b
          
            2
          
        
        )
        ;
        
        
          a
          
            3
          
        
        −
        
          b
          
            3
          
        
        =
        (
        a
        −
        b
        )
        (
        
          a
          
            2
          
        
        +
        a
        b
        +
        
          b
          
            2
          
        
        )
      
    
    {\displaystyle a^{3}+b^{3}=(a+b)(a^{2}-ab+b^{2});\;a^{3}-b^{3}=(a-b)(a^{2}+ab+b^{2})}
  


== Հավասարման լուծումը ==
Հավասարումը - հավասարության տեսակ է․

  
    
      
        f
        (
        
          x
          
            1
          
        
        ,
        
          x
          
            2
          
        
        …
        )
        =
        g
        (
        
          x
          
            1
          
        
        ,
        
          x
          
            2
          
        
        …
        )
      
    
    {\displaystyle f(x_{1},x_{2}\dots )=g(x_{1},x_{2}\dots )}
  Հավասարման լուծում - խնդիր է, պետք է գտնել լուծումների այնպիսի բազմություն, որոնց տեղադրելու դեպքում հավասարությունը ճիշտ է։ Լուծումների վրա կարող են դրված լինել հավելյալ պայմաններ։ Հավասարման լուծումը - մեկն է հանրահաշվի գլխավոր խնդիրներից և ընդհանրապես մաթեմատիկայի, պատմական գիտության զարգացման ժամանակահատվածում մշակվել են բազմաթիվ մեթեդներ կամ ալգորիթմներ հավասարումը լուծելու համար։


== Պատմական ակնարկ ==
Շատ վաղուց է ամրապնդվել հիմնական հատկություններով թվերով և մոտավոր ալգորիթմներով գրելու խորհրդանշական լեզուն։ Ի սկզբանե տառերը խորհրդանիշներ էին որոնցով հավասարման մեջ նշանակված էր անհայտը, որը պետք էր գտնել, ինչպես նաև այլ պայմանների դեպքում գտնել ստույգ թվային արժեքները։ Այն գաղափարը, որ հայտնի գործակիցները օգտակար են ընդհանուր արժեքի համար դժվարությամբ էր ներմուծվում։
Հանրահաշվական համակարգի մասին առաջին դատողությունները պահպանվել են Դիոֆմանտի «Արիֆմետիկա» գրքում։ Համարյա կասկած չկա, որ նա կարող էր օգտվել իր նախորդներից, քանի որ հայտնի չեն ոչ այդպիսի մարդիկ, ոչ էլ նման աշխատություններ, ինչպիսի հնարավորություն ունեին օրինակ Արքիմեդը, Էվկլիդեսը և ուրիշներ։ Անգամ մինչև XV դարը նա հետևորդներ չուներ։ Եվրոպայում Արֆիմետիկայի թարգմանությանը ծանոթացել են միայն XVI դարում, և նրա մեթոդները մեծ նշանակություն ունեցան Ֆերմի և Վիետի վրա։
Թվաբանության հիմնական պրոբլեմը – ռացիոնալ գործակիցներով անորոշ հավասարումների ռացիոնալ լուծումները գտնելն է։ Դիոֆանտի մոտ օգտագործվում է այբբենական սիմվոլներ։ Թվաբանության մեջ Դիոֆանտը օգտագործում է հետևյալ նշանակումները. Անհայտը նա անվանում է թիվ և նշանակում է ξ տառով։ Ամեն-ինչ նա արտահայտում է անհայտով։ Շատ կաննոներ են մեզ հայտնի. Նշանի փոխում հավասարման ուրիշ մաս տեղափոխելով, ընդհանուր անդամներ կրճատելով և ուրիշ։
Միջին դարերում հնդիկ մաթեմատիկները թեթևակիորեն առնչվել են այս թեմաներին, նրանց սիմվոլիկան ավելի հարուստ էր, սակայն ավելի խրթին։
Եվրոպայում լույս տեսած գրքերում ինչպիսիք են Ջորդան Նեմորարի XIII դար «Թվաբանությունը» և «Թվերի տվյալները»,դեռևս տարանջատված չէին հանրահաշիվը և երկրաչափությունը։ Նա ինչպես նաև Ֆիբոնաչին նմանեցնում էին արտահայտությունների հայեցակարգերը, սակայն դեռևս նրանք միացված չէին։
XV դարի հայտնի մաթեմատիկոս Լուկա Պաչոլին ներկայացնում է իր տեսությունը հանրահաշվական սիմվոլիկայի մասին, որը այնքան էլ տարածված և դյուրին չէր։
16-րդ դարի վերջին հանրահաշվական լեզվի մասին իր արմատական բարեփոխումները ներկայացրեց Ֆրանսուա Վիետը, ով մասնագիտությամբ իրավաբան էր, սակայն հոգու խորքում մատեմատիկոս։ Նա հստակ ներկայացրեց վերջնական նպատակը և զարգացման նոր փուլ մտցրեց ընդհանուր թվաբանության տեսությունը։ Վիետը օգտագործեց թվային գործակիցներ տերմինը։ Հաշվի առնելով թվային օրինակները խնդիրները կարելի է լուծել ընդհանուր ձևով։ Վիետը ազատորեն կիրառել է հանրահաշվական բարեփոխումները, փոփոխականների փոփոխությունը և հանրահաշվական տեխնիկան։
Վիետի համակարգը առաջացնում էր համընդհանուր հիացմունք։ Նա հնարավորինս լավ է նկարագրել թվաբանական օրենքների և ալգորիթմների նախկինում ունեցած աներևակայելի ընդհանրության կապերը։ Սակայն Վիետի սիմվոլիկան համահունչ չէր ժամանակին, որը և դժվարություն էր առաջացնում։ Եվ ահա գիտնականներ տարբեր երկրներից սկսեցին բարելավվել այն։
Անգլիացի Թոմաս Հերրիոտը իր գրքում, որը լույս էր տեսել նրա մահից հետո 1831 թվականին շատ ավելի մոտ էր ժամանակակից սիմվոլիկային, որը նշանակում է որ արդեն փոփոխված էին մեծատառ և փոքրատառերը, օգտագործում էր հավասարման նշանը և իր հորինած համեմատության ‘’ <’’   և   ‘’ >’’  նշանները։
Հանրահաշվական սիմվոլիկային ժամանակակից տեսք է տվել Ռենե Դիկարտը 17-րդ դարում։ Այս գործընթացի արդյունքը և եզրակացությունը դարձավ Նյուտոնի «Ընդհանուր թվաբանություն» աշխատությունը։ Մնացած մի քանի մանրամասներին ուղղում տվեց Էյլերը։


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