1行目はすべて１

3行目は(tanα)^2・・・一意に決まる

2行目は2項の積が(secα)^2・・・一意に決まらないが、

(tanα)^2-(secα)^2=1

を満足する。どれかを一意に決めればすべて一意となる。

4行目は(tanα)^2(tanβ)^2-(secα)^2(secβ)^2=1？

(sinα)^2(sinβ)^2-1=(cosα)^2(cosβ)^2？

1/4{cos(α+β)-cos(α-β)}^2-1/4{cos(α+β)+cos(α-β)}^2=1?

-cos(α+β)cos(α-β)=1

-1/2{cos(2α)+cos(2β)}=1

5行目は4行目の2項の積が1であれば、０になる。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