Sisteminizin çözümünü anlamak
Doğrusal bir sistem, denklemlerin doğrularının (veya düzlemlerinin) geometrik olarak nasıl ilişkili olduğuna bağlı olarak tam olarak üç kategoriden birine girer.
| Durum | Geometrik anlam (2×2) | Çözüm sayısı |
|---|---|---|
| Bağımsız, tutarlı | İki doğru tam olarak bir noktada kesişir | Tam olarak bir benzersiz çözüm |
| Bağımlı | İki denklem aynı doğruyu tanımlar | Sonsuz sayıda çözüm |
| Tutarsız | İki doğru paraleldir ve asla kesişmez | Çözüm yok |
- Bu hesaplayıcı hem bağımlı hem de tutarsız durumu 'Benzersiz çözüm yok' olarak bildirir, çünkü Gauss eliminasyonu tek başına, genişletilmiş matrisin daha fazla satır indirgemesi olmadan bu ikisini ayırt edemez; katsayı matrisi tekil olduğunda ikisi de eşit derecede geçerli sonuçlardır.
- Sayısal sonuçlar 6 ondalık basamağa yuvarlanır. Katsayıları tam sayı veya basit kesirler olan sistemler için, çıktıdaki küçük sıfırdan farklı ondalıklar (2 yerine 1,999999 gibi) standart kayan noktalı yuvarlamayı yansıtır ve yakındaki tam değer olarak değerlendirilebilir.
- Sayısal hatayı azaltmak için kısmi pivotlama kullanılır, ancak 'neredeyse tekil' olan sistemler (sıfıra çok yakın bir determinant) yine de küçük girdi değişikliklerine duyarlı sonuçlar üretebilir — sayısal doğrusal cebirde kötü koşullanma olarak bilinen bir özellik.
Doğrusal denklem sistemi nedir?
Doğrusal denklem sistemi, aynı değişken kümesini paylaşan iki veya daha fazla doğrusal denklemin bir araya gelmesidir. Sistemin bir çözümü, her değişken için birer tane olmak üzere, sistemdeki tüm denklemleri aynı anda doğru yapan bir değerler kümesidir. Geometrik olarak, 2 değişkenli doğrusal bir denklem düz bir doğrudur ve 2×2 bir sistemi çözmek, iki doğrunun nerede kesiştiğini bulmak anlamına gelir. 3 değişkenli doğrusal bir denklem üç boyutlu uzayda bir düzlemdir ve 3×3 bir sistem, üç düzlemin buluştuğu noktayı bulur.
Bu hesaplayıcı her denklemi genişletilmiş bir matrisin satırı olarak temsil eder: her değişkenin katsayılarını, eşittir işaretinin sağındaki sabit izler. 2×2 bir sistem için, satır öncelikli sırada altı sayı girilir — a₁, b₁, c₁, a₂, b₂, c₂ — bunlar a₁x + b₁y = c₁ ve a₂x + b₂y = c₂'yi temsil eder. 3×3 bir sistem, her biri dört katsayıdan oluşan üç satır boyunca on iki sayıyla aynı deseni izler.
Çözücü, her sütunda değişkenleri satır satır sistematik olarak eleyerek genişletilmiş matrisi her bilinmeyenin doğrudan okunabileceği bir biçime indirgeyen standart bir sayısal doğrusal cebir yöntemi olan kısmi pivotlamalı Gauss eliminasyonunu kullanır. Kısmi pivotlama — elemeden önce her sütunda en büyük mutlak katsayıya sahip satırı seçmek — saf eliminasyona kıyasla sayısal kararlılığı artırır.
Bu denklem sistemi hesaplama aracı nasıl kullanılır
- Bilinmeyen sayısını seçin: iki denklemli, iki değişkenli bir sistem (x, y) için 2, üç denklemli, üç değişkenli bir sistem (x, y, z) için 3.
- Katsayıları satır öncelikli sırada, noktalı virgülle ayrılmış bir liste olarak girin. 2×2 bir sistem için, a₁x + b₁y = c₁ ve a₂x + b₂y = c₂ denklemleri için a₁; b₁; c₁; a₂; b₂; c₂ girin — toplam altı sayı.
- 3×3 bir sistem için, a₁x + b₁y + c₁z = d₁ denklemi ve onu izleyen iki denklem için a₁, b₁, c₁, d₁, a₂, b₂, c₂, d₂, a₃, b₃, c₃, d₃ olmak üzere on iki sayı girin.
- x, y (ve 3×3 bir sistem için z) için çözülmüş değerleri okuyun. Sistem tekilse — denklemler bağımlı veya çelişkiliyse — hesaplayıcı sayısal değerler yerine 'Benzersiz çözüm yok' bildirir.
Gauss eliminasyonunun arkasındaki formül
Gauss eliminasyonu, çözüm kümesini değiştirmeyen satır işlemleri uygulayarak genişletilmiş matrisi [A | b] eşdeğer, daha kolay çözülebilir bir biçime dönüştürür: satırları takas etmek, bir satırı sıfırdan farklı bir sabitle ölçeklendirmek ve bir satırın bir katını diğerine eklemek. Bu hesaplayıcı, eliminasyonu indirgenmiş biçime kadar gerçekleştirir ve çözümü ortaya çıkan köşegen matristen doğrudan okur; kayan noktalı yuvarlama hatasını azaltmak için kısmi pivotlama (her sütunda mevcut en büyük pivotu seçmek) kullanır.
Çözülmüş örnek (2×2): 2x + y = 5 ve x − y = 1'i çözün. İki denklemi toplamak y'yi eler: 3x = 6, dolayısıyla x = 2. İkinci denklemde yerine koyarsak: 2 − y = 1, dolayısıyla y = 1. Doğrulama: 2(2) + 1 = 5 ✓ ve 2 − 1 = 1 ✓.
Bir sistem, katsayı matrisinin determinantı sıfır olduğunda — eşdeğer olarak Gauss eliminasyonu yalnızca (sayısal olarak) sıfır girdilere sahip bir pivot sütunu ürettiğinde — tekildir, yani benzersiz bir çözümü yoktur. Tekil bir sistem ya tutarsızdır (denklemler birbiriyle çelişir, örneğin x + y = 2 ve x + y = 5, hiçbir çözüm vermez) ya da bağımlıdır (bir denklem diğerinin bir katıdır, örneğin x + y = 2 ve 2x + 2y = 4, sonsuz sayıda çözüm verir). İkisinden hangisinin geçerli olduğunu belirlemek denklemleri doğrudan incelemeyi gerektirir; bu hesaplayıcı her iki durumu da 'benzersiz çözüm yok' olarak bildirir.
Sık yapılan hatalar
- Katsayıları satır öncelikli sıranın dışında girmek — hesaplayıcı, her denklemin katsayılarının ardından sabitinin, sütun sütun değil satır satır gelmesini bekler.
- 3×3 bir sistemin dokuz değil on iki sayıya (satır başına dört) ihtiyaç duyduğunu unutmak — her denklemin sağ tarafındaki sabit terim dahil edilmelidir.
- 'Benzersiz çözüm yok'un her zaman hiçbir çözümün olmadığı anlamına geldiğini varsaymak — bu, eşit derecede sonsuz sayıda çözümün var olduğu (bağımlı bir sistem) anlamına da gelebilir; iki durumu ayırt etmek için orijinal denklemlerin elle kontrol edilmesi gerekir.
- Bir sabitin denklemin hangi tarafına ait olduğunu karıştırmak — katsayıları girmeden önce tüm değişken terimleri sol tarafa taşınmalı ve denklem a₁x + b₁y (+ c₁z) = sabit biçiminde yazılmalıdır.
- Çıktıda tam kesirler beklemek — sonuçlar altı basamağa yuvarlanmış ondalık yaklaşıklardır, dolayısıyla 1/3'ün gerçek bir çözümü 0,333333 olarak görüntülenir.
Sıkça Sorulan Sorular
İki doğrusal denklemden oluşan bir sistem nasıl çözülür?
Yaygın bir yöntem eleme yöntemidir: bir değişkeni iptal etmek için denklemlerin katlarını toplayın veya çıkarın, kalan değişken için çözün, ardından geri yerine koyun. 2x + y = 5 ve x − y = 1 için, denklemleri toplamak y'yi eler ve 3x = 6 verir, dolayısıyla x = 2; yerine koymak y = 1 verir. Bu hesaplayıcı, hem 2×2 hem de 3×3 sistemler için eşdeğer süreci — Gauss eliminasyonunu — otomatikleştirir.
Bir sistemin benzersiz çözümü olmaması ne anlama gelir?
Bu, denklemlerin tam olarak bir noktada kesişmediği anlamına gelir. Bu iki farklı şekilde olabilir: denklemler tutarsız (çelişkili, x + y = 2 ve x + y = 5 gibi) olabilir, hiçbir çözüm vermez, ya da bağımlı (bir denklem diğerinin ölçeklenmiş bir kopyasıdır, x + y = 2 ve 2x + 2y = 4 gibi) olabilir, sonsuz sayıda çözüm verir. Her iki durum da sıfır determinantlı bir katsayı matrisine karşılık gelir.
3 bilinmeyen için çözmek kaç denklem gerektirir?
Genel olarak, bir sistemin benzersiz bir çözümü olması için en az bilinmeyen sayısı kadar bağımsız denkleme ihtiyacı vardır — üç bilinmeyen (x, y, z) için üç bağımsız denklem. Daha az bağımsız denklem, en az bir serbestlik derecesi bırakır ve tek bir benzersiz çözüm yerine sonsuz sayıda çözüm üretir.
Gauss eliminasyonu nedir?
Gauss eliminasyonu, satır işlemleri kullanarak — satırları takas etmek, bir satırı ölçeklendirmek ve bir satırın bir katını diğerine eklemek — genişletilmiş matrisi çözümün doğrudan okunabileceği daha basit bir üçgensel veya köşegen biçime dönüştürerek doğrusal sistemleri çözmek için sistematik bir yöntemdir. Bu, doğrusal cebirde öğretilen standart yöntemdir ve bu hesaplayıcı da dahil olmak üzere çoğu sayısal denklem çözücü tarafından dahili olarak kullanılır.
Bu hesaplayıcı x² gibi terimler içeren doğrusal olmayan sistemleri çözebilir mi?
Hayır. Bu hesaplayıcı yalnızca her değişkenin birinci kuvvette göründüğü ve değişkenler arasında çarpım olmayan (x² yok, xy terimi yok) doğrusal sistemleri çözer. Doğrusal olmayan sistemler, ikinci dereceden denklem formülüyle birleştirilmiş yerine koyma veya sayısal kök bulma teknikleri gibi farklı yöntemler gerektirir.
Hesaplayıcı neden tam kesirler yerine ondalıklar gösteriyor?
Çözücü, sembolik kesir aritmetiği yerine sayısal doğrusal cebir için standart yaklaşım olan kayan noktalı (ondalık) Gauss eliminasyonu gerçekleştirir. 1/3'ün gerçek bir çözümü 0,333333 (altı ondalık basamağa yuvarlanmış) olarak görüntülenir. Temiz tam sayı katsayılara sahip sistemler için, ondalık çıktı genellikle tam veya tama yakın bir sayıya çözülür.
Kaynaklar
- Strang G. Linear Algebra and Its Applications. 4th ed. Cengage Learning, 2006. (Gaussian elimination and matrix rank.)
- Lay DC, Lay SR, McDonald JJ. Linear Algebra and Its Applications. 5th ed. Pearson, 2015.
- Burden RL, Faires JD. Numerical Analysis. 9th ed. Cengage Learning, 2011. (Partial pivoting and numerical stability.)