正方体棱长为a,M是棱AA′的中点,点O是对角线BD′中点.求证OM为AA′和 BD'公垂线,计算这两条直线的距离