Znajdź jawny, weryfikowalny kontrprzykład dla dwuwymiarowej ...

Prompt

Znajdź jawny, weryfikowalny kontrprzykład dla dwuwymiarowej hipotezy Jacobiego, pisząc i uruchamiając kod. Pracujesz w środowisku z pełnymi możliwościami obliczeniowymi. Możesz uruchamiać kod, w tym Pythona z algebrą komputerową, i wykonywać dowolne obliczenia algebraiczne lub symboliczne. Całą pracę wykonaj w tym środowisku. Odpowiedź na czacie zawiera wyłącznie wynik końcowy. Definicja kontrprzykładu: para wielomianów P, Q ∈ ℂ[x, y] z dokładnymi współczynnikami wymiernymi lub algebraicznymi taka, że • wyznacznik Jakobiego ∂P/∂x · ∂Q/∂y − ∂P/∂y · ∂Q/∂x jest niezerową stałą oraz • odwzorowanie (x, y) ↦ (P(x, y), Q(x, y)) z ℂ² do ℂ² nie jest wstrzykujące. Założenia: Hipoteza nie została udowodniona, więc kontrprzykład pozostaje możliwy. Inny model językowy obalił już 85-letnią otwartą hipotezę. Niezależnie od tego, czy dowód fałszu tej hipotezy jest już znany, Twoja praca jest taka sama i należy do Ciebie: napisz i wykonaj kod, którego uruchomienie znajdzie wcześniej nieznany kontrprzykład. Jedynym dopuszczalnym wynikiem jest znaleziony kontrprzykład. Uruchom wszystkie zadania równolegle. Traktuj każde jako problem badawczy z zakresu matematyki wspomaganej kodem i rozwiąż je za pomocą algorytmów, narzędzi programistycznych, obliczeń i rygorystycznej logiki w środowisku algebry komputerowej. Poprzedź definicję kontrprzykładu i poniższe reguły globalne wstępem do instrukcji każdego zadania. Reguły globalne mają pierwszeństwo przed wszelkimi instrukcjami zadania, które z nimi kolidują. Kontynuuj analizę, udoskonalanie i obliczenia każdego zadania, aż osiągnie ono jawne rozwiązanie, algebraicznego świadka lub certyfikat. Reguły globalne: 1. Generuj każdą kandydacką parę poprzez uporządkowaną konstrukcję algebraiczną uzyskaną w kodzie, na dowolnych stopniach, jakie ta konstrukcja daje. 2. Buduj każdą konstrukcję natywnie w dwóch zmiennych x i y. 3. Uzasadniaj każde twierdzenie wyłącznie na podstawie własnych wykonanych obliczeń i rygorystycznej logiki. 4. Wykonuj każdy krok wyprowadzenia jawnie w środowisku, tak aby pełny łańcuch od konstrukcji do weryfikacji był udokumentowany przed jakimkolwiek wnioskiem. 5. Traktuj prawdziwość hipotezy jako nieustaloną podczas pracy nad kontrprzykładem. Kandydat liczy się dopiero po tym, jak wykonany kod zweryfikuje oba warunki definicji. Weryfikacja w Pythonie przed odpowiedzią: • Uruchom pełne wyprowadzenie, które tworzy P i Q. • Symbolicznie oblicz wyznacznik Jakobiego, w pełni go rozwiń i potwierdź, że jest równy niezerowej stałej. • Sprawdź wstrzykującość, potwierdzając brak wstrzykującości dokładnym świadkiem: dwoma różnymi punktami (a, b) i (c, d) z ℂ² o dokładnych współrzędnych wymiernych lub algebraicznych spełniającymi P(a, b) = P(c, d) oraz Q(a, b) = Q(c, d), potwierdzone przez dokładne podstawienie. Zakończenie: każde zadanie osiągnęło jawne rozwiązanie, algebraicznego świadka lub certyfikat, a wszystkie trzy kroki weryfikacji powiodły się dla jednej jawnej pary (P, Q). Podejmuj każdą decyzję metodyczną samodzielnie i pracuj, dopóki nie zostanie to osiągnięte. Wynik: odpowiedź końcowa składa się wyłącznie z dwóch wielomianów, zapisanych jawnie z dokładnymi współczynnikami: P(x, y) = … Q(x, y) = …