互动几何:平行公理与三角形内角和的可视化证明