Vorbemerkung:
Für 0<=x<=\pi/2 ist abs(sin(x))<=x und abs(sin(x))>=x/2
1. Ansatz
int(sin^2(nx)/sin(x),x,0,\pi/2)=1/n*int(sin^2(z)/sin(z/n),z,0,n*\pi/2)=
=1/n*int(sin^2(z)/sin(z/n),z,0,\pi/2)+1/n*int(sin^2(z)/sin(z/n),z,\pi/2,N*\pi/2)+1/n*int(sin^2(z)/sin(z/n),z,N*\pi/2,n*\pi/2)
wobei N=N(n) mit 1<N<=n ein noch zu bestimmender Parameter ist.
=\:I_1+I_2+I_3
2. Abschätzung von I_1
I_1=1/n*int(sin^2(z)/sin(z/n),z,0,\pi/2)<=1/n*int(z^2/(1/2*z/n),z,0,\pi/2)=\pi^2/4=O(1)
3.Abschätzung von I_3
1/n*int(sin^2(z)/sin(z/n),z,N*\pi/2,n*\pi/2)<=1/n*int(1/(z/2n),z,N*\pi/2,n*\pi/2)
<=2n/n*(n*\pi/2)*1/(N*\pi/2)=2*N/n=O(n/N)
4. Auswertung von I_2 (1)
Im Folgenden wird N ganzzahlig betrachtet. Der entstehende Fehler verschwindet in den obigen O-Gliedern
1/n*int(sin^2(z)/sin(z/n),z,\pi/2,N*\pi/2)=1/n*sum(int(sin^2(z)/sin(z/n),z,k*\pi/2,(k+1)*\pi/2),k=1,N-1)
Es gibt r=r(k)mit 0<=r<=1 mit
=1/n*sum(int(sin^2(z)/sin(((k+r)*\pi/2)/n),z,k*\pi/2,(k+1)*\pi/2),k=1,N-1)=
=1/n*sum(1/sin(((k+r)*\pi/2)/n)*int(sin^2(z),z,k*\pi/2,(k+1)*\pi/2),k=1,N-1)=
=1/n*sum(1/sin(((k+r)*\pi/2)/n)*int(sin^2(z),z,0,\pi/2),k=1,N-1)=
=\pi/4*1/n*sum(1/sin(((k+r)*\pi/2)/n),k=1,N-1)
5) Auswertung der Summe
Für genügend kleines x gilt
1/sin(x)=1/x+O(x)
1/sin(x)=1/x+1/sin(x)-1/x=1/x+(x-sin(x))/(x*sin(x))
abs((x-sin(x))/(x*sin(x)))<=2*abs(sum((x^(2k+1)*(-1)^k)/(2k+1)!,k=1,\inf )/x^2)=O(x)
=>1/sin(((k+r)*\pi/2)/n)=1/(((k+r)*\pi/2)/n)+O(((k+r)*\pi/2)/n)=
=1/(((k+r)*\pi/2)/n)+O(N/n)=n/k*2/\pi+O(n/k^2)+O(N/n)
8. Auswertung von I_2 (2)
I_2=\pi/4*1/n*sum(1/sin(((k+r)*\pi/2)/n),k=1,N-1)=\pi/4*1/n*sum((n/k*2/\pi+O(n/k^2)+O(N/n)),k=1,N-1)=
=1/2*sum(1/k,k=1,N)+O(1)=1/2*log(N)+O(1)
9. Ergebnis
Wähle N:=n/sqrt(log(n))
=>I_2=1/2*log(n)+O(loglog(n)) und
I_3=O(sqrt(log(n)))
=>lim(n->\inf,I/log(n))=1/2