在程序语言中，下列符号分别表示什么运算 * ；＼ ；∧ ；SQR（ ） ；ABS（ ）？
（14分）在空间直角坐标系中，已知A（3，0，1）和B（1，0，－3），试问
（1）在y轴上是否存在点M，满足
？（2）在y轴上是否存在点M，使△MAB为等边三角形？若存在，试求出点M坐标．
（14分）如图，已知正方体
的棱长为a，M为
的中点，点N在
上，且
，试求MN的长．
（12分）已知
，
，
，求证其为直角三角形．
（12分）如图，已知矩形ABCD中，
，
．将矩形ABCD沿对角线BD折起，使得面BCD⊥面ABD．现以D为原点，DB作为y轴的正方向，建立如图空间直角坐标系，此时点A恰好在xDy坐标平面内．试求A，C两点的坐标．
（12分）如图，在四棱锥P－ABCD中，底面ABCD为正方形，且边长为2a，棱PD⊥底面ABCD，PD=2b，取各侧棱的中点E，F，G，H，写出点E，F，G，H的坐标．
