数学之旅
为中学数学而写的现代数学读物。函数、极限、导数一脉贯通,用清晰的公式与精绘的图形,把每一页都做成知识的艺术品。
下载
如何下载
两本书均有免费版和付费版。免费版内容完整,含水印;付费版内容相同,仅去水印。按以下步骤下载即可。
免费版
- 完整章节内容(含水印)
- 全部图形与公式
- 全部目录与内容提要
- 作者简介与前言
无水印版
内容相同 · 仅去水印- 与免费版内容完全相同
- 去除页面水印,阅读纯净
- 所有专题分册独立下载
- 优先获得后续修订
- 作为对作者的一份支持
在爱发电赞助后会收到一串密钥,把它粘贴到下方框中,点击「验证并下载」即可获取无水印版。
如何获取密钥? ↗使用指南
下载后怎么用
第一步:下载 PDF
点击上方按钮下载 PDF 文件。国内用户推荐使用蓝奏云链接,速度更快。
如果无法打开蓝奏云链接,请尝试更换浏览器(推荐 Chrome),或将链接中的 lanzn 替换为 lanzou 或 lanzoux 再试。
第二步:选择版本
免费版:免费版:直接点击下载按钮,跳转到网盘页面后保存文件即可。
无水印版:付费版:在爱发电购买后会收到一个密钥,将它填入输入框并点击"验证并下载",验证通过后即可下载。
第三步:打开并阅读
下载完成后,用下方推荐的 PDF 阅读器打开文件即可正常阅读。
请不要用浏览器直接打开 PDF,浏览器内置阅读器不支持部分数学字体,会导致公式显示异常。
推荐浏览器
- Google Chrome(推荐)
- Microsoft Edge
- Firefox
推荐 PDF 阅读器
- Windows: Sumatra PDF(免费、轻量)
- macOS: 系统自带「预览」
- Android: Microsoft Edge 或 Google Chrome
- iOS / iPadOS: 系统自带「文件」或「图书」
书稿总览
两个系列,一脉相承
两个系列内容互相独立。免费版与付费版的内容完全一致,付费版仅去除了页面水印,阅读体验更纯净。
新系列 · 第一册
数学之旅:函数与导数
本书围绕中学阶段的「函数与导数」展开,按专题分册编排,呈现由函数观念通向极限思想、再延伸至导数方法的数学脉络。前半部分依次讨论函数的概念、定义域、单调性、奇偶性、周期性、图像变换以及若干常见函数模型,强调图像、性质与解析式之间的联系。后半部分进入极限、连续、导数、中值定理、高阶导数与相关应用。
目录
第一卷 函数 — 语言、图像与结构
第二卷 极限与导数 — 思想、工具与应用
旧版 · 完整五册
高中数学之旅
本系列覆盖中学数学的大部分专题与常见题型,并对若干进阶内容进行了介绍与论述。从集合与逻辑用语出发,最终于概率一章结束,适合从基础到中档的学生阅读。该书面向对中学数学抱有兴趣,以及正在学习或复习中学数学的读者。
目录
基础篇 PART 1 · 基础
- 01因式分解
- 02乘法公式与因式分解
- 03恒等变形的方法
- 04二次函数
- 05计算与变形技巧
- 06一些有用的数论知识
- 01集合论初步
- 02映射
- 03逻辑用语初步
- 01函数的概念
- 02定义域
- 03单调性
- 04奇偶性
- 05周期性
- 06凹凸性
- 07反函数
- 08函数的复合
- 09函数的图像变换
- 10常见多项式函数
- 11指数函数
- 12幂函数
- 13对数函数
- 14函数模型与应用
- 15函数的零点
- 16分段函数
- 17绝对值函数
- 18函数解析式的求解
- 19函数值域的求解
- 01基本分析方法
- 02柯西函数方程及其变式
- 03二次及高次多项式模型
- 04三角与双曲函数模型
- 01均值不等式
- 02均值不等式的提示
- 03均值不等式链
- 04均值不等式的应用技巧
- 05柯西不等式
- 06排序不等式
- 07伯努利不等式
- 08糖水不等式
- 01弧度制
- 02正弦函数与余弦函数
- 03正弦与余弦函数的图像
- 04正弦与余弦函数的性质
- 05正切函数
- 06余切、正割与余割函数
- 07同角三角函数的基本关系
- 08诱导公式
- 09和差角公式
- 10倍角公式
- 11万能公式与齐次式思想
- 12角的变换
- 13和差化积与积化和差
- 14反三角函数
- 01数学归纳法
- 02和-符号
- 03数列的语言
- 04等差数列
- 05等比数列
- 06差比数列
- 07斐波那契数列
- 08数列求和的通用策略
- 09递推关系与通项公式
- 10一阶递推的基本形式
- 11迭代与不动点
- 12数列的单调性
- 13奇偶数列
- 14数列的周期性
- 15数列的极限
- 16级数
- 17泰勒公式与泰勒级数
- 01描述数据
- 02抽样方法
- 03从样本到总体
- 01加法原理与乘法原理
- 02组合与排列
- 03二项式定理
- 04从三项式定理到多项式定理
- 05排列组合
- 01事件与概率
进阶篇 PART 2 · 进阶
- 01正弦定理和余弦定理
- 02常见题型
- 03保底的建系法
- 04非常规题型
- 01向量代数
- 02定比分点与共线定理
- 03直线与圆
- 04线性规划初步
- 05二次曲线
- 01源起与观念
- 02单比与交比
- 03二次曲线的极点与极线
- 04极点与极线的几何作图
- 01实数系的完备性
- 02极限的定义
- 03切线问题
- 04函数的连续性
- 05极限的运算
- 06无穷远处的极限与无穷小量
- 07导数的概念
- 08中值定理的应用与推广
- 09导数的综合应用:方程根、零点与不等式证明
- 10高阶导数与泰勒展开初步
- 11洛必达法则与极限计算的系统策略
- 12必要性探路与端点分析法
- 13极值点偏移问题
- 01复数的概念与几何意义
- 02复数的运算
- 03二次方程的复数解
- 04复数运算的几何意义
- 05代数基本定理
- 06曲线方程的复数表示
- 07本章小结与思想方法
- 01基本公理与空间元素
- 02证明线线平行的基本策略
- 03空间中的平行关系
- 04空间中的垂直关系
- 01如何确定数学对象
- 02什么是自由度?
- 03搭建起解题框架
- 04纯构造式问题的解法
- 05含满足式问题的通用策略
- 06谈谈二级结论
- 07换元法为何行之有效
拓展篇 PART 3 · 拓展
- 01原函数与不定积分
- 02不定积分
- 03换元积分法
- 04分部积分法
- 05定积分与微积分基本定理
- 06定积分的性质
- 01基本概念
- 02可分离变量的微分方程
- 03一阶线性微分方程
- 04应用微分方程求解函数方程
- 01向量
- 02矩阵
Errata · 6 月 12 日
勘误表
以下勘误按严重程度分为四档:第一档为推导与结论错误,第二档为缺少前提条件或适用范围过宽,第三档为证明不完整,第四档为表述与格式问题。标记 ★ 的条目来自读者反馈。
第一档推导与结论错误18 项
- §1.3 例题 E038:Heron 型恒等式左边符号写反了,数值检验表明应该是正号。★
- §1.5 例题 E072:附加说明里的区间方向写错了,正确是 1
- §3.3 定理 T027:复合函数单调性没区分非严格和严格,严格单调需要额外条件。
- §3.5 定理 T031:周期运算结论错误地断言了充要性和最小公倍数,应只作为充分条件。
- §3.6 定理 T036:Jensen 不等式等号条件写错了,应是"所有正权重对应点相等"。★
- §3.9 定理 T043:复合函数单调性没区分非严格与严格,同 T027。
- §5.2 例题 E209:AM-GM 取等条件与定义域不匹配,导致最值表述错误。
- §5.5 定理 T070:柯西不等式等号条件表述不精确,应明确"线性相关"及零向量。
- §7.8 定理 T095:Gosper 判别方程原表述过宽,需收紧并补充证明。★
- §7.14 定理 T101:结论"周期数列"过强,实为"最终周期数列"。
- §9.1 定理 T111:加法原理中"独立"应改为"互斥",加法要求分类两两互斥。
- §9.3 定理 T116:帕斯卡恒等式范围包含 k=n 时右侧 C(n-1,n) 无定义,应限制 1≤k≤n-1。★
- §11.1 定理 T132:外心中心角陈述只在锐角三角形成立,需修正为全局有效。
- §12.4 定理 T165:线性规划表述过宽,应收紧为二维凸多边形情形。
- §13.3 定理 T183:对"任意二次曲线"表述过宽,应收紧为非退化标准二次曲线。
- §14.9 定理 T199:非严格单调不足以保证至多一个零点,应改为严格单调。
- §14.11 定理 T203:洛必达法则陈述过宽,缺分母非零条件与显式证明。
- §19.5 定理 T238:微积分第一基本定理未限定内点可导,端点不保证可导。
第二档缺少前提条件 / 适用范围过宽62 项
- §1.3 例题 E027:裂项分式恒等式没声明分母不能为零,分母为零时等式不成立。
- §1.3 例题 E031:利用 abc=1 统一分母时没排除零分母,a,b,c 可能为零导致分母为 0。
- §1.3 例题 E032:在 a+b+c=0 条件下通分,没排除零分母,分母含零变形无效。
- §1.3 例题 E041:逐项作差等式没排除 a=0 等零分母,分母为零恒等式无意义。
- §1.3 例题 E044:分母化为 -2bc 等之后求和为 0,缺少零分母排除的条件。
- §1.3 例题 E045:比例式已经隐含 x,y,z 非零,但没明确写出来,不够清楚。
- §1.3 例题 E046:通分后分子逐项抵消,没排除零分母,分母为零时不成立。
- §1.5 例题 E064:倒数换元要求 x 非零且 |t|≥2,题面没声明"在实数范围内"。
- §1.5 例题 E067:部分分式分解没排除使原分母为零的 n 值,n=0,-1,-2 时分母为 0。
- §1.5 例题 E076:分母要求 ab≠0 但没说明,分母为零时等式无意义。
- §1.1 引理 T001:齐次性等价刻画缺少"非零多项式"的前提,否则恒为零时定义失效。★
- §1.2 性质 T004:立方和与立方差公式没写适用范围,应写明"对任意数 a,b"。
- §1.2 性质 T005:完全立方公式没写适用范围,同 T004。
- §1.2 定理 T007:奇数次幂和公式没限定 n 为正奇数,n 不限制时不一定成立。
- §1.6 定理 T018:线性不定方程通解缺 a,b 非零前提,a,b 为零时通解公式失效。
- §2.1 定理 T021:德摩根定律没明确 A,B 是 U 的子集,还缺第二式的证明。
- §3.3 定理 T026:导数与单调性定理缺少连续/内点可导的前提。
- §3.4 定理 T029:对称性判据缺定义域封闭和恒成立的条件,适用范围不清。
- §3.5 定理 T033:函数方程迭代第三式缺少分母非零的前提。
- §3.6 定理 T035:二阶导数判定法缺连续/内部二阶可导前提和中值定理证明。
- §3.7 定理 T038:反函数存在充要条件缺值域前提和双向证明。
- §3.9 定理 T044:复合函数奇偶性缺少外层函数在对应区域上奇偶性的条件。
- §3.10 定理 T046:对称变换缺 y=x 对称时反函数存在的说明,无反函数不能写 f⁻¹(x)。
- §3.11 定理 T049:三次函数中心对称缺 a≠0 条件,证明被跳过。
- §3.11 定理 T050:三次方程根与系数关系缺 a≠0 和按重数计根的前提。
- §4.2 定理 T059:四类柯西方程的定义域/连续性假设不够严格,需收紧并补零函数分支。
- §4.2 定理 T060:平移变式缺 f:ℝ→ℝ 连续的前提。
- §4.2 定理 T061:带尺度因子的乘法型方程缺正定义域、非平凡解等条件。
- §4.4 定理 T064:正切函数模型缺分母非零及正切极点的限制。★
- §5.1 定理 T068:均值不等式链 H≤G 和 A≤Q 没写等号成立的条件。
- §5.3 定理 T069:三段不等式的等号条件来源不明,没给推导。
- §6.10 定理 T084:正切三倍角公式缺少 tanα、tan3α 有意义及分母非零的条件。★
- §7.10 定理 T098:连乘相消缺数列各项非零条件,分母可能为零。
- §7.10 定理 T099:二阶递推缺 q≠0 条件和通项唯一性证明。
- §7.16 定理 T109:莱布尼茨判别法缺少 a_n>0 的前提。
- §9.1 定理 T112:乘法原理缺"后续每步选择数对任意前缀固定"的条件。
- §9.3 定理 T115:二项式定理缺变量可交换的条件。
- §9.4 定理 T117/T118:多项式定理缺可交换变量/数的前提。
- §11.1 定理 T129:正弦定理缺非退化三角形前提和正弦非零说明。
- §11.1 定理 T130:余弦定理缺非退化三角形前提。
- §12.3 定理 T164:点到直线距离公式缺 A,B 不同时为 0 的条件。
- §12.5 定理 T167:焦点-中心弦三角形面积范围没排除长轴退化。
- §12.5 定理 T172:韦达定理缺 a≠0 条件和证明。
- §12.5 定理 T173:弦长公式缺 a≠0, Δ>0 条件和证明。
- §12.5 定理 T174:弦中点斜率关系没处理竖直弦和 x_M=0 时分母为零的情况。
- §13.2 定理 T181:交比射影不变性证明缺四线互异、截线非退化等条件。
- §13.2 定理 T182:调和点列倒数关系缺有向线段非零条件。
- §14.7 定理 T194:罗尔定理缺少 a
- §14.7 定理 T195:拉格朗日中值定理缺少 a
- §14.7 定理 T196:函数单调性判定缺区间连续/内部可导前提。
- §14.8 定理 T198:柯西中值定理缺 a★
- §16.4 定理 T212:乘除法三角表示缺 z₁, z₂ 非零条件。
- §17.1 公理 T219:两平面相交公理应限定为不同平面,重合时无交线。★
- §17.3 定理 T223:线面平行性质定理缺少"经过该直线且与此平面相交"的前提。
- §17.3 定理 T226:平行平面传递性没排除重合平面。
- §19.3 定理 T234:第一类换元法则缺复合定义域前提 g(I)⊂J。
- §19.5 定理 T237:连续函数可积性定理缺 a
- §19.6 定理 T240/T241:定积分线性性与积分中值定理缺 a★
- §20.3 定理 T243:一阶线性微分方程求解缺 P, Q 连续的前提。
- §21.2 定理 T245-T247:矩阵运算律缺同阶矩阵/维数相容的前提。
- §21.2 定理 T249:二次曲线分类准则缺 A, B, C 不全为零及退化情形说明。
- §21.2 定理 T251:克拉默法则缺维数前提。
- §14.7 定理 T195:拉格朗日中值定理缺少 a
第三档证明不完整86 项
- §1.3 例题 E040:Lagrange 恒等式只证明了 n=3 的情形,没给出一般形式。
- §1.6 例题 E080:证明用了"因子传递"的不严谨说法,应直接写成 2×整数,并覆盖 n=0 和负整数。
- §1.2 定理 T008:一元二次分解公式没说明 Δ<0 时不能实分解,结论不完整。
- §1.2 定理 T009:齐次二次分解没处理 y=0 边界和 Δ<0 情形,边界不完整。
- §1.2 定理 T012:有理根定理缺少 p=0 的分支,a₀=0 时需要单独处理。
- §1.3 定理 T013:说"n 次多项式"不够严谨,应为"次数不超过 n"。
- §1.6 定理 T014:整除基本性质证明跳过了自反性和传递性,不该直接略证。
- §1.6 定理 T016:gcd·lcm=ab 缺完整证明,完善。
- §1.6 定理 T017:裴蜀定理充分性缺乏构造依据,扩展欧几里得的回代步骤要说明。
- §1.6 定理 T019:本原毕达哥拉斯三元组参数化只给了形式,没验证充分性。
- §2.1 命题 T020:集合相等判定缺双向证明,证明不完整。
- §2.3 定理 T024:逆否等价用 Venn 图直观证明不够,应改为真值表证明。
- §2.3 定理 T025:量词否定律只有直观理解,缺严格证明。
- §3.4 推论 T030:常见对称形式推论直接给结论,没证明。
- §3.5 定理 T032:对称性推出周期性漏掉了轴心重合时的边界情形。
- §3.6 定理 T034:凹凸性等价结论只说"从略",缺反向证明。
- §3.6 推论 T037:Jensen 算术平均形式的证明循环引用了加权形式,应该直接由加权推。
- §3.7 定理 T039:反函数性质四条只证了一条,缺后三条证明。
- §3.9 定理 T042:复合函数定义域公式只给了公式,没证明内层值域落入外层定义域。
- §3.10 定理 T045:平移伸缩变换原先没证明,需要补坐标变换证明。
- §3.10 定理 T047:翻折变换没给分段/点集证明。
- §3.11 定理 T051:切线条数判定原无证明。
- §3.11 定理 T052:原函数与导函数对称性互换只证了一条,另一条没证。
- §3.12 定理 T054:自然指数函数性质缺存在/唯一性证明和可导范围。
- §3.14 定理 T055:对数运算法则只详细证了乘法,缺商和幂的证明。
- §3.16 定理 T057:零点存在性定理缺介值定理证明。
- §3.18 定理 T058:绝对值性质只证了三角不等式,缺其余性质证明。
- §4.3 定理 T062:原证明只验证二次多项式是候选,没证唯一性。
- §4.4 定理 T063:达朗贝尔方程缺零函数平凡解和反向验证。
- §5.5 定理 T071:Engel 形式缺等号条件反向证明。
- §5.5 定理 T072:闵可夫斯基不等式没说明等号何时成立。
- §5.6 定理 T073:逆序和最小的证明缺对称论证,没完成下界证明。
- §5.7 定理 T074:伯努利不等式整数形式没证等号条件。
- §5.7 定理 T075:实数形式 α<0 的证明用"类似"跳过了关键步骤。
- §6.9 定理 T081:和差角公式大全没给证明环境,需补证明和正切分母条件。
- §6.11 定理 T085:万能公式的证明缺少 tanα 公式的推导。
- §6.13 定理 T086/T087:积化和差与和差化积公式缺推导证明。
- §6.16 定理 T089:反正切加法公式在 ab<1 时缺余弦符号的主值区间论证。
- §7.10 定理 T097:累加法裂项相消没证明。
- §7.11 定理 T100:压缩映射原理缺 Banach 完整证明。
- §7.15 定理 T102:极限运算法则证明缺少显式 proof 环境。
- §7.15 定理 T106:e 的极限原无收敛性证明。
- §7.16 定理 T108:项趋零性证明缺少 S_{n-1} 与 S_n 同极限的平移说明。
- §7.17 定理 T110:泰勒中值定理缺证明,假设也不够精确。
- §10.1 定理 T119:德·摩根定律原无证明。
- §10.1 定理 T125:错排数通项公式只依赖前例,缺容斥原理证明。
- §10.1 定理 T126:错排数递推关系缺按元素 n 分类的证明。
- §10.1 定理 T127:极限概率公式直接给结论,缺 e^{-1} 泰勒级数证明。
- §10.1 定理 T128:最佳整数近似没证 |n!/e - D_n| < 1/2 的余项界。
- §11.1 定理 T131:外心位置特征原为略证,证明不完整。
- §11.1 定理 T139:重心基本性质原为略证。
- §11.1 定理 T142:边与中线平方和关系没有证明。
- §11.1 定理 T143:垂心位置特征没有证明。
- §11.1 定理 T144:垂足圆性质没证明,垂足来源也不明确。
- §11.1 定理 T145:垂心与外心向量关系没有证明。
- §11.1 定理 T150:高线长公式没有证明。
- §12.1 定理 T154:平行四边形法则缺证明环境。
- §12.1 定理 T156:极化恒等式推导正确,但缺显式证明环境。
- §12.2 定理 T157:三点共线定理唯一性需排除 A=B 的退化情形。
- §12.4 引理 T166:皮克定理证明从矩形到直角三角形过渡有跳跃。
- §12.5 定理 T168/T169:椭圆反射性质和焦半径公式缺证明环境。
- §12.5 定理 T170:椭圆导演圆只证了必要性,缺充分性及竖直切线特殊点。
- §12.5 定理 T171:统一焦点-准线定义缺显式证明。
- §13.3 定理 T184:极线方程原无显式证明。
- §13.4 定理 T185:La Hire 定理原无显式证明。
- §14.2 定理 T188:左右极限判定原无 ε-δ 证明。
- §14.5 定理 T190:极限运算只证了和法则,略去了乘积、常数倍、倒数、商法则。
- §14.8 定理 T197:线性近似误差公式缺 x=x₀ 平凡情形的说明。
- §14.10 定理 T201/T202:凹凸性判定与极值第二充分条件缺证明。
- §14.12 定理 T204/T205:端点分析法与局部保号性缺双向完整证明。
- §15.4 定理 T208:圆锥曲线统一极坐标方程缺焦点-准线推导与 ρ≥0 分母条件。
- §16.1 性质 T209:复数相等判定缺代数形式唯一性证明。
- §16.1 性质 T210:模与共轭乘法性质证明循环依赖后续性质。
- §16.3 定理 T211:共轭虚根公式缺定理标题与配方法证明。
- §16.4 定理 T213:棣莫弗公式只证了正整数指数,缺负整数指数。
- §16.5 推论 T215:复系数多项式按重数分解缺归纳法证明。
- §17.1 定理 T220/T221:确定平面的定理缺标题和统一性证明。
- §17.4 定理 T227-T230:线面垂直、三垂线等证明有跳步,应改写严格证明。
- §19.1 定理 T232:连续函数原函数存在定理缺构造性证明。
- §19.4 定理 T235:分部积分法仅有公式,缺乘积求导法则证明。
- §19.4 定理 T236:分部求和法缺证明且标题格式不完整。
- §20.2 定理 T242:指数增长模型证明除以 y 漏掉零解。
- §20.4 定理 T244:微分方程法流程缺"微分仅给候选、最终需检验"的警示。
- §21.2 定理 T248:面积变换定理缺 det(A)=0 情形与完整证明。
- §21.2 定理 T250:逆矩阵公式缺充要性证明。
- §21.2 定理 T252:秩定理缺行秩等于列秩的完整证明。
第四档表述与格式问题7 项
- §2.1 例题 E096:数轴图中 B 左侧区间起点画错了,和图文矛盾。
- §2.1 例题 E098:同样问题,数轴图里 B 左侧区间起点不对。
- §2.1 定理 T023:容斥原理最后一行求和简写与定理正文不一致。
- §7.1 公理 T090:数学归纳法起始值没明确是正整数。
- §14.6 定理 T191:无穷极限定义中"|x|无限增大"与 x>M 表述不一致。
- §14.7 定理 T193:费马引理证明中极大值定义的表述有歧义。
- §19.2 定理 T233:不定积分线性性质没明确"积分常数重新合并"的理解。
第一档推导与结论错误15 项
- §6.3 零点个数:符号判断错误导致零点个数错误,原函数有且仅有 2 个零点。
- §6.3 零点讨论:a=0 时错误归入有 1 个零点,实际 f(x)=e^x > 0,函数没有零点。
- §6.3 区间总结:a=0 的归属错误,a 属于 (-∞,0) ∪ {e} 时有 1 个零点,a 属于 [0,e) 时有 0 个零点。
- §6.4 定义域:x - 1/x 的值域判断错误,该式能取到所有实数,故 f(x)=x²+2 定义域为 ℝ。
- §9.1 例题:对称性论证错误,极大值 f(-t)=t²(3+2t) > 0 对任意 t>0 恒成立。
- §9.1 例题:题目陈述错误,已知条件中 a 的范围写错了。
- §9.1 例题:公式错误,不等号方向或表达式有误。
- §9.1 例题:函数 g(x) 写错,正确形式应为 g(x)=ln x - x + 1。
- §9.1 例题:参数区间错误,t₁ 和 t₂ 的取值范围不对。
- §9.1 例题:交点个数错误,曲线至少与该直线有三个公共点。
- §11.3 例题:解答完全错误,原答案 a ≥ (3/2)(ln 3 - 1) 不成立。
- A.4 解答:极限处理启发式错误,e^(1/x) - 1 ~ 1/x 乘 x 后趋于 1,原极限处理错误。
- A.5 解答:解答完全错误,原方法无效且答案不对。
- §5.2 幂函数定点:错误排除了 α=0,对任意实数 α,幂函数图像恒过定点 (1,1)。
- §3.3 例题:f(u) ≥ 0 的解区间写错了。
第二档缺少前提条件 / 适用范围过宽34 项
- §1.2 例题:求对数时未说明底数的限制条件,由 log_b a 有意义知 b>0 且 b≠1。
- §2.1 例题:a=0 时仍称 x=0 为竖直渐近线,实际 a=0 时图像为去掉原点的直线 y=x。
- §2.1 例题:a=0 时未说明与 x 轴交点情况,图像与 x 轴没有交点。
- §2.1 例题:判别式分析不完整,遗漏了 a=5 和 a>5 的情况。
- §3.3 复合奇偶性:结论缺少外层函数必为偶函数或奇函数的前提。
- §3.4 周期函数定义:未要求定义域的双向不变性,只要求了 x+T∈D,未要求 x∈D ⇔ x+T∈D。
- §4.3 伸缩变换:未限制 ω>0,当 ω>0 时横坐标才变为原来的 1/ω 倍。
- §4.3 纵向伸缩:未说明 A<0 时还需叠加关于 x 轴的对称。
- §5.2 幂函数定义域:未说明无理数指数的情况,若 α 为无理数通常取 (0,+∞)。
- §5.4 对数定义:缺少 N>0 的条件。
- §5.4 对数函数:未明确写出定义域为 (0,+∞)。
- §5.4 奇对数函数:缺少定义域对称性及对定义域内任意 x 有 g(x)>0 的条件。
- §6.1 模型①:未说明 b>0,若表示增长则需 b>0, a>1。
- §7.5 斜渐近线:缺少 m≠0 的条件,m=0 时不是斜渐近线。
- §7.5 同阶定义:条件过宽,应要求 c>0 而非仅 c≠0。
- §8.1 切线定义:未排除竖直切线,极限存在且为有限实数时方为非竖直切线。
- §8.2 可导定义:缺少极限必须为有限实数的条件。
- §8.2 求导例题:未指明求导是在 x≠0 处。
- §8.2 单调性定理:缺少函数在区间上连续并在内部可导的前提。
- §8.2 Rolle 定理:缺少 a
- §9.1 例题:未处理 t=0 的退化情况,此时有限三角形不存在。
- §10.1 误差项:未处理 x=x₀ 时等式两边均等于 f(x₀) 的平凡情况。
- §10.2 Rolle 定理:缺少 a
- §10.3 L'Hôpital 法则:缺少在 a 的某邻域内除 a 外 f,g 有定义的前提。
- §10.4 例题:边界条件错误,f(0) 和 f(1) 的值写反了。
- §10.4 例题:缺少正数条件 0
- §11.2 L'Hôpital 法则:条件不精确,应说明 f,g 均趋于无穷大而非仅说极限不存在。
- §11.2 例题:参数类型不精确,n 应为正整数而非任意实数。
- §11.3 定理:可导性要求过强,实际上只需在 [m,+∞) 连续、(m,+∞) 可导且右导数存在。
- A.3 解答:缺少 a=0 时原式恒为 0 的情况讨论。
- A.4 解答:极限处理需分 x → +∞ 和 x → -∞ 讨论,原解答未区分。
- A.4 解答:缺少定义域说明及负无穷情况讨论,该函数在 x>0 或 x<-1 时有定义。
- §7.3 极限计算:化简后未排除 x=-1,分母可能为零。
- §7.4 极限证明:缺少 a=0 时原式恒为 0 的讨论。
第三档证明不完整7 项
- §3.4 例题:未验证 π/2 不是周期,缺少直接代入检查的步骤。
- §7.3 例题:选取的 δ>0 未给出严格证明,直接断言 δ>0 不够严谨。
- §7.7 例题:分母的正数性未给出配方等证明过程。
- §9.1 例题:缺少问题 (1) 的完整解答。
- §10.2 证明:极值点论证不精确,M 和 m 不能同时只在端点取得。
- §10.2 证明:仅证明了最大值情况,需补充最小值点情形的类似论证。
- §11.1 例题:推理跳跃。
第四档表述与格式问题7 项
- §7.3 常见误区:描述不精确,左右极限均存在但未比较时不能断言双边极限。
- §7.6 可导与连续:表述模糊,未明确说明极限存在则函数在该点连续。
- §7.7 介值定理:未强调 M 是"严格"介于 f(a) 与 f(b) 之间。
- §8.2 极值定义:使用了严格不等式,应使用非严格不等式 f(x) ≤ f(x₀)。
- §8.2 单调性:术语不精确,未区分严格单调与非严格单调。
- §9.3 定理:可导性条件过强,应修正为除可能的不可导点外均可导。
- A.4 解答:图片的坐标错误,点坐标 (-1,2) 应为 (-1,-2)。
设计哲学
理念与特征
从学生视角出发,用清楚的语言和严谨的推导,把函数、极限与导数中的核心思想一层层展开。版式、图示与节奏都围绕“让读者真正读懂”而设计。
《高中数学之旅》覆盖的中学数学核心专题
《函数与导数》第一册的专题与例题编排
免费版即可阅读完整正文与全部图示
纯净阅读体验
付费版 PDF 完全无水印,每一页都保持完整的视觉与版心比例。
排版即艺术
精心调配的数学公式、图形版式与阅读节奏,让推理过程清晰可见。
免费完整内容
免费版即可获取全部章节与图示,知识不应被门槛挡住。
精绘几何图式
函数图像与几何图形按数学关系精确绘制,帮助建立直观认知。
严格校对打磨
多轮审阅与完整勘误表,持续修正每一处细节,让阅读更放心。
专题分册编排
按数学专题独立分册,便于围绕不同主题独立阅读与查阅。
内页预览
翻阅书页
随机抽取两本书的一些页面,提前感受排版风格。
《函数与导数》


