点数充值
充值点数后，你可以按需使用自然语言翻译、形式化平面几何求解和自然语言讲解。不同操作分别消耗点数，余额永久累加，不按月清零。
它是如何工作的
1自然语言输入
用日常语言描述几何题，无需学习任何形式化语法。
2形式化平面几何求解
题目被翻译为精确的形式化命题，由几何求解器进行严格推理。
3自然语言 + 动画输出讲解
求解过程被还原为通俗的文字讲解，并配动画逐步演示。
价格方案
体验包
¥4.9
适合首次体验
获得 1000 点
标准包
¥19.9
适合日常学习
获得 6000 点
推荐
超值包
¥49.9
适合高频使用
获得 24000 点
以上均为一次性充值。点数可累计，不自动续费，也不会按月清零。