Stærðfræðileysir og algebra

Í framhaldsstærðfræði og háþróaðri reikniverkfræði er það grundvallarvandamál að leysa margbreytu jöfnukerfi. **kerfi línulegra jöfnna** er safn af tveimur eða fleiri jöfnum sem innihalda margar sameiginlegar breytur. Til að leysa þessi kerfi þarf að bera kennsl á einstaka skurðpunktinn þar sem allar jöfnur eru uppfylltar samtímis. Þó að skipting og brotthvarf séu áhrifarík fyrir einföld kerfi, krefjast hávíddar fylki öflugra reikniritramma: **Cramer's Rule** og **Matrix Algebru**.

---

🧮 Regla Cramer: Að afbyggja ákvarðanir

Cramer's Rule er skýr formúla til að leysa kerfi línulegra jöfnur með því að nota ákvarðanir. Aðferðin, sem var stofnuð af stærðfræðingnum Gabriel Cramer árið **1750**, kemur í stað fylkisdálka fyrir fastavigra til að leysa breytileg gildi beint.

Íhugaðu staðlað 2x2 línulegt kerfi:
$$\begin{cases} a_1x + b_1y = c_1 \\ a_2x + b_2y = c_2 \end{cases}$$

Aðalkerfisákvörðunarþátturinn ($D$), sem táknar flatarmálsmargfaldara línulegrar umbreytingar, er metinn sem:
$$D = \det\begin{bmatrix} a_1 & b_1 \\ a_2 & b_2 \end{bmatrix} = a_1b_2 - a_2b_1$$

The sub-determinants $D_x$ and $D_y$ are constructed by substituting the constants vector $\begin{bmatrix} c_1 \\ c_2 \end{bmatrix}$ into the $x$-column and $y$-column, respectively:
$$D_x = \det\begin{bmatrix} c_1 & b_1 \\ c_2 & b_2 \end{bmatrix} = c_1b_2 - c_2b_1$$ $$D_y = \det\begin{bmatrix} a_1 & c_1 \\ a_2 & c_2 \end{bmatrix} = a_1c_2 - a_2c_1$$

Ef $D \ne 0$ er kerfið samkvæmt og hefur einstaka lausn leyst með:
$$x = \frac{D_x}{D}, \quad y = \frac{D_y}{D}$$

Regla Cramer nær óaðfinnanlega til 3x3 kerfa með því að nota **Sarrus' Rule** eða Laplace stækkun til að leysa $D, D_x, D_y, D_z$.

---

📐 Rúmfræðilegar túlkanir: brekkur & Gatnamót

Rúmfræðilega táknar hver tveggja breytu línuleg jöfnu beina línu í tvívíðu kartesísku plani. Hallar og staðsetningar þessara lína eru skilgreindar af stuðlum þeirra:

• Samræmd kerfi ($D \ne 0$): Línurnar tvær hafa mismunandi halla. Þeir skerast nákvæmlega á **einum einstökum hnitapunkti** ($x, y$), sem táknar eina lausnina.
• Samhliða kerfi ($D = 0, D_x \ne 0$): Línurnar hafa sömu halla en mismunandi $y$-skurðpunkta. Línurnar liggja samsíða og munu **aldrei fara yfir**, sem framleiðir kerfi með **enga lausn**.
• Tilviljunarkerfi ($D = 0, D_x = 0$): Línurnar hafa sömu halla og skera, sem tákna **sömu línuna**. Þær skarast algjörlega og gefa **óendanlega margar lausnir**.

---

🌌 Matrix Operations & Línulegar umbreytingar

Fyrir utan jöfnulausn táknar **Matrix Algebra** burðarásina í tölvugrafík, eðlisfræðihermum og skammtafræði. Í 2x2 fylkisafurð eru fylki A og fylki B sameinuð með því að meta punktaafurðir raða og dálka:

$$\begin{bmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{bmatrix} \times \begin{bmatrix} b_{11} & b_{12} \\ b_{21} & b_{22} \end{bmatrix} = \begin{bmatrix} a_{11}b_{11} + a_{12}b_{21} & a_{11}b_{12} + a_{12}b_{22} \\ a_{21}b_{11} + a_{22}b_{21} & a_{21}b_{12} + a_{22}b_{22} \end{bmatrix}$$

Þessi aðgerð er ekki commutative ($A \times B \ne B \times A$), sem þýðir að röð er mikilvæg. Á reiknisviðum eru þessi fylki notuð til að umbreyta hnitakerfum, sem tákna mælikvarða, snúning og skúfvigra í stafrænum eignum.