《高中数学之旅》


缘起、学习与近况
写作缘起、学习方式与近况说明
这里保留原本书籍说明页中的背景文字,解释为什么写这本书,以及项目当前的状态。
写作缘起与方法论
本书的起点源自我在高中三年学习数学期间积累的笔记与思考。写这本书的初衷很简单:我觉得市面上没有一本教辅可以真正满足我。
我观察到目前大部分教辅的形式,要不就是总结加一堆例题,有些比较良心的教辅,无非是在解析和答案上多下点功夫。直到我读了 Springer 出版社的《初等数学之旅》之后,我突然有感而发:为什么国内就没有一本这种能从初中一直讲到本科数学的大部头书呢?于是我写了这本书。
我更想强调的是:拥有另一种模式的学生,看到一道题,不是先去“匹配”是什么题型,而是看到整道题背后的逻辑流:从哪个定义或定理出发,经历哪些分支,最后如何收敛到答案。
关于习题册、AI 与学习方式
许多人问我为什么不继续编一个习题册:一是没时间且回报太少;二是我确实懒;三是市面上的习题与专题资源已经很多。
以前我也觉得解析册里的思路引导很重要,但现在我渐渐改变了想法。很多 AI 配合学习模式的一步步交互性引导,在效率上明显超过纸面答案。
我在高三后期就经常把错题思路交给模型继续推演,让它顺着我的错误路径解释“为什么错、为什么这个方法好而那个不好”。把真实思考过程交给可交互系统,效率更高。
关于项目近况
这个项目曾进入长期暂停,但经过最近几个月的修订,于 6 月 12 日发布了重要更新版本,并附有完整勘误表。此前的暂停原因包括:新增内容没有形成可持续回报;书稿被改名、拆分、低价倒卖持续消耗精力;大部头写作需要连续的大块时间且过于单向;以及有新的软件开发项目要做。
接下来:把内容逐步迁移到软件中;继续开发软件;继续观察有没有新的写作切入点;先实现可持续收益,再谈更长期目标。
支持作者
在爱发电支持我
每一份支持都是持续写作与开发的动力。付费版与免费版内容完全一致,付费仅去除水印。
赞助者墙
感谢通过爱发电支持我的写作与开源项目的每一位朋友。
Project Akari
Illuminating the Path of Learning
Project Akari 致力于重塑学习体验,提供更高效、更具亲和力的学习范式。
《高中数学之旅》以旅程为线索重构知识体系,《数学之旅》系列延伸广度与深度;配套软件提供个性化学习辅助。