以下*表示垂直（电脑上找不到这个符号）
因为AD*面ABE,又AE在面内,所以AD*AE
由矩形ABCD,所以AD平行于BC,所以BC*AE
BF*面ACE,又AE在面内,所以AE*BF
因为BF与BC交于B点,所以AE*面BEC,BE在面内,所以AE*BE