Да се реши системата

[ammornil]

Задачата е от Нациоална математическа олимпиада на Австрия (1997 г.)$\\[12pt] \begin{array}{|l} (x-1)(y^{2}+6)= y(x^{2}+1) \\[6pt] (y-1)(x^{2}+6)= x(y^{2}+1) \end{array}\\[24pt]$

Скрит текст: покажи

Отг. $(2,2), \quad (2,3), \quad (3,2), \quad (3,3)$

[Darina73]

[tex]\begin{array}{|l} x y^{2 }+6x- y^{2 }-6= x^{2 }y+y \\ x^{2 }y+6y- x^{2 } -6=xy^{2 } +x\end{array}[/tex]
Събираме и изваждаме двете уравнения .
[tex]\begin{array}{|l} 6x- y^{2 } -6+6y- x^{2 }-6 = y+x |.(-1) \ne0 \\ 2x y^{2 }+6x- y^{2 }-6-2 x^{2 }y-6y+ x^{2 }+6 = y-x |.(-1) \ne0 \end{array}[/tex]

[tex]\begin{array}{|l} x^{2 } +y^{2 } -5x -5 y +12=0 \\ 2xy(x - y )-7(x-y)-(x-y)(x+y)= 0 \end{array}[/tex]

[tex]\begin{array}{|l}( x+y)^{2 } -2xy-5(x + y )+12=0\\ (x - y )(2xy-7-x-y)=0 \end{array}[/tex]

[tex]\begin{array}{|l} (x+y)^{2 }-2xy-5( x + y)+12 = 0 (А)\\ x = y , или 2xy= (x+y)+7 \end{array}[/tex]

1 случай x=y ,тогава [tex]y^{3 } +6y-y^{2 } -6=y^{3 } +y[/tex]
[tex]y^{2 }-5y+6=0 ; y_{1 } =2[/tex] ,или [tex]y_{2 }[/tex]=3
Получаваме два подслучая : [tex]y_{1 }[/tex]=2 и [tex]x_{1 }[/tex]=2 ,или [tex]y_{2 }[/tex]=3 и [tex]x_{2 }[/tex]=3

2 случай 2xy=(x+y)+7 (заместваме в (А))
[tex](x+y)^{2 }[/tex]-6(x+y)+5=0 x+y= ?
k= -3 ;D=9-5=4 ;[tex](x+y)_{1,2 }= \frac{3 \pm2 }{1}[/tex] т.е. x+y=1 ,или x+y=5
Получаваме два подслучая :
[tex]x_{3 }[/tex] =1-y и [tex]x_{4 }[/tex]= 5-y (Заместваме ги в първото дадено ур-е.)
-[tex]y_{3 }( y_{3 } ^{2 }+6) = y_{3 }(2-2 y_{3 } + y_{3 } ^{2 })[/tex]
Тогава [tex]y_{3 }[/tex]= 0 , или [tex]y_{3 } ^{2 }- y_{3 } +4=0[/tex]
при които [tex]x_{3 }[/tex]=1 ,или няма реални корени
При проверка се вижда ,че (1 ;0) не е корен на второто дадено уравнение и отпада .

[tex]x_{4 }[/tex]=5-y (B) [tex]\Rightarrow[/tex] (4-y)([tex]y^{2 }+6) =y(26-10y+ y^{2 })[/tex]
Получаваме [tex]y_{4 } ^{3 } -7 y_{4 } ^{2 }+16 y_{4 }-12= 0[/tex]
Чрез метода на Хорнер получаваме [tex]y_{4 }[/tex]=2 ,или [tex]y_{4 }[/tex]=3 Връщаме се към (В)
[tex]x_{4 }[/tex]=3 ,или [tex]x_{4 }[/tex]=2
_____________________________________________
При 1 случай получаваме отговори (2;2) и (3;3)
При 2 случай получаваме отговори (3;2) и (2;3)

[ammornil]

