równanie julia: Dane jest równanie m² x³ − (6m+m²)x² +(m+6)x=0 Znaleźć takie wartości parametru m ∊ Z(liczby całkowite), dla których nieujemne rozwiązania równania są liczbami całkowitymi.

wredulus_pospolitus: m²x³ − (6m+m²)x² +(m+6)x=0 x(m²x² − m(6+m)x + (6+m)) = 0 f(x) = m²x² − m(6+m)x + (6+m) 1^o Δ < 0 m²(6+m)² − 4m²(6+m) = m²(6+m)(2+m) < 0 −−−> m∊ (−6 , −2) 2^o Δ ≥ 0 ∧ f(0) ≥ 0 ∧ x_wierzchołka < 0 −−−>

	m(6+m
m ≥ −2 ∧		< 0 −−−>
	m2

m≥ −2 ∧ m∊(−6 ; 0) −−−> m ∊ <−2 ; 0) 3^o Δ ≥ 0 ∧ x₁,x₂ > 0 ∧ x₁,x₂ ∊ Z i tu się dopiero zaczyna zabawa

wredulus_pospolitus: poprawka do 2^o Δ ≥ 0 ∧ f(0) ≥ 0 ∧ x_wierzchołka ≤ 0

	m(6+m)
(m = −6 ∨ m ≥ −2) ∧		≤ 0
	m2

co daje nam: m ∊ {−6} u <−2 ; 0) osobno jeszcze rozpatrzeć przypadek gdy m = 0 (bo też będzie pasować)

julia: czyli odpowiedz to m ∊ {−6} u <−2 ; 0> ?

wredulus_pospolitus: nie ... przeanalizuj co ja właściwie zrobiłem a czego jeszcze nie zrobiłem

julia: x1,x2 > 0 a jak to rozumieć?