a) Az abszolútérték definíciója alapján két esetet vizsgálunk.
1. eset: Ha \( x < 6 \), akkor az egyenlet: $$ x^2 = -(x - 6) \implies x^2 + x - 6 = 0 $$ Ennek gyökei \( x_1 = 2 \) és \( x_2 = -3 \). Mindkettő kisebb 6-nál, így mindkettő megoldás.
2. eset: Ha \( x \ge 6 \), akkor az egyenlet: $$ x^2 = x - 6 \implies x^2 - x + 6 = 0 $$ Ennek a másodfokú egyenletnek a diszkriminánsa negatív (\( D = 1 - 24 = -23 \)), így itt nincs valós megoldás.
A megoldások tehát: \( x = 2 \) és \( x = -3 \).
b) A logaritmus értelmezési tartománya miatt \( x > 0 \) és \( y > 1 \).
A logaritmus azonosságait használva az egyenletrendszer alakja: $$ \begin{cases} \lg(x + y) = \lg x^2 \\ \lg x = \lg(2(y - 1)) \end{cases} $$ A logaritmusfüggvény szigorú monotonitása miatt az argumentumoknak is egyenlőnek kell lenniük: $$ \begin{cases} x + y = x^2 \\ x = 2y - 2 \end{cases} $$ A második egyenletből kifejezett \( x \)-et helyettesítsük be az első egyenletbe: $$ (2y - 2) + y = (2y - 2)^2 $$ $$ 3y - 2 = 4y^2 - 8y + 4 $$ Rendezve egy másodfokú egyenletet kapunk: $$ 4y^2 - 11y + 6 = 0 $$ Ennek valós gyökei \( y = 2 \) és \( y = 0,75 \). Az értelmezési tartomány feltétele (\( y > 1 \)) miatt a 0,75 nem megoldás. Így csak az \( y = 2 \) lehetséges, amiből \( x = 2 \cdot 2 - 2 = 2 \).
A megoldás a \( (2; 2) \) számpár.