Ето още едно предложение за решение.$\\[12pt] \begin{array}{|l} (x-1)(y^{2}+6)= y(x^{2}+1) \\[6pt] (y-1)(x^{2}+6)= x(y^{2}+1) \end{array} \\[24pt] \begin{array}{|l} xy^{2} +6x -y^{2} -6= yx^{2} +y \\[6pt] yx^{2} +6y -x^{2} -6= xy^{2} +x \end{array} \quad \Leftrightarrow \quad \begin{array}{|l} xy^{2} +6x -y^{2} -6- yx^{2} -y= 0 \quad (1) \\[6pt] yx^{2} +6y -x^{2} -6 -xy^{2} -x=0 \quad (2) \end{array} \\[12pt] (1) +(2):\quad \cancel{xy^{2}} +6x -y^{2} -6 \cancel{-yx^{2}} -y \cancel{+ yx^{2}} +6y -x^{2} -6 \cancel{-xy^{2}} -x= 0 \quad \Leftrightarrow \quad \\[6pt] \hspace{5em} -(y^{2} -5y +x^{2} -5x +12)=0 \quad |\cdot{(-1)} \Leftrightarrow \quad \\[6pt] \hspace{5em} y^{2}-2\cdot{\dfrac{5}{2}}\cdot{y} +\left(\dfrac{5}{2}\right)^{2} -\left(\dfrac{5}{2}\right)^{2} +x^{2} -2\cdot{\dfrac{5}{2}}\cdot{x} +\left(\dfrac{5}{2}\right)^{2} -\left(\dfrac{5}{2}\right)^{2} +12=0 \quad \Leftrightarrow \quad \\[6pt] \hspace{5em} \left(x-\dfrac{5}{2}\right)^{2} +\left(y-\dfrac{5}{2}\right)^{2}= \dfrac{1}{2} \quad (A) \\[12pt] (1)-(2): \quad xy^{2} +6x -y^{2} \cancel{-6} -yx^{2} -y -yx^{2} -6y +x^{2} \cancel{+6} +xy^{2} +x= 0 \quad \Leftrightarrow \quad \\[6pt] \hspace{5em} -xy(-y +x +x -y) +(x^{2}-y^{2}) +6(x-y) +(x-y)=0 \quad \Leftrightarrow \quad \\[6pt] \hspace{5em} -2xy(x-y)+(x-y)(x+y)+7(x-y)= 0 \quad \Leftrightarrow \quad \\[6pt] \hspace{5em} (x-y)(x +y -2xy +7)=0 \Rightarrow \text{ (Б1) } \quad x-y=0 \quad \cup \quad \text{ (Б2) } \quad x +y -2xy +7= 0 \\[12pt] \text{(случай 1):} \\[6pt] x=y \Rightarrow (A): \quad \left(y-\dfrac{5}{2}\right)^{2} +\left(y-\dfrac{5}{2}\right)^{2}= \dfrac{1}{2} \\[6pt] \hspace{7em} \left(y-\dfrac{5}{2}\right)^{2}= \dfrac{1}{4} \quad \Leftrightarrow \quad y^{2}-5y +\dfrac{25}{4} -\dfrac{1}{4}=0 \quad \Leftrightarrow \quad y^{2} -5y +6= 0 \\[6pt] \hspace{7em} y_{1,2}= \dfrac{5\pm\sqrt{25 -4\cdot{1}\cdot{6}}}{2\cdot{1}}= \dfrac{5\pm{1}}{2} \Rightarrow x_{1}=y_{1}=2, \quad x_{2}=y_{2}=3 \\[12pt] \text{(случай 2):} \\[6pt] x +y -2xy +7= 0 \quad \Leftrightarrow \quad -2\left(xy -\dfrac{1}{2}x +\dfrac{1}{4} -\dfrac{1}{2}y \right) +\dfrac{1}{2} +7=0 \quad \Leftrightarrow \quad \\[6pt] \hspace{7em} -2\left[x\left(y- \dfrac{1}{2}\right)-\dfrac{1}{2}\left(y -\dfrac{1}{2} \right)\right] +\dfrac{15}{2}= 0 \quad |\div{(-2)} \quad \Leftrightarrow \quad \\[6pt] \hspace{7em} \left(x -\dfrac{1}{2} \right)\cdot{}\left(y -\dfrac{1}{2} \right)= \dfrac{15}{4} \\[12pt] (A): \quad \left(x-\dfrac{5}{2}\right)^{2} +\left(y-\dfrac{5}{2}\right)^{2}= \dfrac{1}{2} \\[6pt] \text{ (Б2) } \quad \left(x -\dfrac{1}{2} \right)\cdot{}\left(y -\dfrac{1}{2} \right)= \dfrac{15}{4} \\[6pt] \quad u=x-\dfrac{5}{2}, \quad v= y-\dfrac{5}{2}, \quad -\dfrac{1}{2}= -\dfrac{5}{2} +2 \\[12pt] \begin{array}{|l} u^{2} +v^{2}= \dfrac{1}{2} \\[6pt] (u+2)(v+2) =\dfrac{15}{4} \end{array} \Leftrightarrow \begin{array}{|l} u^{2} +v^{2}= \dfrac{1}{2} \\[6pt] uv +2u +2v +4 -\dfrac{15}{4}= 0 \quad |\cdot{2} \end{array} \Leftrightarrow \begin{array}{|l} u^{2} +v^{2}= \dfrac{1}{2} \\[6pt] 2uv +4(u +v) = -\dfrac{1}{2} \end{array} \\[6pt] \Leftrightarrow \begin{array}{|l} u^{2} +2uv +v^{2} +4(u +v)= 0 \\[6pt] u^{2} -2uv +v^{2} -4(u +v) = 1 \end{array} \Leftrightarrow \begin{array}{|l} (u+v)^{2} +4(u +v)= 0 \\[6pt] (u-v)^{2} -4(u +v) = 1 \end{array} \Rightarrow \\[6pt] \begin{array}{|l} u+v= 0 \\[6pt] (u-v)^{2} -4(u +v) = 1 \end{array} \quad \cup \quad \begin{array}{|l} u +v =-4 \\[6pt] (u-v)^{2} -4(u +v) = 1 \end{array} \\[6pt] \begin{array}{|l} u= -v \\[6pt] 4v^{2} = 1 \end{array} \quad \cup \quad \begin{array}{|l} u= v -4 \\[6pt] 4^{2} +16 = 1 \end{array} \\[6pt] \begin{array}{|l} u= -v \\[6pt] v_{1,2}= \pm{\dfrac{1}{4}} \end{array} \quad \cup \quad \oslash \\[12pt] u_{1}= \dfrac{1}{2}, v_{1}= - \dfrac{1}{2} \Rightarrow x_{1}= 3, y_{1}= 2 \\[6pt] u_{2}= -\dfrac{1}{2}, v_{2}= \dfrac{1}{2} \Rightarrow x_{2}= 2, y_{2}= 3 \\[24pt]$ $$ \text{Отг.}\quad (2,2), \quad (3,3), \quad (2,3) \quad (3,2)$$

