已知三棱柱ABC-A1B1C1的底面三角形ABC是直角三角形,四边形A1