NORTH STAR / 长期目标
学到什么程度才算真正掌握?
在限时条件下提出关键引理并写出无跳步证明,赛后能把失败归因到知识、洞察或表达。
题型、证明与周期训练Mathematics · Computational Science · Engineering · Personal Knowledge Systems
切换会载入对应网站形态,并更换导航、首页结构、内容密度、页面网格与阅读路径;当前路径及其他查询参数会保留。
预览卡展示真实构图语言;切换后会同步改变布局密度、卡片几何、按钮、边框、HUD、背景纹样与动效节奏。
0% 会停止装饰动画并隐藏粒子;系统开启“减少动态效果”时始终优先静态显示。
0% 会移除上层面板遮罩,100% 为完全不透明;文字和控件始终保持清晰。
系统已启用减少透明效果:背景模糊会关闭,但仍采用你设置的面板不透明度。
OLY-M / CREATIVE PROOF
按代数、数论、组合、几何四大题型构建证明能力,以周周期和赛季周期管理训练;重视独立思考、精写证明和间隔复做,而非追求题量。
NORTH STAR / 长期目标
在限时条件下提出关键引理并写出无跳步证明,赛后能把失败归因到知识、洞察或表达。
题型、证明与周期训练PREREQUISITES / 先修检查
FOUNDATIONS / 地基
STAGED ROUTE / 阶段路线
阶段可并行回看;勾选只表示完成过该阶段的产出与自检,不代表永久掌握。
四大模块各建立 20 个母题与方法卡。
能识别题目跨模块的连接。
稳定选题、时间分配和书写。
保持手感和状态,不突击陌生高难专题。
KNOWLEDGE MAP / 知识地图
输入关键词或选择分类;按 / 可快速聚焦搜索,Esc 清空。
5 个知识节点
从结构化变形、函数性质和等号条件寻找可证明的界。
整除、同余和估值把整数的离散限制转化为局部信息。
通过双计数、鸽巢、不变量和极值选择处理离散配置。
用角、比、幂和变换在图形中建立可追踪的不变量。
奥赛能力来自长时间独立探索、可评分表达和有间隔的再提取。
换一个更短的关键词,或清空分类后再试。
OUTPUT LAB / 练习与项目
项目不是装饰:交付物、检查点与复盘记录缺一不可。
每模块 20 题,记录触发信号、关键引理和变式。
计时、选题、完整答卷和评分复盘档案。
连接 80 个常用定理、条件、等号和反例。
REFERENCE SOURCES / 可核验资料
外部页面可能更新;课程顺序以本页路线为导航,资料以来源明确、可核验为优先。