M(ADC)=M(BAC)=90⁰
│AB│= x
│DC│= y
M(DAC)=θ
xy =?
ADC dik üçgeninde sinθ=y|AC| ve,
ABC dik üçgeninde sin(90−θ)=x|AC| dir.
Bulduğumuz bu iki eşitlikten ikincisini birincisine taraf tarafa bölersek,
cosθsinθ=xy⇒cotθ=xy bulunur.