1. (2017·湘西模拟) 《九章算术》中，将底面为长方形且有一条侧棱与底面垂直的四棱锥称之为阳马，将四个面都为直角三角形的四面体称之为鳖臑．如图，在阳马P﹣ABCD中，侧棱PD⊥底面ABCD，且PD=CD，过棱PC的中点E，作EF⊥PB交PB于点F，连接DE，DF，BD，BE．

1. （1） 证明：PB⊥平面DEF．试判断四面体DBEF是否为鳖臑，若是，写出其每个面的直角（只需写出结论）；若不是，说明理由；
3. （2） 若面DEF与面ABCD所成二面角的大小为 ，求 的值．