[ammornil]

В горното съм допуснал грешка, която не променя отговора но все пак е грешка ... $\\[6pt] \Leftrightarrow \begin{array}{|l} u^{2} +2uv +v^{2} +4(u +v)= 0 \\[6pt] u^{2} -2uv +v^{2} -4(u +v) = 1 \end{array} \Leftrightarrow \begin{array}{|l} (u+v)^{2} +4(u +v)= 0 \\[6pt] (u-v)^{2} -4(u +v) = 1 \end{array} \Rightarrow \\[6pt] \begin{array}{|l} u+v= 0 \\[6pt] (u-v)^{2} -4(u +v) = 1 \end{array} \quad \cup \quad \begin{array}{|l} u +v =-4 \\[6pt] (u-v)^{2} -4(u +v) = 1 \end{array} \\[6pt] \begin{array}{|l} u= -v \\[6pt] 4v^{2} = 1 \end{array} \quad \cup \quad \begin{array}{|l} \red{u= -v -4} \\[6pt] \red{4v^{2} +16v +16 +16 - 1= 0 } \end{array} \\[6pt] \begin{array}{|l} u= -v \\[6pt] v_{1,2}= \pm{\dfrac{1}{4}} \end{array} \quad \cup \quad \begin{array}{|l} u=-v-4 \\ 4v^{2} +16v +255 =0 \begin{cases} a>0 \\ D<0 \end{cases} \end{array} \Rightarrow \oslash \\[12pt] u_{1}= \dfrac{1}{2}, v_{1}= - \dfrac{1}{2} \Rightarrow x_{1}= 3, y_{1}= 2 \\[6pt] u_{2}= -\dfrac{1}{2}, v_{2}= \dfrac{1}{2} \Rightarrow x_{2}= 2, y_{2}= 3 \\[24pt]$ $$ \text{Отг.}\quad (2,2), \quad (3,3), \quad (2,3) \quad (3,2)\\[12pt]$$

