如图,在直三棱柱ABC-A1B1C1中,D,E是BC和CC1的中点,已知AB=AC=AA1=4角BAC=90。(1)求证