空间中ABC三点的连线恰构成一直角三角形,角C=30°