Sonec
Koliko ja shvatam, on je mislio na

.
U tom slučaju nisi dobro uneo arkustangens sa desne strane u program.
Jednakost se može dokazati tako što se prvo sve prebaci na levu stranu, onda izračuna izvod leve strane, dokaže da je jednak nuli (što znači da je leva strana konstantna), a onda izračuna vrednost leve strane u bar jednoj tački (npr. za

).
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.