题目

已知圆的方程为，在圆上任取一点，过点作轴的垂线段，为垂足。当点在圆上运动时，求线段的中点的轨迹方程。 答案： 如图，三角形ABC中，AC=BC=AB，ABED是边长为1的正方形，平面ABED⊥底面ABC，若G、F分别是EC、BD的中点。（Ⅰ）求证：GF//底面ABC；（Ⅱ）求证：AC⊥平面EBC；（Ⅲ）求几何体ADEBC的体积V。