你的辅助线是对了
先建系，在把每个有用的坐标表示出来，在把有关线段的向量算出来，在用你们老师教的一大堆公式算，大约半叶纸可以证出来
在B1C取一点F，连接AF,A1F.则DF⊥AA1因为D是中点在BC上取中点E,则AE⊥BC,因为AB=AC,得之DF〃AE，连接EF,FC1,得AD〃EF,既AE⊥面BCB1C1,所以DF⊥面BCB1C1,所以面DCB1⊥面BCB1C1
