在直三棱柱ABC-A'B'C'中求证AB=AC=BC