Strona 1 z 1

Detekcja rozwiązań tożsamościowych

: 27 wrz 2022, o 15:47
autor: Borneq
Mamy układ dwóch wielomianów dwóch zmiennych. Miejsca zerowe jednego i drugiego tworzą funkcję uwikłaną, np. koła, elipsy, pochylone elipsy.
Szukane pierwiastki to miejsca przecięć tych funkcji uwikłanych.
Kiedy rozwiązań może być continuum?
Gdy jedna funkcja jest rzeczywistą , nie zerową wielokrotnością drugiej. Czy to jedyna możliwość ?
Jak badam:
patrzę na współczynniki obu wielomianów, wybieram największy co do modułu z obu. Dzielę odpowiadający współczynnik drugiego równania przez znaleziony moduł, otrzymując współczynnik z zakresu \(\displaystyle{ <0;1>}\) . Teraz od ego pierwszego wielomianu odejmuję ten drugi pomnożony przez ten współczynnik i patrzę czy wszystkie współczynniki są co do modułu mniejsze od małego epsilon. Czy to dobry sposób?

Re: Detekcja rozwiązań tożsamościowych

: 27 wrz 2022, o 17:22
autor: a4karo
`x=1;x^2=1`

Re: Detekcja rozwiązań tożsamościowych

: 30 wrz 2022, o 15:09
autor: Borneq
No właśnie, oprócz przypadku gdy mamy takie same funkcje uwikłane z powodu takich samych wielomianów, tylko pomnożonych przez stały czynnik, również przypadek, gdy wielomian zależy tylko od jednej zmiennej. W tym przypadku jest to x, ale może być nie tylko y, ale dowolny obrót płaszczyzny. Jak w takim razie spostrzec, że to jest funkcja jednej zmiennej obrócona o pewien kąt?

Re: Detekcja rozwiązań tożsamościowych

: 30 wrz 2022, o 15:24
autor: a4karo
To moja być dwa wielomiany drugiego stopnia mające wspólny czynnik liniowy

Re: Detekcja rozwiązań tożsamościowych

: 30 wrz 2022, o 17:55
autor: Borneq
Czyli
\(\displaystyle{ (2\cdot x+y+3)\cdot (x+2\cdot y-2) = 2\cdot x^2 + 5\cdot x\cdot y + 2\cdot y^2 - x + 4\cdot y - 6}\)
\(\displaystyle{ (2\cdot x+y+3)\cdot (-2\cdot x-y+3) = -4\cdot x^2 - 4\cdot x\cdot y - y^2 + 9}\)
Sage sobie radzi:

Kod: Zaznacz cały

eq1 = 2*x^2 + 5*x*y + 2*y^2 - x + 4*y - 6 == 0
eq2 = -4*x^2 - 4*x*y - y^2 + 9 == 0
solutions = solve([eq1, eq2], x, y)
daje

Kod: Zaznacz cały

[
[x == r1, y == -2*r1 - 3],
[x == (4/3), y == (1/3)]
]
Natomiast jak można to obliczyć?

Re: Detekcja rozwiązań tożsamościowych

: 30 wrz 2022, o 18:49
autor: a4karo
Normalnie. Przyrównując czynniki parami do zera.