Jump to content

Pagina:Gauss, Carl Friedrich - Werke (1870).djvu/135

E Wikisource
Haec pagina emendata est
125
transformatio.

formarum determinantes erunt aequales[1] atque (αδβγ)2=1. In hoc casu formas aequivalentes dicemus. Quare ad formarum aequivalentiam aequalitas determinantium est conditio necessaria, licet illa ex hac sola minime sequatur. — Substitutionem x=αx+βy, y=γx+δy vocabimus transformationem propriam, si αδβγ est numerus positivus, impropriam, si αδβγ est negativus; formam F proprie aut improprie sub forma F contentam esse dicemus, si F per transformationem propriam aut impropriam in formam F transmutari potest. Si itaque formae F, F sunt aequivalentes, erit (αδβγ)2=1, adeoque si transformatio est propria, αδβγ=+1, si est impropria, =1. — Si plures transformationes simul sunt propriae, aut simul impropriae, similes eas dicemus; propriam contra et impropriam dissimiles.


Aequivalentia, propria et impropria.
158.

Si formarum F, F determinantes sunt aequales atque F sub F contenta: etiam F sub F contenta erit et quidem proprie vel improprie, prout F sub F proprie vel improprie continetur. Transeat F in F ponendo x=αx+βy,   y=γx+δy transibitque F in F ponendo x=δxβy,   y=γx+αy Patet enim per hanc substitutionem ex F fieri idem, quod fiat ex F ponendo x=α(δxβy)+β(γx+αy),   y=γ(δxβy)+δ(γx+αy) sive x=(αδβγ)x,   y=(αδβγ)y Hinc vero manifesto ex F fit (αδβγ)2F i. e. rursus F (art. praec). Perspicuum autem est, transformationem posteriorem esse propriam vel impropriam, prout prior sit propria vel impropria.


Si tum F sub F, tum F sub F proprie continetur, formas proprie aequi-

  1. Manifestum est ex analysi praecedente hanc propositionem etiam ad formas, quarum determinans =0, patere. Sed aequatio (αδβγ)2=1 ad hunc casum non est extendenda.