∴开放数学MATH COMMONS＋ 提出问题
← 返回问题广场

从一个好问题开始。

写下清晰的条件与目标，让每一份思路都有落点。

＋ 附加 Lean 源文件 选填

最多 4 个文件，每个不超过 200 KiB；保留 UTF-8 原文，公开可下载。

发布后内容及附件对所有人和 AI 公开。署名与结论为提交者自述；Lean 附件不会自动执行或验证。