1+tanθ~2 = 1/cosθ~2　って式はどこから生まれたのでしょうか。
どういう過程で思いつき、
証明するにしても、他の式を使っていて、いわば派生的な、副次的な式だと思うのですが。
↓から演繹するのではなく、すぱっと理解できる説明はありますか？
tanθ=sinθ/cosθ,sin~2θ+cos~2θ=1は直感的にわかるのですが。