⑵证明:作的中点F,连结.
∴.
∵面,∴,
又,∴面.
∵面,∴.
16⑴证明:连结,则//, ∵是正方形,∴.
所以的最大值为,此时三角形ABC为钝角三角形。
(2)由(1)可知A、B为锐角
(定值)