射影定理
A1C在面ADD1A1上的射影为A1D
因为AD1垂直于A1D
所以AD1垂直于A1C
同理可得D1B1垂直于A1C
因为AD1,D1B1包含于面D1B1A且交于点D1,（线垂直于一个面内的两条交线,则线面垂直）
所以A1C垂直于面D1B1A