O primitiva a functiei 1 / (1+t²) este functia arctg t .
De aceea egalitatea de demonstrat este:
arctg x - arctg 1
=
arctg 1 - arctg(1/x)
Deoarece arctg 1 = pi / 4 avem echivalent de aratat:
arctg (x/1) + arctg (1/x) = pi/2 .
La nivel de liceu (fie deriam si vedem ca avem o functie constanta pe (0,+oo), fie...) ne uitam la triunghiul cu catetele 1 si x, pe partea dreapta a egalitatii de demonstrat avem suma unghiurilorascutite din acest triunghi dreptunghic.