Ansatz mit dem gleichen Trick wie man etwa den Log. integriert:
∫1∗earcsin(x)dx
und die 1 integrieren und den anderen Faktor ableiten gibt
=x∗earcsin(x)−∫x∗1−x21∗earcsin(x)dx
=x∗earcsin(x)−∫1−x2x∗earcsin(x)dx
und dann das 2. Integral nochmal partiell gibt
=x∗earcsin(x)−(−1−x2∗earcsin(x)−∫−1−x2∗1−x2earcsin(x)∗dx)
=x∗earcsin(x)+1−x2∗earcsin(x)+∫−earcsin(x)dx
=x∗earcsin(x)+1−x2∗earcsin(x)−∫earcsin(x)dx
Wenn du jetzt das ganze nochmal von vorne liest, hast du die Gleichung
∫earcsin(x)dx=x∗earcsin(x)+1−x2∗earcsin(x)−∫earcsin(x)dx
und bringst dann dass rechte Integral rüber und hast
2∗∫earcsin(x)dx=x∗earcsin(x)+1−x2∗earcsin(x)
Jetzt noch durch 2 teilen: Fertig!