因為AB=CC1且三棱鏡是直三棱鏡，所以AA1垂直於A1C1(直三棱鏡的側邊垂直於底面)。
而ABB1A1是正方形，那麽A1B垂直於abb 1(正方形的對角線)。
因為AB1垂直於BC1，A1B垂直於AB1，A1B與BC1相交於B點，所以AB1垂直於平面A1BC1(第壹線平面垂直)。
當AB1垂直於A1C1時(第壹次得到線與平面垂直的結論)，AA1垂直於A1C1，AB1在A點與AA1相交，於是得到A1C65438。
所以AC1垂直於AB。
證明結束
需要豎著推兩次線~是中文寫的，如果寫在紙上翻譯成數學符號會更好看~