Adrastus, Proclus, and 2+8+50+288+… versus 1+9+49+289+…

Question

According to the MacTutor essay "D'Arcy Thompson on Greek irrationals" (which I take to be a version of Thompson's original essay whose only liberty with the original text is giving English translations where Thompson gives Greek words and phrases), Proclus, following Adrastus, asserted that $2+8+50+288+\dots$ (the sum of twice the squares of the "side numbers" $1,2,5,12,\dots$) equals $1+9+49+289+\dots$ (the sum of the squares of the "diagonal numbers" $1,3,7,17,\dots$). Here is the relevant excerpt:

"The table of side and diagonal numbers has many other properties. For instance, as Proclus tells us, the sum of the squares of two adjacent diagonals = twice the sum of the squares on the two corresponding sides: e.g. $3^2+7^2=2(2^2+5^2)$. And, in Chapter xxiii he shows, following Adrastus, that the sum of the squares of 'all' the diagonals is equal to twice the sum of the squares of 'all' the sides."

I haven't been able to find the text that Thompson is referring to here. In any case, I'm curious whether the original text seems to be an early attempt at manipulating divergent series.

Interestingly, under modern approaches to regularizing divergent series, the equality asserted by Proclus fails: the two divergent sums differ by $\frac12$.

[Note: This question was originally posted at MathOverflow, but it seems more appropriate here.]

Answer 1

As nwr commented above, the original text by Proclus is his commentary on Plato's Republic, and Cambridge University Press is in the process of publishing an English translation. Unfortunately, I think the relevant section is in Volume 2, which has not been published yet. I don't read Greek, but maybe someone who does can find the right section in the Greek text.

However, it may not be necessary to dig up the exact section from Proclus. D'Arcy Thompson cites an earlier paper by A. E. Taylor, Forms and Numbers: A Study in Platonic Metaphysics. Taylor notes that the convergents of the continued fraction of $\sqrt{2}$ are $${1\over 1}, {3\over 2}, {7 \over 5}, {17 \over 12}, {41 \over 29}, {99 \over 70}, \ldots.$$ The numerators are the "diagonal numbers" and the denominators are the "side numbers." I would guess that the claim that "the sum of the squares of 'all' the diagonals is equal to twice the sum of the squares of 'all' the sides" is probably just the claim (in modern language) that the above sequence of fractions converges to $\sqrt{2}$. In particular, it seems unlikely to me that divergent series are being considered here.