 Solution

Let $F(t)={\sum }_{k\in \mathbb{Z}}|f(t+2\pi k){|}^2$. By the Tonelli theorem, $F$ is integrable on $[0,2\pi ]$, since its integral is ${\int }_{\mathbb{R}}|f{|}^2<\infty$. The Plancherel theorem and periodization giveConsequently, if $F=1$ almost everywhere these inner products are ${\delta }_{mn}$, proving orthonormality. Conversely orthonormality says that every Fourier coefficient of $F-1$ is zero. The uniqueness of Fourier coefficients in L1 implies $F-1=0$ almost everywhere. HenceThis proves orthonormal translates and Fourier periodization, including both directions and the normalization constant associated with the printed Fourier transform.