直三棱柱,已知A1B1=B1C1=1,∠A1B1C1=90°,AA1=4,BB1=2,CC1=3,设点O是AB的中点,证