跳到主要内容

已知作图结论

GeoChat 是一款把 AI 和 GeoGebra 放在一起的桌面数学工具。输入一道题,它会规划构造步骤,把 GeoGebra 命令写入画板,并说明每一步的依据。

macOS 与 WindowsApache-2.0 开源数据留在本机

ABCO
已知条件与陈述作图过程与中间量结论与求解结果

GeoChat 能做什么

下面是桌面版目前已经支持的功能。

已知条件与陈述

数据留在本机

对话、画板状态和运行记录保存在本机的 SQLite 文件中。不需要账号,也不做云端同步。

./data/geochat-desktop.sqlite

OPT

用你自己的模型密钥

在设置中填写模型供应商的 API key。请求从你的电脑直接发往供应商,不经过 GeoChat。

OpenAI · Anthropic · Google · DeepSeek · 阿里云百炼 · OpenRouter

作图过程与中间量

AB

把命令写入 GeoGebra

GeoChat 会向内置的 GeoGebra 画板写入真实命令。生成的图形可以拖动、度量和继续编辑。

O = Intersect(m_1, m_2)

平面与立体在同一块画板

内置 GeoGebra 运行环境,平面几何、解析几何、函数图像和立体几何都可以在同一个工作区中完成。

结论与求解结果

G

查看每一步

构造计划、工具调用和思考过程会按顺序显示在对话中,你可以逐条检查。

题库与导出

可以导入本地题库批量过题,画板随时导出为 .ggb 文件,交给学生或同事在他们自己的 GeoGebra 里继续用。

*.ggb

一道题如何在画板中完成

读题、规划、写入命令、讲解,四个阶段都由桌面端负责,只有模型推理需要联网。

已知 △ABC,求作它的外接圆。

ABCO
A = (-3, -1)B = (3, -1)C = (1, 3)m_1 = PerpendicularBisector(A, B)m_2 = PerpendicularBisector(B, C)O = Intersect(m_1, m_2)k = Circle(O, A)SetCaption(O, "外心")
  1. 读题

    识别题目中的已知条件、限制和目标。

  2. 规划

    确定构造顺序,以及每一步需要使用的几何对象。

  3. 编译

    把构造方案转换为 GeoGebra 命令,并逐条写入画板。

  4. 讲解

    说明这些对象为什么能得到题目要求的结论。

完整演示

从输入题目到画板完成,按实际速度播放。

桌面版界面

画板是主视图,对话面板可以收起和移动。模型配置和其他选项都在本机的设置页面中。

GeoChat 桌面版界面:左侧 GeoGebra 画板,右侧浮动 AI 对话面板。

常见问题

必须联网吗?
画板、数据库和其他本地功能都不需要联网。只有模型推理需要联网,请求会从你的电脑直接发往已配置的供应商。
要花钱吗?
应用本身开源免费,采用 Apache-2.0 许可证。你只需要为自己的模型调用向供应商付费,费用和额度都在他们那边,我们看不到也收不到。
我的题目会被上传给你们吗?
不会。我们没有接收数据的服务器。题目会作为提示词发送给你自己配置的模型供应商,那部分数据受该供应商的隐私政策管辖。
支持哪些模型供应商?
内置 OpenAI、Anthropic、Google、DeepSeek、阿里云百炼和 OpenRouter 的配置,也可以在设置里手动添加兼容的自定义供应商和模型。
有 Linux 版吗?
目前的打包流水线只产出 macOS 和 Windows 安装包。Linux 可以从源码构建,仓库里有完整的构建说明。
为什么打开时提示「无法验证开发者」?
安装包没有做代码签名。这需要每年向 Apple 和证书机构付费,对一个独立开源项目来说暂时不划算。下载页有两个平台的具体处理步骤。

装上,给它一道题

开源、免费、不需要注册。你需要准备的只有一个模型供应商的 API key。