Du hast doch schon gezeigt:
arccos(x) ist eine Stammfunktion für 1 / √(1-x2) also auch
- arccos(x) ist eine Stammfunktion für - 1 / √(1-x2)
Also ist das Integral über -1 / √(1-x2) dx von y bis 1
= - arccos(1) - (-arccos(y) )
= 0 + arccos(y) = arccos(y) . q.e.d.