数学の旅

A Journey Through Mathematics

数学の旅

THE JOURNEY OF MATHEMATICS

中学・高校数学のために書いた現代的な数学読本です。関数、極限、導数をひと続きの流れとして扱い、わかりやすい式と丁寧な図で一ページずつ構成しています。

テーマ別分冊精密な図表無料版も本文完全有料版は透かしのみ削除
クラウドからダウンロード 愛発電で支援する 藍奏雲からダウンロード（中国国内向け） 原稿を見る 版の比較

6月12日 大規模更新

大幅な改訂版を公開

数ヶ月の改訂と校正を経て、『高校数学の旅』に新しいバージョンがでました！両書あわせて 200+ 項目の修正を含む正誤表を以下に掲載しています。

クラウドからダウンロード 藍奏雲からダウンロード（中国国内向け） 正誤表

概要

二つのシリーズ、一つの流れ

二つのシリーズはそれぞれ独立しています。無料版と有料版の本文は同じで、有料版はページの透かしだけを削除した版です。

新シリーズ · 第一冊

数学の旅：関数と導数

新しく始めた独立シリーズで、旧プロジェクトを全面的に書き直しています。第一冊は関数、極限、導数を一つの流れとして扱います。

旧版 · 全五冊

高校数学の旅

旧シリーズは中学・高校数学の主要な話題と典型問題を扱い、いくつかの発展的な内容も紹介しています。

Errata

正誤表

第一档推导与结论错误18 项
  1. §1.3 例题 E038：Heron 型恒等式左边符号写反了，数值检验表明应该是正号。★
  2. §1.5 例题 E072：附加说明里的区间方向写错了，正确是 1
  3. §3.3 定理 T027：复合函数单调性没区分非严格和严格，严格单调需要额外条件。
  4. §3.5 定理 T031：周期运算结论错误地断言了充要性和最小公倍数，应只作为充分条件。
  5. §3.6 定理 T036：Jensen 不等式等号条件写错了，应是"所有正权重对应点相等"。★
  6. §3.9 定理 T043：复合函数单调性没区分非严格与严格，同 T027。
  7. §5.2 例题 E209：AM-GM 取等条件与定义域不匹配，导致最值表述错误。
  8. §5.5 定理 T070：柯西不等式等号条件表述不精确，应明确"线性相关"及零向量。
  9. §7.8 定理 T095：Gosper 判别方程原表述过宽，需收紧并补充证明。★
  10. §7.14 定理 T101：结论"周期数列"过强，实为"最终周期数列"。
  11. §9.1 定理 T111：加法原理中"独立"应改为"互斥"，加法要求分类两两互斥。
  12. §9.3 定理 T116：帕斯卡恒等式范围包含 k=n 时右侧 C(n-1,n) 无定义，应限制 1≤k≤n-1。★
  13. §11.1 定理 T132：外心中心角陈述只在锐角三角形成立，需修正为全局有效。
  14. §12.4 定理 T165：线性规划表述过宽，应收紧为二维凸多边形情形。
  15. §13.3 定理 T183：对"任意二次曲线"表述过宽，应收紧为非退化标准二次曲线。
  16. §14.9 定理 T199：非严格单调不足以保证至多一个零点，应改为严格单调。
  17. §14.11 定理 T203：洛必达法则陈述过宽，缺分母非零条件与显式证明。
  18. §19.5 定理 T238：微积分第一基本定理未限定内点可导，端点不保证可导。
