Solche Konstrukte sind immer schwer zu durchschauen,
Anschauliche Darstellung generieren oder aufschreiben z.B: Geogebra CAS
A:{{a11,a12,a13},{a21,a22,a23},{a31,a32,a33}}
n:Dimension(A) (1,0)
>n=3
ATA:Transpose(A) A
\(\scriptsize \left(\begin{array}{rrr}a11^{2} + a21^{2} + a31^{2}&a11 \; a12 + a21 \; a22 + a31 \; a32&a11 \; a13 + a21 \; a23 + a31 \; a33\\a11 \; a12 + a21 \; a22 + a31 \; a32&a12^{2} + a22^{2} + a32^{2}&a12 \; a13 + a22 \; a23 + a32 \; a33\\a11 \; a13 + a21 \; a23 + a31 \; a33&a12 \; a13 + a22 \; a23 + a32 \; a33&a13^{2} + a23^{2} + a33^{2}\\\end{array}\right)\)
sumATAii:Sum(Element(Transpose(A) A,i,i),i,1,n)
\(sumATAii \, := \, \sum \limits_{i=1}^{n}Element \left(ATA, i, i \right)\)
Sum(Sum(Element(Transpose(A),i,j) Element(A, j,i),i,1,n),j,1,n)
\(sumsumATijAji \, := \, \sum \limits_{j=1}^{n}\sum \limits_{i=1}^{n}Element \left(Transpose \left(A \right), i, j \right) \; Element \left(A, j, i \right)\)
\(sATAii == sumsumATijAji \\= \, a11^{2} + a12^{2} + a13^{2} + a21^{2} + a22^{2} + a23^{2} + a31^{2} + a32^{2} + a33^{2}\)
In der unteren SUmme fehlt ) soll wohl sein
\(\sum\limits_{j=1}^{n}\sum\limits_{i=1}^{n}Element \left(A, i, j \right)^{2}\)