Xətti tənliklər sistemi

Vikipediya, açıq ensiklopediya
Keçid et: naviqasiya, axtar
Üç məchullu və üç tənlikli bir xətti cəbri tənliyin həndəsi olaraq üç ölçülü fəzada kəsişməsi. Əgər həlli tapmaq mümkün deyilsə, bu tənliyin həlli üç fəzanın kəsişmə nöqtəsi olaraq götürülür.


Xətti tənliklər sistemi haqqında anlayış[redaktə | əsas redaktə]

Xətti tənliklər sistemi mövzusunun elementləri hələ orta məktəbdə tədris olunmağa başlayır. Ən sadə xətti tənliklər sistemi

şəklində olan sistemdir. Burada verilmiş əmsallar, isə dəyişənlərdir. Aydındır ki, hansı tənliyi birinci və hansını ikinci yazmağın əhəmiyyəti yoxdur. Ona görə də qəbul edə bilərik. Orta məktəbdə belə sistemin həlli üçün təklif olunan üsullardan biri cəbri toplama üsulu adlanan üsuldur. Bu üsulun mahiyyəti aşağıdakı kimidir. Birinci tənliyin hər iki tərəfini ədədinə vuraq:

alınan tənliyi ikinci tənliklə toplayıb, hər tərəfi yenidən -ə vuraq. Əgər olarsa, alarıq:

və ya

.

Alınan qiyməti birinci tənlikdə yerinə yazmaqla -i də tapmaq olar. Bu üsul yuxarıdakı sistemi tamamilə araşdırmağa imkan verir. Bir sıra praktik məsələlərlə əlaqədar daha mürəkkəb xətti tənliklər sistemi meydana çıxır. Belə sistemlərdə dəyişənlərin və tənliklərin sayı müxtəlif və böyük ədədlər ola bilər.

Ümumi şəkildə dəyişəni olan sayda tənlikdən ibarət olan xətti tənliklər sistemi aşağıdakı şəkildə yazılır:

şəklində olan sistem x məchullu y xətti tənliklər sistemi və ya xətti sistem adlanır, burada aij , bi ( ) – ədədlərdir. (1) xətti tənliklər sistemini matris tənliyi şəklində yazmaq olar. Məchulların əmsallarından düzəlmiş matrisi A, sağ tərəfdəki məlum ədədlərdən düzəlmiş sütun-matrisi B, axtarılan məchullardan dü­zəlmiş sütun-matrisi isə X ilə işarə edək:

<

A matrisin sütunlarının sayı X matrisinin sətirlərinin sayına bərabər olduqdan, AX hasilini tapa bilərik;

Tərif 1. vektoru (1) sisteminin hər bir tənliyini doğru bərabərliyə çevirirsə, onda belə vektora (1) sisteminin həlli deyilir (bu kortej bir həll kimi qəbul olunur).

Tərif 2. Əgər (1) xətti tənliklər sistemində bütün sərbəst hədlər sıfra bərabər olarsa, onda belə sistem bircins xətti tənliklər sistemi adlanır. Bircins olmayan sistemə qeyri-bircins sistem deyilir. Qeyri-bircins (1) sistemində sərbəst hədlərin sıfırla əvəz olunması nəticəsində alınan sistemə (1)-ə uyğun bircins xətti tənliklər sistemi deyilir.

Tərif 3. Həllər çoxluğu boş olmayan sistem uyuşan sistem (və ya birgə sistem), həlli olmayan sistem isə uyuşmayan sistem adlanır.

Xətti tənliklər sistemini öyrənərkən iki əsas məsələ qarşıya çıxır. Nə zaman hökm etmək olar ki, (1) sistemi uyuşandır və əgər (1) uyuşan sistem olarsa onun həlləri necə tapıla bilər?

(1) sistemi ilə birlikdə başqa xətti tənliklər sistemi götürək və tutaq ki, onun da sayda tənliyi və sayda məchulu vardır:

Tərif 4. Əgər (1) və (2) sistemlərinin həllər çoxluğu eyni olarsa, onlara eynigüclü sistemlər deyilir və belə yazılır (1)~(2). Əgər (1) sisteminin hər bir həlli (2) sisteminin də həlli olarsa, onda (2) sistemi (1) sisteminin nəticəsi adlanır.