第二档缺少前提条件 / 适用范围过宽62 项
  1. §1.3 例题 E027：裂项分式恒等式没声明分母不能为零，分母为零时等式不成立。
  2. §1.3 例题 E031：利用 abc=1 统一分母时没排除零分母，a,b,c 可能为零导致分母为 0。
  3. §1.3 例题 E032：在 a+b+c=0 条件下通分，没排除零分母，分母含零变形无效。
  4. §1.3 例题 E041：逐项作差等式没排除 a=0 等零分母，分母为零恒等式无意义。
  5. §1.3 例题 E044：分母化为 -2bc 等之后求和为 0，缺少零分母排除的条件。
  6. §1.3 例题 E045：比例式已经隐含 x,y,z 非零，但没明确写出来，不够清楚。
  7. §1.3 例题 E046：通分后分子逐项抵消，没排除零分母，分母为零时不成立。
  8. §1.5 例题 E064：倒数换元要求 x 非零且 |t|≥2，题面没声明"在实数范围内"。
  9. §1.5 例题 E067：部分分式分解没排除使原分母为零的 n 值，n=0,-1,-2 时分母为 0。
  10. §1.5 例题 E076：分母要求 ab≠0 但没说明，分母为零时等式无意义。
  11. §1.1 引理 T001：齐次性等价刻画缺少"非零多项式"的前提，否则恒为零时定义失效。★
  12. §1.2 性质 T004：立方和与立方差公式没写适用范围，应写明"对任意数 a,b"。
  13. §1.2 性质 T005：完全立方公式没写适用范围，同 T004。
  14. §1.2 定理 T007：奇数次幂和公式没限定 n 为正奇数，n 不限制时不一定成立。
  15. §1.6 定理 T018：线性不定方程通解缺 a,b 非零前提，a,b 为零时通解公式失效。
  16. §2.1 定理 T021：德摩根定律没明确 A,B 是 U 的子集，还缺第二式的证明。
  17. §3.3 定理 T026：导数与单调性定理缺少连续/内点可导的前提。
  18. §3.4 定理 T029：对称性判据缺定义域封闭和恒成立的条件，适用范围不清。
  19. §3.5 定理 T033：函数方程迭代第三式缺少分母非零的前提。
  20. §3.6 定理 T035：二阶导数判定法缺连续/内部二阶可导前提和中值定理证明。
  21. §3.7 定理 T038：反函数存在充要条件缺值域前提和双向证明。
  22. §3.9 定理 T044：复合函数奇偶性缺少外层函数在对应区域上奇偶性的条件。
  23. §3.10 定理 T046：对称变换缺 y=x 对称时反函数存在的说明，无反函数不能写 f⁻¹(x)。
  24. §3.11 定理 T049：三次函数中心对称缺 a≠0 条件，证明被跳过。
  25. §3.11 定理 T050：三次方程根与系数关系缺 a≠0 和按重数计根的前提。
  26. §4.2 定理 T059：四类柯西方程的定义域/连续性假设不够严格，需收紧并补零函数分支。
  27. §4.2 定理 T060：平移变式缺 f:ℝ→ℝ 连续的前提。
  28. §4.2 定理 T061：带尺度因子的乘法型方程缺正定义域、非平凡解等条件。
  29. §4.4 定理 T064：正切函数模型缺分母非零及正切极点的限制。★
  30. §5.1 定理 T068：均值不等式链 H≤G 和 A≤Q 没写等号成立的条件。
  31. §5.3 定理 T069：三段不等式的等号条件来源不明，没给推导。
  32. §6.10 定理 T084：正切三倍角公式缺少 tanα、tan3α 有意义及分母非零的条件。★
  33. §7.10 定理 T098：连乘相消缺数列各项非零条件，分母可能为零。
  34. §7.10 定理 T099：二阶递推缺 q≠0 条件和通项唯一性证明。
  35. §7.16 定理 T109：莱布尼茨判别法缺少 a_n>0 的前提。
  36. §9.1 定理 T112：乘法原理缺"后续每步选择数对任意前缀固定"的条件。
  37. §9.3 定理 T115：二项式定理缺变量可交换的条件。
  38. §9.4 定理 T117/T118：多项式定理缺可交换变量/数的前提。
  39. §11.1 定理 T129：正弦定理缺非退化三角形前提和正弦非零说明。
  40. §11.1 定理 T130：余弦定理缺非退化三角形前提。
  41. §12.3 定理 T164：点到直线距离公式缺 A,B 不同时为 0 的条件。
  42. §12.5 定理 T167：焦点-中心弦三角形面积范围没排除长轴退化。
  43. §12.5 定理 T172：韦达定理缺 a≠0 条件和证明。
  44. §12.5 定理 T173：弦长公式缺 a≠0, Δ>0 条件和证明。
  45. §12.5 定理 T174：弦中点斜率关系没处理竖直弦和 x_M=0 时分母为零的情况。
  46. §13.2 定理 T181：交比射影不变性证明缺四线互异、截线非退化等条件。
  47. §13.2 定理 T182：调和点列倒数关系缺有向线段非零条件。
  48. §14.7 定理 T194：罗尔定理缺少 a
  49. §14.7 定理 T195：拉格朗日中值定理缺少 a
  50. §14.7 定理 T196：函数单调性判定缺区间连续/内部可导前提。
  51. §14.8 定理 T198：柯西中值定理缺 a★
  52. §16.4 定理 T212：乘除法三角表示缺 z₁, z₂ 非零条件。
  53. §17.1 公理 T219：两平面相交公理应限定为不同平面，重合时无交线。★
  54. §17.3 定理 T223：线面平行性质定理缺少"经过该直线且与此平面相交"的前提。
  55. §17.3 定理 T226：平行平面传递性没排除重合平面。
  56. §19.3 定理 T234：第一类换元法则缺复合定义域前提 g(I)⊂J。
  57. §19.5 定理 T237：连续函数可积性定理缺 a
  58. §19.6 定理 T240/T241：定积分线性性与积分中值定理缺 a★
  59. §20.3 定理 T243：一阶线性微分方程求解缺 P, Q 连续的前提。
  60. §21.2 定理 T245-T247：矩阵运算律缺同阶矩阵/维数相容的前提。
  61. §21.2 定理 T249：二次曲线分类准则缺 A, B, C 不全为零及退化情形说明。
  62. §21.2 定理 T251：克拉默法则缺维数前提。
