简介这份人教版五年级上册数学知识点汇总以PDF形式呈现面向五年级学生、家长及数学教师用于课前预习、单元复习与期末查漏补缺。文件共1个为113KB的PDF文档篇幅精简、目录清晰按教材顺序梳理七个单元小数乘法、位置、小数除法、可能性、简易方程、多边形面积和植树问题便于快速定位薄弱环节。内容覆盖小数乘除法的意义与计算方法、积与商的变化规律、近似数求法、运算定律与性质、数对定位、方程与等式性质、多边形面积公式及变式、植树问题等核心考点并附有数量关系式和示例说明适合打印随身查阅或作为课堂补充讲义。目前已有88人学习下载可作为系统梳理知识框架、巩固计算与解题方法的便携资料。1. 人教版五年级上册数学知识点汇总.pdf 的二次加工路径把一份人教版五年级上册数学知识点汇总.pdf 拆开看它本质上是一份用自然语言写的规则集七个单元、38 条编号知识点混排着定义、公式、变式和注意事项公式里还夹着全角空格和几个明显录错的表达式。对工程视角来说这是一份非常典型的非结构化语料——它可以变成能检索、能出题、能自动校验的数据资产但前提是走完抽取、清洗、建模、校验、生成这一整条链路。适合三类人动手做教育类产品的后端或数据同学需要把教辅 PDF 变成知识点检索和题库带娃的工程师想按薄弱单元定向生成练习还有做文档解析的同行这份文件里的目录点线、公式断字、错公式是很好的脏数据样本。下面按我实际拆这份文件的顺序推进先抽文本并规整公式串再建单元—条目—公式三级结构然后把公式写成可执行代码跑断言最后反向生成练习并做答案自校验。2. 抽取与清洗从 pdfplumber 到公式串规整2.1 先判断有没有文本层动手前先确认这份 PDF 是文字版还是扫描件判断方式很直接逐页读page.chars长度接近 0 说明没有文本层得先上 OCR。import pdfplumber with pdfplumber.open(人教版五年级上册数学知识点汇总.pdf) as pdf: for i, page in enumerate(pdf.pages, start1): # chars 是字符级对象列表空列表意味着这一页是图片 print(i, len(page.chars), len(page.extract_text() or ))这份资料是文字版 PDF目录页和正文页都有字符对象所以直接用文本抽取即可不必引入 OCR 链。如果碰到扫描件常见做法是先跑一遍 OCR 拿到带坐标的文本框再复用后面的清洗逻辑抽取层换掉、清洗层不用动。2.2 抽取参数怎么调抽取函数本身很短坑主要在容差参数上。import re import pdfplumber PDF_PATH 人教版五年级上册数学知识点汇总.pdf def extract_pages(path): pages [] with pdfplumber.open(path) as pdf: for i, page in enumerate(pdf.pages, start1): # x_tolerance同一行内相邻字符的水平容差默认 3 # 调小到 1.5 可避免公式里 a 和 h 被粘成一个词 # y_tolerance换行判定容差公式行字距大时放宽到 3~5 # 防止把相邻两行并成一行 txt page.extract_text(x_tolerance1.5, y_tolerance3) or pages.append({page: i, text: txt}) return pageslayoutTrue会按坐标补空格来还原版式对正文段落有用但这份文件的公式本身字距就大开启后S 平aXh会变成一堆散字符所以我一般不开。另外一个折中是分区域抽目录页单独走后处理正文页用默认参数。2.3 脏数据类型与清洗策略原文抽取出来最典型的几类噪声如下表。这份文件的问题不在字符识别而在排版与录入。现象原文示例成因处理方式目录点线加页码第一单元小数乘法 ...... 2制表位渲染正则删除连续点线与尾部页码运算符两侧空格0.6 ÷0.3、S 平aXh中西文混排去掉数字与运算符之间的空白中文被断开第 一 单 元字距过大触发分词合并相邻中文字符间的空格上标丢失a× a可以写作a· a或 a上标a²丢失打标记留人工补写不入公式字段省略号被拆6.3232⋯ 的循环节是 32连续 被切段合并连续省略号对应实现DOT_LEADER re.compile(r\.{3,}\s*\d*) # 目录点线与页码 FULLWIDTH_SPACE re.compile(r[\u3000\u00a0]) # 全角空格、不换行空格 DIGIT_SPACE re.compile(r(?\d)\s(?[\d.÷×])) # 数字与运算符间空白 CJK_SPACE re.compile(r(?[\u4e00-\u9fff])\s(?[\u4e00-\u9fff])) ELLIPSIS re.compile(r⋯\s*⋯) def clean(text: str) - str: text FULLWIDTH_SPACE.sub( , text) text DOT_LEADER.sub(, text) text ELLIPSIS.sub(⋯, text) text DIGIT_SPACE.sub(, text) text CJK_SPACE.sub(, text) return re.sub(r\s{2,}, , text).strip()DIGIT_SPACE用后向断言和前向断言夹住空白只删数字与运算符之间的空格不会误伤正文里正常的词间空格。CJK_SPACE同理只在两个中文字之间合并遇到保留两位小数表示计算到分这种正常句子不会动。注意循环小数的简写记法依赖顶部小点纯文本抽取必然丢失。6.3232⋯⋯ 的循环节是 32抽完后简写会退化成6.32和普通小数无法区分这类条目要在结构化时单独打notation_lost标记。2.4 按条目边界重新聚合段落抽取结果是按视觉行切的一条知识点常被拆成多行。源文件的编号格式很稳定用^\d{1,2}\s*、当条目起点重新拼接即可。ITEM_START re.compile(r^(\d{1,2})\s*、) def regroup(paragraphs): items, cur [], None for line in paragraphs: m ITEM_START.match(line) if m: # 命中编号开一条新条目 if cur: items.append(cur) cur {no: int(m.group(1)), raw: line} elif cur: cur[raw] line # 续行并入上一条 if cur: items.append(cur) return items判断依据是编号连续性和语义完整性源文件正好从 1 号排到 38 号缺号或重号说明有页眉页脚混入需要回看对应页。这一步做完就能得到 38 条带编号的原始条目进入建模环节。3. 知识点建模单元、条目、公式三级结构3.1 为什么不直接全文检索全文检索能回答「哪里提到梯形」回答不了「梯形面积公式的变式有几个」。公式要参与计算和断言校验字符层面匹配无法判断S 梯abX2和上底下底×高÷2是不是同一条。所以结构要拆到公式粒度字段设计如下表。层级字段说明unitunit_no、unit_name七个单元用于按单元组卷itemitem_no、title、category条目编号对应源文件 1~38category取定义/公式/规律/方法ruleexpr、variants、notes可执行表达式、变式、注意事项metasource_page、defects回溯源文件页码记录疑似录入错误的字段3.2 解析脚本骨架import re UNIT_RE re.compile(r第([一二三四五六七])单元\s*(.*)) def split_units(pages): result, cur [], None for p in pages: for line in p[text].split(\n): m UNIT_RE.search(line) if m and 单元 in line and len(line) 30: # 排除目录页的长行 cur {unit_name: f第{m.group(1)}单元, items: []} result.append(cur) elif cur: cur[items].append(line) return result这里加len(line) 30是为了跳过目录页——目录里每一行都含「第X单元」长度却远超正文标题靠长度就能过滤掉比按页码硬编码稳。3.3 入库前的四条校验规则结构化的价值在于能被机器检查我一般在写库前跑这四条from sympy import Symbol, parse_expr def validate(units, items): assert [u[unit_name] for u in units] [f第{c}单元 for c in 一二三四五六七], 单元顺序异常 nos sorted(i[no] for i in items) assert nos list(range(1, 39)), f条目编号不连续{set(range(1,39)) ^ set(nos)} for i in items: assert i.get(title) or i.get(expr), f第{i[no]}条既无标题也无公式 if i.get(expr): parse_expr(i[expr], local_dict{s: Symbol(s) for s in abchS})第一条保证七单元顺序与课本一致第二条检查 1 到 38 号无缺无重第三条防止空条目静默入库第四条交给 sympy 做语法解析Sa*h这类表达式能过S a X h里误写成大写 X 的乘法符号会直接抛异常暴露出来。提示parse_expr只校验语法不校验量纲。S 正a×a能过解析但S 长ab同样能过——量纲要靠第 4 章的数值断言兜。以第六单元为例结构化后的落盘形态大致是{ unit_name: 第六单元, items: [ { no: 26, title: 多边形面积公式与变式, category: 公式, rules: [ {shape: 平行四边形, expr: S a * h, variants: [h S / a]}, {shape: 三角形, expr: S a * h / 2, variants: [h S * 2 / a]}, {shape: 梯形, expr: S (a b) * h / 2, variants: [h S * 2 / (a b), a S * 2 / h - b]} ], source_page: 8, defects: [原文 S 梯abX2 缺少 ×高÷2] } ] }variants字段是这份教辅里最值得保留的部分第 26 条明写了「已知面积和底求高」「已知面积与上下底之和求高」这些变式正是出题和判题要用的单独抽出来比塞在正文里有用得多。4. 公式可执行化把 38 条规则变成能跑的断言4.1 为什么要写成函数图片版公式只能在脑子里验算代码版公式可以跑测试。第七单元的植树问题有四种情形加上封闭图形和锯木头光靠记忆极容易在「两端都栽」和「两端都不栽」之间差 2。写成函数以后参数一变结果是不是符合直觉一眼就能看出来。4.2 植树问题的四种情形def trees_line(length, gap, both_endsTrue, two_sidesFalse): 不封闭路段栽树。 length/gap 需同单位返回棵数。 seg length // gap # 间隔数 cnt seg 1 if both_ends else seg - 1 return cnt * (2 if two_sides else 1) def trees_ring(perimeter, gap): 封闭图形圆、正方形跑道四周栽树棵数等于间隔数。 return perimeter // gap def saw_cuts(total_time, segments): 锯木头切的次数是段数减一返回每切一次用时。 return total_time / (segments - 1)参数说明both_ends控制两端是否栽对应原文第 34 条的1到4四种组合two_sides表示路的两边都栽内部乘 2与原文「一条路的两边两端都栽路长÷间隔1×2」一致gap用整除是因为教材场景下路长通常是间隔的整数倍遇到不整除要单独报数据异常而不是静默取整。配一组断言把四种情形钉死assert trees_line(100, 5) 21 # 一端两端都栽 assert trees_line(100, 5, both_endsFalse) 19 # 一端两端不栽 assert trees_line(100, 5, two_sidesTrue) 42 # 两边两端都栽 assert trees_line(100, 5, both_endsFalse, two_sidesTrue) 38 assert trees_ring(100, 5) 20 # 封闭图形 assert saw_cuts(12, 4) 4 # 12 分钟锯成 4 段每切 4 分钟注意saw_cuts里segments传的是段数不是切数。原文写的是「锯一段木头时间总时间÷段数-1」措辞容易让人把段数和切数弄混函数签名直接写成segments就是为了避免这个歧义。4.3 鸡兔同笼与方程法原文给了两种算术假设法和一种方程法。假设法本质是同一个式子的两种写法代码里只需实现一次。def chicken_rabbit(heads, legs): 假设全是兔多出来的脚数除以 2 就是鸡的只数。 extra heads * 4 - legs # 把每只鸡当兔多算了 2 只脚 chickens extra // 2 return chickens, heads - chickens assert chicken_rabbit(35, 94) (23, 12) # 鸡 23 只兔 12 只对应原文的方程法设兔 x 只鸡为heads - x方程为4x 2*(heads - x) legs。把chicken_rabbit的结果代回去做恒等校验能反向验证两种方法一致def check_equation(heads, legs, rabbits): return 4 * rabbits 2 * (heads - rabbits) legs assert check_equation(35, 94, 12)4.4 源文件里的几处公式缺陷清洗阶段打defects标记的条目到这里会变成真实的断言失败。把失败项汇总成清单比逐条肉眼校对高效得多。位置原文问题修正第 26 条S 梯abX2缺×高÷2S(ab)*h/2第 26 条三角形的面积 底 X 宽高÷2「宽高」应为「高」Sa*h/2第 23 条所有的方程都是等式但等式不一定都是等式后半句应为「方程」等式不一定都是方程鸡兔同笼方程法设兔子有 x 只则兔子脚有 2x 只兔脚应为4x4x 2*(总头数-x)第 23 条的错法很典型它是「方程一定是等式等式不一定是方程」这句话在改写时把关键词替换错了。这种错误不会影响任何计算却会直接影响孩子对概念边界的理解所以断言之外还得加一层关键词规则检查凡出现「不一定都是」的句子前后两个名词必须不同。再补一组几何关系断言把原文第 31、32 条的结论固定下来def isosceles_area_relation(base, height): 等底等高平行四边形面积是三角形的 2 倍。 return base * height, base * height / 2 def frame_pull(base, side, new_height): 长方形框架拉成平行四边形周长不变面积变小。 rect_p 2 * (base side) para_p 2 * (base side) return rect_p para_p, base * new_height base * side第二个函数一次返回两个布尔量正好覆盖原文那两句话任何一个为 False 都说明参数取反了。5. 反向生成练习模板渲染、去重与答案自校验结构化完成、公式可执行之后出题就是拼装的事。思路是从rules里取公式随机生成满足约束的参数代入函数求答案再用模板渲染成题干和解析。import hashlib from decimal import Decimal, ROUND_HALF_UP from jinja2 import Template TPL Template( 【{{ unit }}】{{ title }} 题干{{ stem }} 答案{{ answer }} 解析{{ solution }} ) def money(x): 钱数保留两位小数表示精确到分用 Decimal 避免浮点误差。 return Decimal(str(x)).quantize(Decimal(0.01), roundingROUND_HALF_UP) def gen_tree_item(): gap 5 seg 20 trees trees_line(seg * gap, gap) # 复用第 4 章的公式函数 stem f一条 {seg * gap} 米长的路每隔 {gap} 米栽一棵树两端都栽共栽多少棵 return { unit: 第七单元, title: 植树问题, stem: stem, answer: trees, solution: f间隔数 {seg * gap} ÷ {gap} {seg}两端都栽加 1得 {trees} 棵 } def fingerprint(item): 题干加答案做哈希用于跨批次去重。 raw item[unit] item[stem] str(item[answer]) return hashlib.md5(raw.encode(utf-8)).hexdigest()money用Decimal而不是原生的float是因为小数乘法这一单元的重点就是积的小数位数和末位 0 的化简float运算会把0.1 0.2变成0.30000000000000004虽然后续用round能盖住但生成的解析里会露出长尾家长一眼就看出不对劲。ROUND_HALF_UP对应教材里的四舍五入法跟round()默认的银行家舍入不是一回事round(2.5)得 2 而教材要求得 3这个差异必须显式处理。生成环节还要过三道筛子一是数值合理性除法场景要求能除尽除不尽时按原文第 14 条标记为循环小数单独成卷二是去重用fingerprint建索引同一批次内重复直接丢弃三是答案自校验把生成题干里的数字重新解析出来代回公式函数与写入的答案比对不一致就整条丢弃而不是人工修。def self_check(batch): seen, kept set(), [] for item in batch: fp fingerprint(item) if fp in seen: continue seen.add(fp) kept.append(item) return kept最后是导出格式。需要纸质练习就渲染成 Markdown需要重复记忆就导出 Anki 可导入的 TSV字段依次是题干、答案、解析、单元标签用制表符分隔换行符在写入前统一替换成br以免破坏行结构。带娃的工程师还可以按defects字段把第 26 条梯形面积、第 23 条方程与等式的辨析单独抽成一份纠错卷——那些正是源文件自己出错的地方也最值得多练两遍。本文还有配套的精品资源点击获取 从教辅 PDF 到可执行题库：知识点抽取、建模与出题校验
简介这份人教版五年级上册数学知识点汇总以PDF形式呈现面向五年级学生、家长及数学教师用于课前预习、单元复习与期末查漏补缺。文件共1个为113KB的PDF文档篇幅精简、目录清晰按教材顺序梳理七个单元小数乘法、位置、小数除法、可能性、简易方程、多边形面积和植树问题便于快速定位薄弱环节。内容覆盖小数乘除法的意义与计算方法、积与商的变化规律、近似数求法、运算定律与性质、数对定位、方程与等式性质、多边形面积公式及变式、植树问题等核心考点并附有数量关系式和示例说明适合打印随身查阅或作为课堂补充讲义。目前已有88人学习下载可作为系统梳理知识框架、巩固计算与解题方法的便携资料。1. 人教版五年级上册数学知识点汇总.pdf 的二次加工路径把一份人教版五年级上册数学知识点汇总.pdf 拆开看它本质上是一份用自然语言写的规则集七个单元、38 条编号知识点混排着定义、公式、变式和注意事项公式里还夹着全角空格和几个明显录错的表达式。对工程视角来说这是一份非常典型的非结构化语料——它可以变成能检索、能出题、能自动校验的数据资产但前提是走完抽取、清洗、建模、校验、生成这一整条链路。适合三类人动手做教育类产品的后端或数据同学需要把教辅 PDF 变成知识点检索和题库带娃的工程师想按薄弱单元定向生成练习还有做文档解析的同行这份文件里的目录点线、公式断字、错公式是很好的脏数据样本。下面按我实际拆这份文件的顺序推进先抽文本并规整公式串再建单元—条目—公式三级结构然后把公式写成可执行代码跑断言最后反向生成练习并做答案自校验。2. 抽取与清洗从 pdfplumber 到公式串规整2.1 先判断有没有文本层动手前先确认这份 PDF 是文字版还是扫描件判断方式很直接逐页读page.chars长度接近 0 说明没有文本层得先上 OCR。import pdfplumber with pdfplumber.open(人教版五年级上册数学知识点汇总.pdf) as pdf: for i, page in enumerate(pdf.pages, start1): # chars 是字符级对象列表空列表意味着这一页是图片 print(i, len(page.chars), len(page.extract_text() or ))这份资料是文字版 PDF目录页和正文页都有字符对象所以直接用文本抽取即可不必引入 OCR 链。如果碰到扫描件常见做法是先跑一遍 OCR 拿到带坐标的文本框再复用后面的清洗逻辑抽取层换掉、清洗层不用动。2.2 抽取参数怎么调抽取函数本身很短坑主要在容差参数上。import re import pdfplumber PDF_PATH 人教版五年级上册数学知识点汇总.pdf def extract_pages(path): pages [] with pdfplumber.open(path) as pdf: for i, page in enumerate(pdf.pages, start1): # x_tolerance同一行内相邻字符的水平容差默认 3 # 调小到 1.5 可避免公式里 a 和 h 被粘成一个词 # y_tolerance换行判定容差公式行字距大时放宽到 3~5 # 防止把相邻两行并成一行 txt page.extract_text(x_tolerance1.5, y_tolerance3) or pages.append({page: i, text: txt}) return pageslayoutTrue会按坐标补空格来还原版式对正文段落有用但这份文件的公式本身字距就大开启后S 平aXh会变成一堆散字符所以我一般不开。另外一个折中是分区域抽目录页单独走后处理正文页用默认参数。2.3 脏数据类型与清洗策略原文抽取出来最典型的几类噪声如下表。这份文件的问题不在字符识别而在排版与录入。现象原文示例成因处理方式目录点线加页码第一单元小数乘法 ...... 2制表位渲染正则删除连续点线与尾部页码运算符两侧空格0.6 ÷0.3、S 平aXh中西文混排去掉数字与运算符之间的空白中文被断开第 一 单 元字距过大触发分词合并相邻中文字符间的空格上标丢失a× a可以写作a· a或 a上标a²丢失打标记留人工补写不入公式字段省略号被拆6.3232⋯ 的循环节是 32连续 被切段合并连续省略号对应实现DOT_LEADER re.compile(r\.{3,}\s*\d*) # 目录点线与页码 FULLWIDTH_SPACE re.compile(r[\u3000\u00a0]) # 全角空格、不换行空格 DIGIT_SPACE re.compile(r(?\d)\s(?[\d.÷×])) # 数字与运算符间空白 CJK_SPACE re.compile(r(?[\u4e00-\u9fff])\s(?[\u4e00-\u9fff])) ELLIPSIS re.compile(r⋯\s*⋯) def clean(text: str) - str: text FULLWIDTH_SPACE.sub( , text) text DOT_LEADER.sub(, text) text ELLIPSIS.sub(⋯, text) text DIGIT_SPACE.sub(, text) text CJK_SPACE.sub(, text) return re.sub(r\s{2,}, , text).strip()DIGIT_SPACE用后向断言和前向断言夹住空白只删数字与运算符之间的空格不会误伤正文里正常的词间空格。CJK_SPACE同理只在两个中文字之间合并遇到保留两位小数表示计算到分这种正常句子不会动。注意循环小数的简写记法依赖顶部小点纯文本抽取必然丢失。6.3232⋯⋯ 的循环节是 32抽完后简写会退化成6.32和普通小数无法区分这类条目要在结构化时单独打notation_lost标记。2.4 按条目边界重新聚合段落抽取结果是按视觉行切的一条知识点常被拆成多行。源文件的编号格式很稳定用^\d{1,2}\s*、当条目起点重新拼接即可。ITEM_START re.compile(r^(\d{1,2})\s*、) def regroup(paragraphs): items, cur [], None for line in paragraphs: m ITEM_START.match(line) if m: # 命中编号开一条新条目 if cur: items.append(cur) cur {no: int(m.group(1)), raw: line} elif cur: cur[raw] line # 续行并入上一条 if cur: items.append(cur) return items判断依据是编号连续性和语义完整性源文件正好从 1 号排到 38 号缺号或重号说明有页眉页脚混入需要回看对应页。这一步做完就能得到 38 条带编号的原始条目进入建模环节。3. 知识点建模单元、条目、公式三级结构3.1 为什么不直接全文检索全文检索能回答「哪里提到梯形」回答不了「梯形面积公式的变式有几个」。公式要参与计算和断言校验字符层面匹配无法判断S 梯abX2和上底下底×高÷2是不是同一条。所以结构要拆到公式粒度字段设计如下表。层级字段说明unitunit_no、unit_name七个单元用于按单元组卷itemitem_no、title、category条目编号对应源文件 1~38category取定义/公式/规律/方法ruleexpr、variants、notes可执行表达式、变式、注意事项metasource_page、defects回溯源文件页码记录疑似录入错误的字段3.2 解析脚本骨架import re UNIT_RE re.compile(r第([一二三四五六七])单元\s*(.*)) def split_units(pages): result, cur [], None for p in pages: for line in p[text].split(\n): m UNIT_RE.search(line) if m and 单元 in line and len(line) 30: # 排除目录页的长行 cur {unit_name: f第{m.group(1)}单元, items: []} result.append(cur) elif cur: cur[items].append(line) return result这里加len(line) 30是为了跳过目录页——目录里每一行都含「第X单元」长度却远超正文标题靠长度就能过滤掉比按页码硬编码稳。3.3 入库前的四条校验规则结构化的价值在于能被机器检查我一般在写库前跑这四条from sympy import Symbol, parse_expr def validate(units, items): assert [u[unit_name] for u in units] [f第{c}单元 for c in 一二三四五六七], 单元顺序异常 nos sorted(i[no] for i in items) assert nos list(range(1, 39)), f条目编号不连续{set(range(1,39)) ^ set(nos)} for i in items: assert i.get(title) or i.get(expr), f第{i[no]}条既无标题也无公式 if i.get(expr): parse_expr(i[expr], local_dict{s: Symbol(s) for s in abchS})第一条保证七单元顺序与课本一致第二条检查 1 到 38 号无缺无重第三条防止空条目静默入库第四条交给 sympy 做语法解析Sa*h这类表达式能过S a X h里误写成大写 X 的乘法符号会直接抛异常暴露出来。提示parse_expr只校验语法不校验量纲。S 正a×a能过解析但S 长ab同样能过——量纲要靠第 4 章的数值断言兜。以第六单元为例结构化后的落盘形态大致是{ unit_name: 第六单元, items: [ { no: 26, title: 多边形面积公式与变式, category: 公式, rules: [ {shape: 平行四边形, expr: S a * h, variants: [h S / a]}, {shape: 三角形, expr: S a * h / 2, variants: [h S * 2 / a]}, {shape: 梯形, expr: S (a b) * h / 2, variants: [h S * 2 / (a b), a S * 2 / h - b]} ], source_page: 8, defects: [原文 S 梯abX2 缺少 ×高÷2] } ] }variants字段是这份教辅里最值得保留的部分第 26 条明写了「已知面积和底求高」「已知面积与上下底之和求高」这些变式正是出题和判题要用的单独抽出来比塞在正文里有用得多。4. 公式可执行化把 38 条规则变成能跑的断言4.1 为什么要写成函数图片版公式只能在脑子里验算代码版公式可以跑测试。第七单元的植树问题有四种情形加上封闭图形和锯木头光靠记忆极容易在「两端都栽」和「两端都不栽」之间差 2。写成函数以后参数一变结果是不是符合直觉一眼就能看出来。4.2 植树问题的四种情形def trees_line(length, gap, both_endsTrue, two_sidesFalse): 不封闭路段栽树。 length/gap 需同单位返回棵数。 seg length // gap # 间隔数 cnt seg 1 if both_ends else seg - 1 return cnt * (2 if two_sides else 1) def trees_ring(perimeter, gap): 封闭图形圆、正方形跑道四周栽树棵数等于间隔数。 return perimeter // gap def saw_cuts(total_time, segments): 锯木头切的次数是段数减一返回每切一次用时。 return total_time / (segments - 1)参数说明both_ends控制两端是否栽对应原文第 34 条的1到4四种组合two_sides表示路的两边都栽内部乘 2与原文「一条路的两边两端都栽路长÷间隔1×2」一致gap用整除是因为教材场景下路长通常是间隔的整数倍遇到不整除要单独报数据异常而不是静默取整。配一组断言把四种情形钉死assert trees_line(100, 5) 21 # 一端两端都栽 assert trees_line(100, 5, both_endsFalse) 19 # 一端两端不栽 assert trees_line(100, 5, two_sidesTrue) 42 # 两边两端都栽 assert trees_line(100, 5, both_endsFalse, two_sidesTrue) 38 assert trees_ring(100, 5) 20 # 封闭图形 assert saw_cuts(12, 4) 4 # 12 分钟锯成 4 段每切 4 分钟注意saw_cuts里segments传的是段数不是切数。原文写的是「锯一段木头时间总时间÷段数-1」措辞容易让人把段数和切数弄混函数签名直接写成segments就是为了避免这个歧义。4.3 鸡兔同笼与方程法原文给了两种算术假设法和一种方程法。假设法本质是同一个式子的两种写法代码里只需实现一次。def chicken_rabbit(heads, legs): 假设全是兔多出来的脚数除以 2 就是鸡的只数。 extra heads * 4 - legs # 把每只鸡当兔多算了 2 只脚 chickens extra // 2 return chickens, heads - chickens assert chicken_rabbit(35, 94) (23, 12) # 鸡 23 只兔 12 只对应原文的方程法设兔 x 只鸡为heads - x方程为4x 2*(heads - x) legs。把chicken_rabbit的结果代回去做恒等校验能反向验证两种方法一致def check_equation(heads, legs, rabbits): return 4 * rabbits 2 * (heads - rabbits) legs assert check_equation(35, 94, 12)4.4 源文件里的几处公式缺陷清洗阶段打defects标记的条目到这里会变成真实的断言失败。把失败项汇总成清单比逐条肉眼校对高效得多。位置原文问题修正第 26 条S 梯abX2缺×高÷2S(ab)*h/2第 26 条三角形的面积 底 X 宽高÷2「宽高」应为「高」Sa*h/2第 23 条所有的方程都是等式但等式不一定都是等式后半句应为「方程」等式不一定都是方程鸡兔同笼方程法设兔子有 x 只则兔子脚有 2x 只兔脚应为4x4x 2*(总头数-x)第 23 条的错法很典型它是「方程一定是等式等式不一定是方程」这句话在改写时把关键词替换错了。这种错误不会影响任何计算却会直接影响孩子对概念边界的理解所以断言之外还得加一层关键词规则检查凡出现「不一定都是」的句子前后两个名词必须不同。再补一组几何关系断言把原文第 31、32 条的结论固定下来def isosceles_area_relation(base, height): 等底等高平行四边形面积是三角形的 2 倍。 return base * height, base * height / 2 def frame_pull(base, side, new_height): 长方形框架拉成平行四边形周长不变面积变小。 rect_p 2 * (base side) para_p 2 * (base side) return rect_p para_p, base * new_height base * side第二个函数一次返回两个布尔量正好覆盖原文那两句话任何一个为 False 都说明参数取反了。5. 反向生成练习模板渲染、去重与答案自校验结构化完成、公式可执行之后出题就是拼装的事。思路是从rules里取公式随机生成满足约束的参数代入函数求答案再用模板渲染成题干和解析。import hashlib from decimal import Decimal, ROUND_HALF_UP from jinja2 import Template TPL Template( 【{{ unit }}】{{ title }} 题干{{ stem }} 答案{{ answer }} 解析{{ solution }} ) def money(x): 钱数保留两位小数表示精确到分用 Decimal 避免浮点误差。 return Decimal(str(x)).quantize(Decimal(0.01), roundingROUND_HALF_UP) def gen_tree_item(): gap 5 seg 20 trees trees_line(seg * gap, gap) # 复用第 4 章的公式函数 stem f一条 {seg * gap} 米长的路每隔 {gap} 米栽一棵树两端都栽共栽多少棵 return { unit: 第七单元, title: 植树问题, stem: stem, answer: trees, solution: f间隔数 {seg * gap} ÷ {gap} {seg}两端都栽加 1得 {trees} 棵 } def fingerprint(item): 题干加答案做哈希用于跨批次去重。 raw item[unit] item[stem] str(item[answer]) return hashlib.md5(raw.encode(utf-8)).hexdigest()money用Decimal而不是原生的float是因为小数乘法这一单元的重点就是积的小数位数和末位 0 的化简float运算会把0.1 0.2变成0.30000000000000004虽然后续用round能盖住但生成的解析里会露出长尾家长一眼就看出不对劲。ROUND_HALF_UP对应教材里的四舍五入法跟round()默认的银行家舍入不是一回事round(2.5)得 2 而教材要求得 3这个差异必须显式处理。生成环节还要过三道筛子一是数值合理性除法场景要求能除尽除不尽时按原文第 14 条标记为循环小数单独成卷二是去重用fingerprint建索引同一批次内重复直接丢弃三是答案自校验把生成题干里的数字重新解析出来代回公式函数与写入的答案比对不一致就整条丢弃而不是人工修。def self_check(batch): seen, kept set(), [] for item in batch: fp fingerprint(item) if fp in seen: continue seen.add(fp) kept.append(item) return kept最后是导出格式。需要纸质练习就渲染成 Markdown需要重复记忆就导出 Anki 可导入的 TSV字段依次是题干、答案、解析、单元标签用制表符分隔换行符在写入前统一替换成br以免破坏行结构。带娃的工程师还可以按defects字段把第 26 条梯形面积、第 23 条方程与等式的辨析单独抽成一份纠错卷——那些正是源文件自己出错的地方也最值得多练两遍。本文还有配套的精品资源点击获取