Ich behaupte an dieser Stelle (vielleicht irre ich mich aber auch), dass es über Q für alle n >= 1 gilt.
der Grund liegt darin, dass A^t * A immer eine symetrische Matrix ist.
Begründung:
Sei

die j-te Spalte von A und somit die j-te Zeile von A^t
Sei weiterhin

und
Für die einzelnen

gilt nun:

, wobei <> das Standardskalarprodukt bezeichnet. Die j-te Spalte von A wird mit der i-ten Zeile von A^t multipliziert und Komponentenweise aufaddiert. (Definition der Matrixmultiplikation, sowie des Skalarprodukts beachten).
Damit folgt dann:

aus der Symetrie des Standardskalarprodukts und somit, dass B symetrisch ist und es gilt
Damit gilt dann also:
und somit (für den Fall, dass ich nichts übersehen habe). Die Aussage für alle n.