Trigonometrik kimlikleri kanıtlamakta zorlanıyorum: 1/(sec X + tan X) = sec X - tan X eşitliğini nasıl gösteririm? Mathematica for Students'ta doğrulama yapabilir miyim?

Trigonometrik eşitliği kanıtlamak için pay ve paydayı (sec X - tan X) ile genişletin: (1/(sec X+tan X))·((sec X‑tan X)/(sec X‑tan X)) = (sec X‑tan X)/(sec²X‑tan²X). Kimlik sec²X‑tan²X = 1 olduğundan sonuç sec X‑tan X olur. Mathematica’da Simplify[1/(Sec[x]+Tan[x])]==Sec[x]-Tan[x] komutuyla doğrulayabilirsiniz.