Herleitung ueber Additionstheorem der Arccos-Funktion
arccos(x)+arccos(y)=arccos(x*y-sqrt(1-x^2)*(sqrt(1-y^2)), x+y>=0
arccos(x)+arccos(y)=2*Pi-arccos(x*y-sqrt(1-x^2)*(sqrt(1-y^2)), x+y<0
http://www.matha.rwth-aachen.de/lehr...na2/formel.pdf
2*arccos(x)=arccos(x)+arccos(x)
arccos(x)+arccos(x)=arccos(x*x-sqrt(1-x^2)*(sqrt(1-x^2))=
arccos(x)+arccos(x)=arccos(x^2-(1-x^2)*)=
arccos(x)+arccos(x)=arccos(2*x^2-1)
Randbemerkung :
Folgende DZGL ist somit loesbar
f[k]=f[k-1]*f[k-2]-sqrt(1-f[k-1]^2)*(sqrt(1-f[k-2]^2)