Metamath Proof Explorer


Table of Contents - 20.45.5. Reciprocal trigonometric functions (sec, csc, cot)

Define the traditional reciprocal trigonometric functions secant (sec), cosecant (csc), and cotangent (cos), along with various identities involving them.

  1. csec
  2. ccsc
  3. ccot
  4. df-sec
  5. df-csc
  6. df-cot
  7. secval
  8. cscval
  9. cotval
  10. seccl
  11. csccl
  12. cotcl
  13. reseccl
  14. recsccl
  15. recotcl
  16. recsec
  17. reccsc
  18. reccot
  19. rectan
  20. sec0
  21. onetansqsecsq
  22. cotsqcscsq