第三档证明不完整86 项
  1. §1.3 例题 E040：Lagrange 恒等式只证明了 n=3 的情形，没给出一般形式。
  2. §1.6 例题 E080：证明用了"因子传递"的不严谨说法，应直接写成 2×整数，并覆盖 n=0 和负整数。
  3. §1.2 定理 T008：一元二次分解公式没说明 Δ<0 时不能实分解，结论不完整。
  4. §1.2 定理 T009：齐次二次分解没处理 y=0 边界和 Δ<0 情形，边界不完整。
  5. §1.2 定理 T012：有理根定理缺少 p=0 的分支，a₀=0 时需要单独处理。
  6. §1.3 定理 T013：说"n 次多项式"不够严谨，应为"次数不超过 n"。
  7. §1.6 定理 T014：整除基本性质证明跳过了自反性和传递性，不该直接略证。
  8. §1.6 定理 T016：gcd·lcm=ab 缺完整证明，完善。
  9. §1.6 定理 T017：裴蜀定理充分性缺乏构造依据，扩展欧几里得的回代步骤要说明。
  10. §1.6 定理 T019：本原毕达哥拉斯三元组参数化只给了形式，没验证充分性。
  11. §2.1 命题 T020：集合相等判定缺双向证明，证明不完整。
  12. §2.3 定理 T024：逆否等价用 Venn 图直观证明不够，应改为真值表证明。
  13. §2.3 定理 T025：量词否定律只有直观理解，缺严格证明。
  14. §3.4 推论 T030：常见对称形式推论直接给结论，没证明。
  15. §3.5 定理 T032：对称性推出周期性漏掉了轴心重合时的边界情形。
  16. §3.6 定理 T034：凹凸性等价结论只说"从略"，缺反向证明。
  17. §3.6 推论 T037：Jensen 算术平均形式的证明循环引用了加权形式，应该直接由加权推。
  18. §3.7 定理 T039：反函数性质四条只证了一条，缺后三条证明。
  19. §3.9 定理 T042：复合函数定义域公式只给了公式，没证明内层值域落入外层定义域。
  20. §3.10 定理 T045：平移伸缩变换原先没证明，需要补坐标变换证明。
  21. §3.10 定理 T047：翻折变换没给分段/点集证明。
  22. §3.11 定理 T051：切线条数判定原无证明。
  23. §3.11 定理 T052：原函数与导函数对称性互换只证了一条，另一条没证。
  24. §3.12 定理 T054：自然指数函数性质缺存在/唯一性证明和可导范围。
  25. §3.14 定理 T055：对数运算法则只详细证了乘法，缺商和幂的证明。
  26. §3.16 定理 T057：零点存在性定理缺介值定理证明。
  27. §3.18 定理 T058：绝对值性质只证了三角不等式，缺其余性质证明。
  28. §4.3 定理 T062：原证明只验证二次多项式是候选，没证唯一性。
  29. §4.4 定理 T063：达朗贝尔方程缺零函数平凡解和反向验证。
  30. §5.5 定理 T071：Engel 形式缺等号条件反向证明。
  31. §5.5 定理 T072：闵可夫斯基不等式没说明等号何时成立。
  32. §5.6 定理 T073：逆序和最小的证明缺对称论证，没完成下界证明。
  33. §5.7 定理 T074：伯努利不等式整数形式没证等号条件。
  34. §5.7 定理 T075：实数形式 α<0 的证明用"类似"跳过了关键步骤。
  35. §6.9 定理 T081：和差角公式大全没给证明环境，需补证明和正切分母条件。
  36. §6.11 定理 T085：万能公式的证明缺少 tanα 公式的推导。
  37. §6.13 定理 T086/T087：积化和差与和差化积公式缺推导证明。
  38. §6.16 定理 T089：反正切加法公式在 ab<1 时缺余弦符号的主值区间论证。
  39. §7.10 定理 T097：累加法裂项相消没证明。
  40. §7.11 定理 T100：压缩映射原理缺 Banach 完整证明。
  41. §7.15 定理 T102：极限运算法则证明缺少显式 proof 环境。
  42. §7.15 定理 T106：e 的极限原无收敛性证明。
  43. §7.16 定理 T108：项趋零性证明缺少 S_{n-1} 与 S_n 同极限的平移说明。
  44. §7.17 定理 T110：泰勒中值定理缺证明，假设也不够精确。
  45. §10.1 定理 T119：德·摩根定律原无证明。
  46. §10.1 定理 T125：错排数通项公式只依赖前例，缺容斥原理证明。
  47. §10.1 定理 T126：错排数递推关系缺按元素 n 分类的证明。
  48. §10.1 定理 T127：极限概率公式直接给结论，缺 e^{-1} 泰勒级数证明。
  49. §10.1 定理 T128：最佳整数近似没证 |n!/e - D_n| < 1/2 的余项界。
  50. §11.1 定理 T131：外心位置特征原为略证，证明不完整。
  51. §11.1 定理 T139：重心基本性质原为略证。
  52. §11.1 定理 T142：边与中线平方和关系没有证明。
  53. §11.1 定理 T143：垂心位置特征没有证明。
  54. §11.1 定理 T144：垂足圆性质没证明，垂足来源也不明确。
  55. §11.1 定理 T145：垂心与外心向量关系没有证明。
  56. §11.1 定理 T150：高线长公式没有证明。
  57. §12.1 定理 T154：平行四边形法则缺证明环境。
  58. §12.1 定理 T156：极化恒等式推导正确，但缺显式证明环境。
  59. §12.2 定理 T157：三点共线定理唯一性需排除 A=B 的退化情形。
  60. §12.4 引理 T166：皮克定理证明从矩形到直角三角形过渡有跳跃。
  61. §12.5 定理 T168/T169：椭圆反射性质和焦半径公式缺证明环境。
  62. §12.5 定理 T170：椭圆导演圆只证了必要性，缺充分性及竖直切线特殊点。
  63. §12.5 定理 T171：统一焦点-准线定义缺显式证明。
  64. §13.3 定理 T184：极线方程原无显式证明。
  65. §13.4 定理 T185：La Hire 定理原无显式证明。
  66. §14.2 定理 T188：左右极限判定原无 ε-δ 证明。
  67. §14.5 定理 T190：极限运算只证了和法则，略去了乘积、常数倍、倒数、商法则。
  68. §14.8 定理 T197：线性近似误差公式缺 x=x₀ 平凡情形的说明。
  69. §14.10 定理 T201/T202：凹凸性判定与极值第二充分条件缺证明。
  70. §14.12 定理 T204/T205：端点分析法与局部保号性缺双向完整证明。
  71. §15.4 定理 T208：圆锥曲线统一极坐标方程缺焦点-准线推导与 ρ≥0 分母条件。
  72. §16.1 性质 T209：复数相等判定缺代数形式唯一性证明。
  73. §16.1 性质 T210：模与共轭乘法性质证明循环依赖后续性质。
  74. §16.3 定理 T211：共轭虚根公式缺定理标题与配方法证明。
  75. §16.4 定理 T213：棣莫弗公式只证了正整数指数，缺负整数指数。
  76. §16.5 推论 T215：复系数多项式按重数分解缺归纳法证明。
  77. §17.1 定理 T220/T221：确定平面的定理缺标题和统一性证明。
  78. §17.4 定理 T227-T230：线面垂直、三垂线等证明有跳步，应改写严格证明。
  79. §19.1 定理 T232：连续函数原函数存在定理缺构造性证明。
  80. §19.4 定理 T235：分部积分法仅有公式，缺乘积求导法则证明。
  81. §19.4 定理 T236：分部求和法缺证明且标题格式不完整。
  82. §20.2 定理 T242：指数增长模型证明除以 y 漏掉零解。
  83. §20.4 定理 T244：微分方程法流程缺"微分仅给候选、最终需检验"的警示。
  84. §21.2 定理 T248：面积变换定理缺 det(A)=0 情形与完整证明。
  85. §21.2 定理 T250：逆矩阵公式缺充要性证明。
  86. §21.2 定理 T252：秩定理缺行秩等于列秩的完整证明。
