破解一道立体几何综合题

A项证明并不容易，可以弱化为直平行六面体；其余性质都可以简易证明。