One of the delights in mathematical research is that some (mostly deep) results in one area remain unknown to mathematicians in other areas, but later, these discoveries turn out to be equivalent!
Therefore, I would appreciate any recollections (with references) to:
Question. Provide pairs of theorems from different areas of mathematics and/or physics, each proven with apparently different methods, and later the two results were found to be equivalent?
The quest emanates from my firm belief that it is imperative to increase our awareness of such developments, as a matter of collective effort to enjoy the value of all mathematical heritage.
There is always this charming story about the encounter between Freeman Dyson and Hugh Montgomery.
Best Answer
Consider $n$ evenly spaced points on a circle representing $\mathbb{Z}^n$. Two sets of points with the same multiset of distances between them (measured by the shortest distance around the circle) are said to be homometric. In the music literature, homometric point sets correspond to pitch-class sets with the same intervalic content, and this theorem is known as the "hexachordal theorem":
In particular, Schoenberg realized that two complementary chords of six notes each in a twelve-tone scale have identical intervalic content, and so have analogous "aural effects."
Figure from: Ballinger, B., Benbernou, N., Gomez, F., O’Rourke, J., & Toussaint, G. (2009, June). The Continuous Hexachordal Theorem. In International Conference on Mathematics and Computation in Music (pp. 11-21). Springer Berlin Heidelberg.
The following history was uncovered by Godfried Toussaint in the early 2000's.
The hexachordal theorem was originally proved in the music literature by Lewin in 1960 (1), and subsequently followed by many different proofs in the music-theory and mathematics literature, including a proof by Blau in 1999 (2):
However, the theorem was known to crystallographers about thirty years earlier, who were interested because X-rays depend on inter-atom distances, and so homometric sets have ambiguous X-rays. The theorem was first proved by Patterson (3), and again followed by many different proofs in the separate crystallography literature, including most recently a proof by Senechal (4):
The separate literature threads were united by Toussaint, as mentioned above.