Скрит текст: покажи

$(-2v-4)^{2}=[-1\cdot(2v+4)]^{2}=(-1)^{2}\cdot{(2v+4)^{2}}= (2v)^{2}+2\cdot{2v}\cdot{4}+4^{2}= 4v^{2} +16v +16$

[peyo]

Задачата е от Нациоална математическа олимпиада на Австрия (1997 г.)$\\[12pt] \begin{array}{|l} (x-1)(y^{2}+6)= y(x^{2}+1) \\[6pt] (y-1)(x^{2}+6)= x(y^{2}+1) \end{array}\\[24pt]$

Скрит текст: покажи

Отг. $(2,2), \quad (2,3), \quad (3,2), \quad (3,3)$

Накарах chatgppt да ми напише следното решение с деление на полиноми. Оказа се, че при системи елиминацията на степен не става както при полиноми, но пак стана нещо интересно мисля:

Идея: разглеждаме двете уравнения като полиноми по [tex]x[/tex] (с параметър [tex]y[/tex]) и делим на [tex](x-2)[/tex]. Остатъците излизат много удобни и веднага дават решенията с [tex]x=2[/tex]. После използваме симетрията и накрая довършваме с елиминация.

Нека

[tex]f_1=(x-1)(y^2+6)-y(x^2+1), \
f_2=(y-1)(x^2+6)-x(y^2+1).[/tex]

Делим [tex]f_1[/tex] на [tex](x-2)[/tex] (по [tex]x[/tex], като [tex]y[/tex] е параметър):

[tex]f_1=(x-2)(-yx+y^2-2y+6)+(y-2)(y-3).[/tex]

Делим [tex]f_2[/tex] на [tex](x-2)[/tex]:

[tex]f_2=(x-2)\big((y-1)x+2y-5\big)+4(y-2)(y-3).[/tex]

Понеже в системата [tex]f_1=0[/tex] и [tex]f_2=0[/tex], ако [tex]x=2[/tex], получаваме веднага:

[tex](y-2)(y-3)=0,[/tex]

следователно [tex]y=2[/tex] или [tex]y=3[/tex]. Значи имаме решения:

[tex](2,2), \ (2,3).[/tex]

Системата е симетрична при размяна [tex]x \leftrightarrow y[/tex], т.е. от [tex](2,3)[/tex] следва и [tex](3,2)[/tex].
Освен това [tex](3,3)[/tex] също е решение (проверява се директно, или аналогично с [tex]x=3[/tex]).

Остава да покажем, че няма други реални решения.
От елиминация (например [tex](y-1)f_1-yf_2[/tex]) се получава:

[tex](y-2)(y-3)(x+y-1)=0.[/tex]

Следователно, ако [tex]y\neq 2[/tex] и [tex]y\neq 3[/tex], то [tex]x+y-1=0[/tex], т.е. [tex]x=1-y[/tex].
Замяна в системата дава:

[tex]y^2-y+4=0,[/tex]

но това няма реални корени (дискриминанта [tex]\Delta=1-16=-15<0[/tex]).

Следователно всички реални решения са:

[tex]\boxed{(2,2),\ (2,3),\ (3,2),\ (3,3)}.[/tex]

[ammornil]

Идея: разглеждаме двете уравнения като полиноми по [tex]x[/tex] (с параметър [tex]y[/tex]) и делим на [tex](x-2)[/tex]. Остатъците излизат много удобни и веднага дават решенията с [tex]x=2[/tex]. После използваме симетрията и накрая довършваме с елиминация.

Нека

