Indlægaf JensSkakN » 10 apr 2022, 23:47
Jeg mener stadig, at princippet i førnævnte løsning er korrekt, men der må nok findes en smartere måde at løse det på, end jeg kan klare.
Den matrix \(A^TA\), jeg omtalte, er en 3x3 matrix, hvor hvert matrixelement er et polynomium i \(a\) af grad mellem 2 og 4.
Fx er det nederste højre element \(182+(a^2+3a+7)^2\).
Determinanten bliver en sum af polynomier af op til 10'ende grad, som imidlertid reduceres til et fjerdegradspolynomium, nemlig
\(3a^4-18a^3+3a^2+72a+48\). Denne beregning og reduktion ville jeg ikke kunne gennemføre 'i hånden' på en rimelig tid. Resultatet er derfor udledt ved hjælp af Maple.
Når man nu ved, at \(-1\) må være rod i dette polynomium, er det ret let at indse, at det kan omskrives til \(3(a+1)^2(a-4)^2\).
Nu har vi svaret. For alle andre \(a\) end \(-1\) og \(4\) bliver ligningssystemet overbestemt.
Men løsningen er ikke tilfredsstillende, da jeg ikke ville kunne gennemføre beregningen i hånden.