Did Gauss know Jacobi's four squares theorem?

This is a question that i have already asked on HSM stackexchange, and i decided to ask it again here because it's more mathematical than historic (to make a conclusion in this question one needs more mathematical then historical understanding). In p. 283-285 of volume 2 of Dickson's “history of the theory of numbers” appear several formulas of striking similarity: some of them are stated by Gauss (p.283) and some are stated by Jacobi (p.285); they are actually the same and only the notation differs ($y$ in Gauss's formula and $q$ in Jacobi's formula). Gauss's formulas are the following identities on the 4th power of the theta function:

$(\sum_{-\infty}^\infty q^{{n^2}})^4 = (\sum_{-\infty}^\infty (-1)^n q^{{n^2}})^4 + (\sum_{-\infty}^\infty q^{{(2n - 1)^2/4}})^4 = 1 + 8\sum_{1\le m} \frac {{mq^m}}{{1 - (-1)^{m + 1}q^m}} = 1 + \sum_{1 \le m}\hat \sigma (k)q^k$

The point is that the last equality means that the coefficients of the $k$th power in the right side of the last equallity must be equal to $r_4(k)$ (number of representations of $k$ as sum of $4$ squares), and an additonal interpretation (by certain manipulations) of the right side of the equallity gives the result of Jacobi: $r_4(k) = 8\sigma(k)$ or $24\sigma(k)$, depends if k is odd or even.

Since at the same posthumous paper Gauss makes some remarks on the representation of numbers as sum of four squares, it seems to me very probable that Gauss did make the deduction of the four squares theorem about the number of representations as sum of four squares from these identities.

I ask this question because i dont understand the subject enough to make a conclusion. So i'll be glad to hear an expert opinion on this matter.

• My question is very historical in nature but requires deep mathematical understanding in order to answer it (i'm doing a historical project on C.F Gauss). In other words, my question can be reformulated as: does the derivation of the identities of Gauss imply that Gauss possesed the critical techniques for proving the four squares theorem? and in addition was Gauss aware of the interpretation of his results on theta functions as being related to the sum of squares function? – user2554 Dec 22 '17 at 12:52
• Thus to answer we need to write down the sketch proof and techniques. Do you have some of them ? And it is clear Gauss knew $(\sum_n q^{n^2})^2 =1+4 \sum_k q^k \sum_{d | k} \chi_4(d)$ (Fermat two square theorem) – reuns Dec 22 '17 at 14:04
• I know how to deduce from Gauss's identity: $(\sum_{-\infty}^\infty q^{{n^2}})^4 = 1 + 8\sum_{1\le m} \frac {{mq^m}}{{1 - (-1)^{m + 1}q^m}}$ the specific form of Jacobi's theorem - $r_4(k) = 8\sigma(k)$ or $24\sigma(k)$, depends if k is odd or even (by using elementary number theoretic demonstrations) . But i have no idea how to derive this identity; according to what i've read, it's derived from the advanced mathematical theories of elliptic functions, theta functions and modular forms. – user2554 Dec 22 '17 at 14:25
• To make the deduction, one simply needs to notice that the sum is actually a double sum $\sum_{n = 1}^\infty n (\sum _{k = 1}^\infty (-1)^{(k+1)(n+1)}q^{kn})$ , a result of expansion in a geometric series. – user2554 Dec 22 '17 at 14:31
• For the method using that both sides are modular forms $\in M_2(\Gamma_0(4))$, see p.33 here – reuns Dec 22 '17 at 14:34