在线a和点A1的平面内做线c平行线a,过B点做B1垂直线c,垂足为B1;
在线b和c共面的平面内,做B1垂直线b,垂足为C;可证面BB1C垂直面bc,连接BC,可证BC是B点到线b的垂线段.
BC=√17(17的算术平方根)