古希腊智人学派提出的尺规作图三大难题最终被证明是不可能的，其中1837年，解析几何发明200年后，法国数学家旺策儿给出了（ ）的不可能性证明。