几何问题代数化