余接定理
余接定理により正接定理が証明されるほか、以下のように他のいくつかの公式の証明にも適用される。