X^2-3x+y^2+3> 0 докажите неравенство

Решение
Доказать, что   х² - 3х + у² + 3 > 0
 х² - 2*1,5*х + 2,25 - 2,25 + у² + 3 > 0 
 (х - 1,5)² + у² + 0,75 > 0,
 т.к. левая часть неравенства является суммой неотрицательных чисел и положительного числа. При этом х, у могут быть любыми.

1.
Lq(x² +x +8) <1 ⇔0 < x² +x +8 < 10 ⇔{ x² +x +8 > 0 ; x² +x +8 < 10 ⇔
 { x² +x +8 > 0 ; x² +x -2 < 0 ⇔ { x∈R ; (x +2)(x-1) < 0 ⇔ { x∈R ; x ∈(-2;1).⇒
 x ∈(-2;1). Два целых решения:  { -1 ; 0}.
---
* * * x² +x +8 =(x+1/2)² + 7 3/4  >0  || или D =1² -4*8 = -31< 0 ⇒x² +x +8> 0 || 
* * * x² +x -2 =0 ;  D=1² -4*1*(-2) =9 =3² .  x₁ = (-1-3)/2 = -2 ;x₂ = (-1+3)/2 =1.
* * *x² +x -2 = ( x-(-2))(x-1) =(x+2)(x-1).

2.
{х<5 ; log0.2 (x+2)>=log0.2 (x²-5x+9) .⇔{х<5 ; 0<x+2≤ x²-5x+9.⇔
{х<5 ; x+2>0  ; x ≤ x²-5x+9. ⇔{ х<5 ; x> -2  ; 0 ≤ x²-6x+9.⇔
{ -2<x<5 ;(x-3)² ≥0 ⇔ { -2<x<5 ;x∈(-∞;∞) .⇒x∈( -2; 5) .
сумма целых решения системы неравенств   (-1+ 0 +1+2+3+4) =9.

3.
log2 (3x-1)/(2-x)   < 1 .
Основание логарифма 2  > 1  ,поэтому:
⇔{ 3x-1)/(2-x) >0 ;3x-1)/(2-x)   < 2⇔{ 3(x-1/3)/(2-x) >0 ;(3x-1)/(2-x) -2 < 0.⇔
{ 3(x-1/3)/(x -2) <0 ;5(x-1)/(x-2)  > 0.⇔{ x∈(1/3;2)  ;x∈(-∞ ;-1)U(2 ;∞)  .⇒
x∈(1/3 ; 1).

1.
Lq(x² +x +8) <1 ⇔0 < x² +x +8 < 10 ⇔{ x² +x +8 > 0 ; x² +x +8 < 10 ⇔
 { x² +x +8 > 0 ; x² +x -2 < 0 ⇔ { x∈R ; (x +2)(x-1) < 0 ⇔ { x∈R ; x ∈(-2;1).⇒
 x ∈(-2;1). Два целых решения:  { -1 ; 0}.
---
* * * x² +x +8 =(x+1/2)² + 7 3/4  >0  || или D =1² -4*8 = -31< 0 ⇒x² +x +8> 0 || 
* * * x² +x -2 =0 ;  D=1² -4*1*(-2) =9 =3² .  x₁ = (-1-3)/2 = -2 ;x₂ = (-1+3)/2 =1.
* * *x² +x -2 = ( x-(-2))(x-1) =(x+2)(x-1).

2.
{х<5 ; log0.2 (x+2)>=log0.2 (x²-5x+9) .⇔{х<5 ; 0<x+2≤ x²-5x+9.⇔
{х<5 ; x+2>0  ; x ≤ x²-5x+9. ⇔{ х<5 ; x> -2  ; 0 ≤ x²-6x+9.⇔
{ -2<x<5 ;(x-3)² ≥0 ⇔ { -2<x<5 ;x∈(-∞;∞) .⇒x∈( -2; 5) .
сумма целых решения системы неравенств   (-1+ 0 +1+2+3+4) =9.

3.
log2 (3x-1)/(2-x)   < 1 .
Основание логарифма 2  > 1  ,поэтому:
⇔{ 3x-1)/(2-x) >0 ;3x-1)/(2-x)   < 2⇔{ 3(x-1/3)/(2-x) >0 ;(3x-1)/(2-x) -2 < 0.⇔
{ 3(x-1/3)/(x -2) <0 ;5(x-1)/(x-2)  > 0.⇔{ x∈(1/3;2)  ;x∈(-∞ ;-1)U(2 ;∞)  .⇒
x∈(1/3 ; 1).