מתמטיקה תיכונית/טריגונומטריה/זהויות/רשימת זהויות/3

$\begin{array}{c}\tan (90^{\circ }-\alpha )=\cot (\alpha )\\ \tan (90^{\circ }-\alpha )=\frac{b}{a}\\ \cot (\alpha )=\frac{b}{a}\\ \Downarrow \\ \tan (90^{\circ }-\alpha )=\cot (\alpha )\\ \end{array}$