第四档表述与格式问题7 项
  1. §2.1 例题 E096：数轴图中 B 左侧区间起点画错了，和图文矛盾。
  2. §2.1 例题 E098：同样问题，数轴图里 B 左侧区间起点不对。
  3. §2.1 定理 T023：容斥原理最后一行求和简写与定理正文不一致。
  4. §7.1 公理 T090：数学归纳法起始值没明确是正整数。
  5. §14.6 定理 T191：无穷极限定义中"|x|无限增大"与 x>M 表述不一致。
  6. §14.7 定理 T193：费马引理证明中极大值定义的表述有歧义。
  7. §19.2 定理 T233：不定积分线性性质没明确"积分常数重新合并"的理解。

設計思想

理念と特徴

学習者の視点から、関数・極限・導数の本質的な考え方を、わかりやすい言葉と厳密な議論で順を追って展開します。版式、図表、リズムのすべては「読者が本当に理解できること」を目指しています。

21章

『高校数学の旅』がカバーする中心テーマ

43講

『関数と導数』第一冊のテーマと例題構成

100%無料コンテンツ

無料版でも全文とすべての図表が読めます

すっきり読める PDF

有料版は透かしを削除し、本文とレイアウトは無料版と同じです。

組版も表現

数式、図形、余白、フォントまで、論理の流れが見えるように細かく調整しています。