[tex]f_1=(x-1)(y^2+6)-y(x^2+1), \
f_2=(y-1)(x^2+6)-x(y^2+1).[/tex]

Делим [tex]f_1[/tex] на [tex](x-2)[/tex] (по [tex]x[/tex], като [tex]y[/tex] е параметър):

Аз не съм математик, но ако избирате $x=2$ не може да делите на $x-2$ защото това е деление на $0$. Освен това ми е интересно как избрахте точно $2$ и $3$ за да пробвате за $x$ и $y$, тръгнахте от отговорите ли?

[peyo]

Идея: разглеждаме двете уравнения като полиноми по [tex]x[/tex] (с параметър [tex]y[/tex]) и делим на [tex](x-2)[/tex]. Остатъците излизат много удобни и веднага дават решенията с [tex]x=2[/tex]. После използваме симетрията и накрая довършваме с елиминация.

Нека

[tex]f_1=(x-1)(y^2+6)-y(x^2+1), \
f_2=(y-1)(x^2+6)-x(y^2+1).[/tex]

Делим [tex]f_1[/tex] на [tex](x-2)[/tex] (по [tex]x[/tex], като [tex]y[/tex] е параметър):

Аз не съм математик, но ако избирате $x=2$ не може да делите на $x-2$ защото това е деление на $0$. Освен това ми е интересно как избрахте точно $2$ и $3$ за да пробвате за $x$ и $y$, тръгнахте от отговорите ли?

Точно от отговорите тръгвам, да. Отгатваме, че x,y=(2,2) е едно решение и се опитваме да намалим степента на системата все едно е полином на който сме отгатнали един от корените и му намаляваме степента като делим на този (x-корен) и очакваме остатъка на е 0. Но при системи остатъка не е 0, но пък е много удобен по някаква причина да ни каже всички решения почти веднага. Не знам защо можем да делим на нещо, което би трябвало да е нула, но явно дава верен отговор, затова сигурно е позволено.

[grav]

Аз не съм математик, но ако избирате $x=2$ не може да делите на $x-2$ защото това е деление на $0$. Освен това ми е интересно как избрахте точно $2$ и $3$ за да пробвате за $x$ и $y$, тръгнахте от отговорите ли?

Той не дели, а предсавя полином [tex]f[/tex] във вида [tex]a(x, y)(x-2)+r(y)[/tex].

[grav]

Остава да покажем, че няма други реални решения.
От елиминация (например [tex](y-1)f_1-yf_2[/tex]) се получава:

[tex](y-2)(y-3)(x+y-1)=0.[/tex]

Следователно, ако [tex]y\neq 2[/tex] и [tex]y\neq 3[/tex], то [tex]x+y-1=0[/tex], т.е. [tex]x=1-y[/tex].
Замяна в системата дава:

[tex]y^2-y+4=0,[/tex]

но това няма реални корени (дискриминанта [tex]\Delta=1-16=-15<0[/tex]).

Следователно всички реални решения са:

[tex]\boxed{(2,2),\ (2,3),\ (3,2),\ (3,3)}.[/tex]

Това не е ли досатъчно като решиние! Предодната част за какво е!

[peyo]

Остава да покажем, че няма други реални решения.
От елиминация (например [tex](y-1)f_1-yf_2[/tex]) се получава:

[tex](y-2)(y-3)(x+y-1)=0.[/tex]

Следователно, ако [tex]y\neq 2[/tex] и [tex]y\neq 3[/tex], то [tex]x+y-1=0[/tex], т.е. [tex]x=1-y[/tex].
Замяна в системата дава:

[tex]y^2-y+4=0,[/tex]

но това няма реални корени (дискриминанта [tex]\Delta=1-16=-15<0[/tex]).

Следователно всички реални решения са:

[tex]\boxed{(2,2),\ (2,3),\ (3,2),\ (3,3)}.[/tex]

Това не е ли досатъчно като решиние! Предодната част за какво е!

Това всъщност не знам от къде дойде :

От елиминация (например [tex](y-1)f_1-yf_2[/tex]) се получава:

[tex](y-2)(y-3)(x+y-1)=0.[/tex]

Странна елиминация.