Qeyd edək ki, bütün xətti tənliklər sistemləri çoxluğunda (yəni məchullu və dəyişənli sistemlər çoxluğnda) eynigüclülük münasibəti ekvivalentlik münasibətidir: ixtiyari , , sistemləri üçün ; əgər olarsa, onda ; əgər isə, onda .

Əgər (2) tənliyində -ci yerdə (1) tənliyinin -cı , (2) tənliyində -cı yerdə isə (1) tənliyinin -ci tənliyi dayanmaqla, qalan tənliklər isə dəyişməz qalarsa, onda deyəcəyik ki, (2) tənliyi (1)-dən I növ elementar çevirmə ilə, yəni nömrəli tənliklərin yerdəyişməsi ilə alınmışdır.

Fərz edək ki, (2) sisteminin bütün tənlikləri, –cidən başqa, (1) sistemində olduğu kimidir və – ci tənlik isə

(3)

şəklində olarsa, onda deyəcəyik ki, (2 sistemi (1) sistemindən II növ elementar çevirmə ilə alınmışdır. Aydındır ki, II növ elementar çevirmə zamanı (1) sisteminin –cı tənliyini dəyişmirik, lakin onun hər hansı ədədinə vurulmasından alınan tənliyi sistemin -ci tənliyinə hədbəhəd əlavə edirik.

Teorem 1. Əgər (2) sistemi (1) sistemindən sonlu sayda I və II növ çevirmələrin ardıcıl yerinə yetirilməsi ilə alınmışsa, onda bu sistemlər ekvivalentdir.

İsbatı. Eynigüclülük münasibətinin tranzitivliyindən alınır ki, (2) sisteminin (1)-dən ancaq bir I və ya bir II növ elementar çevirmə ilə alındıqda (1) ~(2) olduğunu göstərsək, teorem isbat olunmuş olar.

Tutaq ki, (2) sistemi (1)-dən ancaq iki tənliyin yerdəyişməsi ilə alınmışdır. Onda bu sistemlərdəki tənliklər özləri dəyişməmişdir. Ona görə də onların həllər çoxluğu eynidir, yəni (1)~(2).

İndi fərz edək ki, (2) sistemi (1)-dən II növ elementar çevirmə ilə alınmışdır. Onda (2) sisteminin -ci tənlikdən başqa qalan tənlikləri (1)-də olduğu kimi, -ci tənliyi isə (2) şəklindədir. Bu halda həlli (2) sisteminin bütün tənliklərini ( –cidən başqa) doğru bərabərliyə çevirir. Eyni zamanda

İkinci bərabərliyin hər iki tərəfini ədədinə vursaq bərabərlik pozulmaz. Alınan bərabərliyi hədbəhəd birinciyə əlavə etsək (4) bərabərliyini alarıq.

Tutaq ki, (3) sisteminin hər hansı həllidir. Onda bu kortej (1) sisteminin -cidən başqa bütün tənliklərini doğru bərabərliyə çevirəcəkdir. O cümlədən, (3) sisteminin aşağıdakı iki tənliyi ödənilir:

Birinci bərabərliyin hər iki tərəfini -yə vuraq və ikinci tənliyə əlavə edək. Onda (1)-in -ci tənliyinin də ödənildiyini görərik. Deməli, (1)~(2). Teoremin isbatı başa çatdı.

Qeyd edək ki, ixtiyari iki uyuşmayan sistem eynigüclüdür.

Tərif 5. Əgər (1) sisteminin yeganə həlli varsa, ona müəyyən sistem deyilir. Əks halda uyuşan sistem qeyri-müəyyən sistem adlanır.

(1) xətti tənliklər sisteminin araşdırılması üçün müxtəlif üsullar mövcuddur. Belə üsullardan ən sadəsi dəyişənlərin ardıcıl yox edilməsi üsulu və ya Qauss üsulu adlanır. Bu üsulun tarixi riyaziyyatın inkişafının çox qədim dövrlərinə gedib çıxır. Belə ki, müəllifi məlum olmayan «Riyazi incəsənət haqda doqquz kitab» adlı əsərdə qədim Çin riyaziyyatçıları xətti tənliklər sistemini məhz bu üsulla həll ediblər. Əsərin b.e.ə. 206- b.e. 220-ci illərində yazıldığı güman edilir və bu göstərir ki, bu üsulun tarixi daha qədimdir.


Həll etmə üsulları[redaktə | əsas redaktə]


Mənbə: https://drive.google.com/file/d/0B1n5hFtntvnCaExVdlk0QjNlU3M/view