余弦定理和正弦定理都反映了同一三角形中边、角之间的度量关系，是解斜三角形的重要工具：你能总结解斜三角形的类型吗？

4、写出余弦定理（只写一个公式即可），并加以证明．

类比余弦定理，在△DEF中有余弦定理：DE²=DF²+EF²-2DF•EF∠DFE．拓展到空间，类比三角形的余弦定理，写出斜三棱柱ABC-A₁B₁C₁BC的3个侧面面积之间的关系式（其中θ为侧面为ABB₁A₁与BCC₁B₁所成的二面角的平面角）．