Sin²αSin²β+Cos²αCos²β-1/2Cos2αCos2β
=Sin²αSin²β+Cos²αCos²β-1/2(Cos²α-Sin²α)(Cos²β-Sin²β)
=Sin²αSin²β+Cos²αCos²β-1/2(Cos²αCos²β-Cos²αSin²β-Sin²αCos²β+Sin²αSin²β)
=1/2(Cos²αCos²β+Cos²αSin²β+Sin²αCos²β+Sin²αSin²β)
=1/2(Cos²α+Sin²α)(Cos²β+Sin²β)
=1/2
Sin²αSin²β+Cos²αCos²β-1/2Cos2αCos2β
=Sin²αSin²β+Cos²αCos²β-1/2(Cos²α-Sin²α)(Cos²β-Sin²β)
=Sin²αSin²β+Cos²αCos²β-1/2(Cos²αCos²β-Cos²αSin²β-Sin²αCos²β+Sin²αSin²β)
=1/2(Cos²αCos²β+Cos²αSin²β+Sin²αCos²β+Sin²αSin²β)
=1/2(Cos²α+Sin²α)(Cos²β+Sin²β)
=1/2