無料で全文読める

無料版ですべての章と図表にアクセスできます。知識は誰にでも届くべきです。

精密な図表

関数のグラフや幾何図形は、数学的な関係性に沿って正確に描いています。

丁寧な校正

複数回の見直しと完全な正誤表で、内容を正確に保っています。

テーマ別分冊

数学のテーマごとに分冊しているので、気になるテーマだけ独立して読めます。

版の比較

版を選ぶ

無料版と有料版の本文は同じです。有料版は透かしを削除するだけで、作者への支援でもあります。

Watermark-Free Edition

透かしなし版

本文は同じ · 透かしのみ削除
  • 無料版と本文は完全に同じ
  • 透かしを削除した読みやすいページ
  • テーマ別分冊を個別にダウンロード
  • 今後の改訂を優先して利用可能
  • 作者への支援になります

紙面プレビュー

ページを少しだけ見る

二つの本からいくつかのページを抜き出し、組版の雰囲気を先に確認できるようにしました。

《函数与导数》

《函数与导数》内页预览 1《函数与导数》内页预览 2《函数与导数》内页预览 3

《高中数学之旅》

《高中数学之旅》内页预览 1《高中数学之旅》内页预览 2《高中数学之旅》内页预览 3

執筆のきっかけ、学習と近況

執筆のきっかけと更新の近況

ここでは、もとの書籍説明ページにあった背景を残し、なぜ書いたのか、現在の状態を説明します。

執筆のきっかけと方法

この本の出発点は、高校三年間に残してきた数学のノートと思考です。

単に問題パターンと例題を並べるのではなく、定義や定理から推論の分岐をたどり、答えへ収束していく論理の流れを見せたいと思いました。

問題集、AI、学習方法について

以前は解答集の考え方のガイドが重要だと思っていましたが、次第に考えを変えました。AI と協働する対話的な学習は、紙の解答より明らかに効率的です。

本物の思考プロセスをインタラクティブなシステムに任せる方が効率的です。

支援

愛発電で支援する

支援は今後の執筆と開発の力になります。有料版と無料版の本文は同じで、支援版は透かしのみ削除されています。

支援ありがとうございます

愛発電のページから透かしなし版を入手し、作者を支援できます。

afdian.com/a/writeamathbook ↗
ありがとう

スポンサーの壁

愛発電を通して執筆やオープンソース活動を支えてくれている皆さんへ、感謝を込めて。

スポンサー一覧を読み込み中…
Project Akari

Project Akari

Illuminating the Path of Learning

Project Akari は、より効率的で親しみやすい学習体験を作るためのプロジェクトです。

書籍と関連ソフトウェアを通じて、より自由で続けやすい学び方を目指しています。

Atom Feed

萌 ICP 備 20260097 号

このサイトは Cloudflare CDN で配信されています

© 2026 Akari / 篠崎香澄 · Atom