p*sinαsinβ+q*cosαcosβ=0 のとき
p*sin^2α+p*sin^2β+q*cos^2α+q*cos^2β=(p+q)*sin^2(α-β) は成り立ちますか?