因AB⊥面BB1C1C,故AB⊥BE.
又EB1⊥EA,且EA在面BCC1B1内的射影为EB.
由三垂线定理的逆定理知EB1⊥BE,因此BE是异面直线AB与EB1的公垂线,
在平行四边形BCC1B1中,设EB=x,则EB1=√(4-x)²
未完待续