Notes on a ternary cubic. (Q1521748)

Das Problem der Darstellung einer Zahl \(m\) durch eine ternäre, kubische, in reelle Linearfactoren zerfallende Form \(F(x,y,z)\) wird hier auf Grund einer geeigneten kanonischen Darstellung von \(F\) behandelt. Sei (1) \(F=ax^3+by^3+cz^3+6lxyz+3fy^2z+3gz^2x+3hx^2y+3iyz^2+3jzx^2+3kxy^2,\) so nehme man \(a=1\), \(h=0\) und setze voraus, dass \(F\) in ein Product von drei Linearfactoren zerfällt: (2) \(F(x,y,z)\equiv (x+\vartheta y+\varphi z)(x+\vartheta_1y+\varphi_1z)(x+\vartheta_2y+\varphi_2z)\). Die drei \(\vartheta\) ergeben sich als die Wurzeln der Gleichung: (3) \(F(\vartheta,-1,0)=(1,0,k,b)( \vartheta,-1)^3=0\), worauf \(\varphi\) als quadratischer (ganzer) Ausdruck in \(\vartheta\) Darstellungen gestellt wird. Der Linearfactor \(x+\vartheta y+\varphi z\) nimmt so die Gestalt \(x' +y' \vartheta +z' \vartheta^2\) an, und \(F\) erscheint als seine Norm: (4) \(F(x,y,z)=N(x'+y'\vartheta+z'\vartheta^2)\). Sind \(x'\), \(y'\), \(z'\) ganz, so ist \(x'+y'\vartheta +z'\vartheta^2\) eine complexe ganze kubische Zahl. Ausgerechnet mit Hülfe von (3), erhält \(F\) die kanonische Gestalt: (5) \(\varPhi(x', y', z')= (1,b,b^2;0,3k^2,0;kb,-2k,k,-\tfrac{1}{2}b)(x', y', z')\). Man hat daher die reelle ganze Zahl \(m\) in die Form \(x'+y'\vartheta'+z'\vartheta^2\) zu bringen, um zur Darstellung von \(m\) durch \(\varPhi\) zu gelangen. Ein instructives numerisches Beispiel wird am Schlusse durchgeführt.