Koristit ćemo adicijsku formulu za tangens,
tg(x−y)=1+tgxtgytgx−tgy,
tj. jednakost
tgxtgy=tg(x−y)tgx−tgy−1.
Uvrstimo x=n+1, y=n:
tg(n+1)tgn=tg1tg(n+1)−tgn−1.
Zbrajanjem se ponište svi članovi osim prvog i posljednjeg:
n=1∑2012tgntg(n+1)=tg1tg2−tg1−1+tg1tg3−tg2−1+⋯+tg1tg2013−tg2012−1=tg1tg2013−tg1−2012=tg1tg2013−2013.