tg([p/2+kp]-x) = 1/tg(x) voor kÎ
en alle x die geen veelvoud zijn van p/2.Vertrek hierbij van de definitie van tg als sin/cos en niet van tg(a-b), aangezien in die uitdrukking tg(a) voorkomt en die bestaat hier niet. Hieruit volgt dan dat
p/2 + kp - bgtg(y) = bgcotg(y)
De gebruikelijke definities van bgtg en bgcotg (kijk naar het bereik van deze functies!) komen overeen met het geval k=0 zodat het gevraagde bewezen is.
cl
11-10-2004