简介这份PDF面向学习高等数学、准备考研或从事算法与工程计算的读者系统整理了三角函数公式与求导公式帮助解决角度计算、表达式化简及微积分求导等基础问题。资源共1个PDF文件压缩包约100KB内容按模块编排涵盖诱导公式、两角和与差、二倍角与三倍角、辅助角与降次配方、万能公式、和差化积与积化和差、倍角半角公式以及sin、cos、tan等基本函数与反三角函数、双曲函数的求导公式。已有258人学习下载适合作为手边速查手册便于在物理振动分析、信号处理、计算机图形学旋转平移等场景中快速调用公式也能帮助后端开发者理解算法设计中的数学模型提升推导与解题效率。1. 三角函数公式及求导公式.pdf一份被低估的“数学速查底座”做后端开发的人尤其是写 Java、Spring Boot 那套东西的平时很少主动翻三角函数。但真到了业务里——地图两点算方位角、音频做重采样、游戏服务端算抛物线弹道、报表里画个极坐标图——你突然发现Math.sin、Math.atan2这些方法就在那儿摆着可公式怎么推、导数怎么来的脑子里一片空白。这份《三角函数公式及求导公式.pdf》就是干这个的它不是教材是一份把常用恒等式、和差化积、倍角半角、反三角以及对应求导结果集中到一处的速查文档。适合谁适合已经离开校园、手边需要一份能快速定位公式、又不想翻整本高数书的后端和算法同学。我把它当成一个“数学常量表”来用查完就走不占脑子。2. 公式文档的定位与选型为什么不用现成库硬扛2.1 公式速查和代码库的分工边界很多人第一反应是Java 里Math类都封装好了我直接调不就行了这话对了一半。Math.sin(double a)确实能算值但它不告诉你sin(ab)展开成什么也不告诉你arcsin的导数在边界处为什么发散。当你在 Spring Boot 里写一个坐标转换接口参数校验阶段需要判断角度是否落在合法区间或者需要把两个旋转矩阵合并这时候缺的不是计算能力是公式本身。这份 PDF 的价值就在于把“计算”和“推导依据”拆开了代码负责算文档负责让你知道该调哪个、边界在哪。常见做法是把 PDF 里高频用到的恒等式摘出来在项目里建一个MathFormulaUtil工具类每个方法上面用注释标清楚对应公式编号。这样 review 代码的人一眼能对回文档比硬编码一个魔数强得多。2.2 文档结构拆解从恒等式到求导的编排逻辑拿到一份公式文档先别急着从头背。我一般先看它的组织方式。这类 PDF 通常分三块第一块是基本关系倒数、商数、平方关系第二块是变换公式和差、倍角、半角、积化和差、和差化积第三块是反三角函数和求导公式。这个顺序是有讲究的——求导公式里大量用到前面的恒等式做化简比如推导tan(x)的导数需要用到sec^2(x) 1 tan^2(x)而这条又来自平方关系。如果你手头这份 PDF 带目录书签直接跳转如果没有建议自己用 PDF 阅读器加几个书签按“基本关系 / 和差倍半 / 积化和差 / 反三角 / 求导”五段分。别小看这个动作查公式时省下的时间是以秒计的而调试时最缺的就是秒。2.3 在 Spring Boot 项目里怎么“挂”这份文档文档本身不参与编译但可以把它变成项目资产。我习惯在src/main/resources/doc/下放一份同时在pom.xml里不做任何打包排除这样构建出来的 jar 里带一份部署到服务器后运维同学也能翻。如果团队用 Confluence 或内部 Wiki就把 PDF 转成 Markdown 表格贴上去检索更快。# 把 PDF 放进资源目录保持原文件名便于检索 mkdir -p src/main/resources/doc cp 三角函数公式及求导公式.pdf src/main/resources/doc/ # 确认打包时不会被过滤掉默认 resources 下文件都会进 jar mvn clean package jar tf target/your-app.jar | grep doc/上面这段命令做两件事一是把文档归位到资源目录二是验证打包结果里确实包含它。参数上没什么可调的唯一要注意的是如果项目用了maven-resources-plugin的自定义 includes得把**/*.pdf加进去否则 jar 里是空的。这个坑我踩过一次线上排查问题时想翻公式结果发现根本没打进去只能回本地找。3. 把公式落到 Java 代码从 sin 到 atan2 的实操映射3.1 基本恒等式的代码验证文档里的平方关系sin^2(a) cos^2(a) 1看着简单但在浮点运算里直接写Math.sin(a)*Math.sin(a) Math.cos(a)*Math.cos(a) 1是会翻车的。正确做法是用一个极小值EPSILON做容差判断。下面这段代码把文档里前几页的恒等式挨个验一遍跑一次就能确认你对公式的理解和 Java 实现是对齐的。public class TrigIdentityCheck { private static final double EPS 1e-9; public static void main(String[] args) { double a 0.7; // 弧度别用角度直接塞进去 // 平方关系sin^2 cos^2 1 double sq Math.sin(a) * Math.sin(a) Math.cos(a) * Math.cos(a); System.out.println(sin^2cos^2 sq - (Math.abs(sq - 1) EPS)); // 商数关系tan sin/cos double tan Math.tan(a); System.out.println(tan vs sin/cos - (Math.abs(tan - Math.sin(a)/Math.cos(a)) EPS)); // 倍角sin(2a) 2*sin(a)*cos(a) double sin2a Math.sin(2 * a); double sin2aFormula 2 * Math.sin(a) * Math.cos(a); System.out.println(sin(2a) - (Math.abs(sin2a - sin2aFormula) EPS)); } }逻辑说明EPS取1e-9是因为double在0.7这种量级下有效位大约 15 位留 6 位余量足够。参数a必须用弧度Java 的Math系列全部吃弧度如果你从业务里拿到的是角度先Math.toRadians(deg)。这段代码不依赖任何第三方库直接javac就能跑适合放在单元测试里当“公式回归测试”——哪天有人改了工具类跑一下就知道有没有破坏恒等式。3.2 和差化积在坐标旋转里的实际用法文档中段的和差化积公式最常出现在二维坐标旋转里。假设你有一个点(x, y)绕原点转theta弧度新坐标是x x*cos(theta) - y*sin(theta)y x*sin(theta) y*cos(theta)。这个式子本身就是和角公式的展开。如果你要连续转两次比如先转alpha再转beta文档里的和角公式告诉你可以直接合并成alpha beta省一次矩阵乘法。public class RotatePoint { // 绕原点旋转输入输出都是弧度制 public static double[] rotate(double x, double y, double theta) { double cos Math.cos(theta); double sin Math.sin(theta); return new double[]{ x * cos - y * sin, // x x * sin y * cos // y }; } public static void main(String[] args) { double[] p {1.0, 0.0}; double alpha Math.toRadians(30); double beta Math.toRadians(60); // 分两步转 double[] step1 rotate(p[0], p[1], alpha); double[] step2 rotate(step1[0], step1[1], beta); // 合并成一步转 90 度 double[] merged rotate(p[0], p[1], alpha beta); System.out.printf(分步: (%.6f, %.6f)%n, step2[0], step2[1]); System.out.printf(合并: (%.6f, %.6f)%n, merged[0], merged[1]); } }逻辑说明rotate方法里cos和sin各算一次避免重复调用。main里先分步再合并输出应该都是(0.000000, 1.000000)附近。参数theta用弧度Math.toRadians负责转换。这个例子直接对应文档里“和角公式”那一节你翻 PDF 找到sin(ab)和cos(ab)的展开再对照代码就能明白为什么合并旋转是合法的。常见误用是角度弧度混用比如把30直接传给rotate结果会得到一个完全离谱的坐标而且不报错纯靠肉眼发现。3.3 反三角函数与 atan2 的边界处理文档最后一部分讲反三角和求导其中atan2(y, x)是工程里用得最多、也最容易用错的。Math.atan2(y, x)返回的是点(x, y)与正 x 轴的夹角范围(-pi, pi]。它比atan(y/x)强的地方在于能区分象限x为 0 时也不会炸。但要注意参数顺序是y在前x在后写反了结果差 90 度这种 bug 在调试时特别隐蔽。public class Atan2Demo { public static void main(String[] args) { // 第一象限 System.out.println(Math.atan2(1, 1)); // 约 0.7854 (45度) // 第二象限x 负 y 正 System.out.println(Math.atan2(1, -1)); // 约 2.3562 (135度) // x 为 0y 正 System.out.println(Math.atan2(1, 0)); // 约 1.5708 (90度) // 原点返回 0 System.out.println(Math.atan2(0, 0)); // 0.0 } }逻辑说明四个输出分别覆盖了四个典型边界。atan2(1, -1)给出 135 度而不是 -45 度这就是它比atan多出来的象限信息。atan2(0, 0)在 Java 里返回0.0而不是抛异常但数学上原点方向无定义业务里如果遇到原点要单独处理。参数上唯一要记的就是y在前。文档里反三角求导公式d(arctan(x))/dx 1/(1x^2)在x很大时趋近 0对应到atan2就是角度变化对坐标变化不敏感做数值优化时要注意这个平坦区。4. 避坑与排查公式文档用错时的五个血泪现场4.1 角度弧度混用导致结果“看起来对但全错”现象坐标旋转后图形形状没变但整体位置偏了或者动画速度不对。原因Java 的Math.sin吃弧度业务传入的是角度没转。解决在所有对外接口的入口处强制Math.toRadians并在工具类方法签名里用param theta 弧度注释标死。我一般会在单元测试里放一个assertThrows或者断言专门测“传角度会得到错误结果”提醒后来人。4.2 浮点相等判断直接写 导致恒等式验证失败现象明明公式没错sin^2cos^2打印出来是0.9999999999999999 1返回false。原因IEEE 754 浮点表示误差。解决统一用Math.abs(a - b) EPSEPS按量级取1e-9或1e-12。文档里的恒等式是精确数学代码里必须带容差这两者不矛盾。4.3 atan2 参数顺序写反导致方位角差 90 度现象地图上算两点方位角结果总是偏 90 度检查公式又没错。原因Math.atan2(y, x)第一个参数是 y 不是 x。解决封装一个bearing(x1, y1, x2, y2)方法内部只调一次atan2外部不直接碰。这样即使有人记错也只错一处改一处。4.4 反三角定义域越界返回 NaN 却没检查现象Math.asin(1.0000001)返回NaN后续计算全变NaN日志里只看到一堆NaN找不到源头。原因asin和acos的定义域是[-1, 1]浮点误差可能让本该是 1 的值变成 1.0000000000000002。解决调用前先Math.max(-1, Math.min(1, value))夹一下或者用if (v -1 || v 1)提前抛业务异常。文档里反三角那页的求导公式也暗示了边界处导数发散数值上要小心。4.5 把 PDF 当唯一真相忽略版本差异现象文档里某个恒等式和你记忆中的符号相反纠结半天。原因不同教材对反三角的值域定义可能差一个常数比如arccot有的取(0, pi)有的取(-pi/2, pi/2)。解决以你项目实际用的数学库为准Java 的Math只提供asin、acos、atan没有acot需要自己用atan(1/x)拼这时候值域要自己定。文档是参考不是圣旨遇到冲突以代码运行结果为准但要把选择记在注释里。5. 进阶技巧把公式文档变成可检索的本地知识库5.1 用 Python 把 PDF 转成结构化 MarkdownPDF 翻起来还是慢尤其是想搜“半角公式”的时候。我一般用pdfplumber把文字抽出来按标题切块存成 Markdown再丢进本地搜索工具。下面这段脚本只做一件事把 PDF 每页文字提取出来按空行分段输出一个.md文件。公式里的特殊符号可能会乱但关键词能搜到就行。import pdfplumber def pdf_to_md(pdf_path, md_path): with pdfplumber.open(pdf_path) as pdf, open(md_path, w, encodingutf-8) as out: for i, page in enumerate(pdf.pages, 1): text page.extract_text() or out.write(f\n## Page {i}\n\n) # 按行写入保留原始换行方便后续 grep for line in text.split(\n): out.write(line.strip() \n) if __name__ __main__: pdf_to_md(三角函数公式及求导公式.pdf, trig_formulas.md) print(done)逻辑说明extract_text()对纯文字 PDF 效果好如果文档是扫描图片这招无效得走 OCR。page循环里加了页码标题方便回溯。参数上pdf_path和md_path按实际路径改。跑完之后用grep -n 半角 trig_formulas.md就能秒定位。注意数学符号如∫、∑可能变成乱码但sin、cos、tan这些英文关键词一定在够用了。5.2 在 IDE 里建 Live Template 快速插入公式代码IntelliJ IDEA 的 Live Template 可以把你最常用的几个公式直接变成代码片段。比如我建了一个sin2a展开就是2 * Math.sin($A$) * Math.cos($A$)。这样写代码时不用翻文档敲几个字母就出来。配置路径Settings - Editor - Live Templates - Java新建模板缩写填sin2a模板文本填上面那行$A$是变量占位符。用几次之后肌肉记忆就形成了比查 PDF 快一个数量级。5.3 验证方法用已知角度反查公式最后说一个我每次拿到新公式文档都会做的验证取几个特殊角0、30、45、60、90 度把文档里的公式代进去看结果是否和已知值一致。比如半角公式sin(15°) sqrt((1 - cos(30°))/2)算出来约 0.2588和Math.sin(Math.toRadians(15))对比误差在1e-9以内就说明公式抄对了。这个习惯帮我逮到过好几次文档排版错误——PDF 里上下标挤在一起sin^2看成sin2是常有的事。从那以后我每次拿到一份新的数学速查文档都强制走一遍“特殊角验证 转 Markdown 建 Live Template”这三步花不了十分钟但后面几个月查公式的效率完全不一样。希望帮到你。本文还有配套的精品资源点击获取
简介这份PDF面向学习高等数学、准备考研或从事算法与工程计算的读者系统整理了三角函数公式与求导公式帮助解决角度计算、表达式化简及微积分求导等基础问题。资源共1个PDF文件压缩包约100KB内容按模块编排涵盖诱导公式、两角和与差、二倍角与三倍角、辅助角与降次配方、万能公式、和差化积与积化和差、倍角半角公式以及sin、cos、tan等基本函数与反三角函数、双曲函数的求导公式。已有258人学习下载适合作为手边速查手册便于在物理振动分析、信号处理、计算机图形学旋转平移等场景中快速调用公式也能帮助后端开发者理解算法设计中的数学模型提升推导与解题效率。1. 三角函数公式及求导公式.pdf一份被低估的“数学速查底座”做后端开发的人尤其是写 Java、Spring Boot 那套东西的平时很少主动翻三角函数。但真到了业务里——地图两点算方位角、音频做重采样、游戏服务端算抛物线弹道、报表里画个极坐标图——你突然发现Math.sin、Math.atan2这些方法就在那儿摆着可公式怎么推、导数怎么来的脑子里一片空白。这份《三角函数公式及求导公式.pdf》就是干这个的它不是教材是一份把常用恒等式、和差化积、倍角半角、反三角以及对应求导结果集中到一处的速查文档。适合谁适合已经离开校园、手边需要一份能快速定位公式、又不想翻整本高数书的后端和算法同学。我把它当成一个“数学常量表”来用查完就走不占脑子。2. 公式文档的定位与选型为什么不用现成库硬扛2.1 公式速查和代码库的分工边界很多人第一反应是Java 里Math类都封装好了我直接调不就行了这话对了一半。Math.sin(double a)确实能算值但它不告诉你sin(ab)展开成什么也不告诉你arcsin的导数在边界处为什么发散。当你在 Spring Boot 里写一个坐标转换接口参数校验阶段需要判断角度是否落在合法区间或者需要把两个旋转矩阵合并这时候缺的不是计算能力是公式本身。这份 PDF 的价值就在于把“计算”和“推导依据”拆开了代码负责算文档负责让你知道该调哪个、边界在哪。常见做法是把 PDF 里高频用到的恒等式摘出来在项目里建一个MathFormulaUtil工具类每个方法上面用注释标清楚对应公式编号。这样 review 代码的人一眼能对回文档比硬编码一个魔数强得多。2.2 文档结构拆解从恒等式到求导的编排逻辑拿到一份公式文档先别急着从头背。我一般先看它的组织方式。这类 PDF 通常分三块第一块是基本关系倒数、商数、平方关系第二块是变换公式和差、倍角、半角、积化和差、和差化积第三块是反三角函数和求导公式。这个顺序是有讲究的——求导公式里大量用到前面的恒等式做化简比如推导tan(x)的导数需要用到sec^2(x) 1 tan^2(x)而这条又来自平方关系。如果你手头这份 PDF 带目录书签直接跳转如果没有建议自己用 PDF 阅读器加几个书签按“基本关系 / 和差倍半 / 积化和差 / 反三角 / 求导”五段分。别小看这个动作查公式时省下的时间是以秒计的而调试时最缺的就是秒。2.3 在 Spring Boot 项目里怎么“挂”这份文档文档本身不参与编译但可以把它变成项目资产。我习惯在src/main/resources/doc/下放一份同时在pom.xml里不做任何打包排除这样构建出来的 jar 里带一份部署到服务器后运维同学也能翻。如果团队用 Confluence 或内部 Wiki就把 PDF 转成 Markdown 表格贴上去检索更快。# 把 PDF 放进资源目录保持原文件名便于检索 mkdir -p src/main/resources/doc cp 三角函数公式及求导公式.pdf src/main/resources/doc/ # 确认打包时不会被过滤掉默认 resources 下文件都会进 jar mvn clean package jar tf target/your-app.jar | grep doc/上面这段命令做两件事一是把文档归位到资源目录二是验证打包结果里确实包含它。参数上没什么可调的唯一要注意的是如果项目用了maven-resources-plugin的自定义 includes得把**/*.pdf加进去否则 jar 里是空的。这个坑我踩过一次线上排查问题时想翻公式结果发现根本没打进去只能回本地找。3. 把公式落到 Java 代码从 sin 到 atan2 的实操映射3.1 基本恒等式的代码验证文档里的平方关系sin^2(a) cos^2(a) 1看着简单但在浮点运算里直接写Math.sin(a)*Math.sin(a) Math.cos(a)*Math.cos(a) 1是会翻车的。正确做法是用一个极小值EPSILON做容差判断。下面这段代码把文档里前几页的恒等式挨个验一遍跑一次就能确认你对公式的理解和 Java 实现是对齐的。public class TrigIdentityCheck { private static final double EPS 1e-9; public static void main(String[] args) { double a 0.7; // 弧度别用角度直接塞进去 // 平方关系sin^2 cos^2 1 double sq Math.sin(a) * Math.sin(a) Math.cos(a) * Math.cos(a); System.out.println(sin^2cos^2 sq - (Math.abs(sq - 1) EPS)); // 商数关系tan sin/cos double tan Math.tan(a); System.out.println(tan vs sin/cos - (Math.abs(tan - Math.sin(a)/Math.cos(a)) EPS)); // 倍角sin(2a) 2*sin(a)*cos(a) double sin2a Math.sin(2 * a); double sin2aFormula 2 * Math.sin(a) * Math.cos(a); System.out.println(sin(2a) - (Math.abs(sin2a - sin2aFormula) EPS)); } }逻辑说明EPS取1e-9是因为double在0.7这种量级下有效位大约 15 位留 6 位余量足够。参数a必须用弧度Java 的Math系列全部吃弧度如果你从业务里拿到的是角度先Math.toRadians(deg)。这段代码不依赖任何第三方库直接javac就能跑适合放在单元测试里当“公式回归测试”——哪天有人改了工具类跑一下就知道有没有破坏恒等式。3.2 和差化积在坐标旋转里的实际用法文档中段的和差化积公式最常出现在二维坐标旋转里。假设你有一个点(x, y)绕原点转theta弧度新坐标是x x*cos(theta) - y*sin(theta)y x*sin(theta) y*cos(theta)。这个式子本身就是和角公式的展开。如果你要连续转两次比如先转alpha再转beta文档里的和角公式告诉你可以直接合并成alpha beta省一次矩阵乘法。public class RotatePoint { // 绕原点旋转输入输出都是弧度制 public static double[] rotate(double x, double y, double theta) { double cos Math.cos(theta); double sin Math.sin(theta); return new double[]{ x * cos - y * sin, // x x * sin y * cos // y }; } public static void main(String[] args) { double[] p {1.0, 0.0}; double alpha Math.toRadians(30); double beta Math.toRadians(60); // 分两步转 double[] step1 rotate(p[0], p[1], alpha); double[] step2 rotate(step1[0], step1[1], beta); // 合并成一步转 90 度 double[] merged rotate(p[0], p[1], alpha beta); System.out.printf(分步: (%.6f, %.6f)%n, step2[0], step2[1]); System.out.printf(合并: (%.6f, %.6f)%n, merged[0], merged[1]); } }逻辑说明rotate方法里cos和sin各算一次避免重复调用。main里先分步再合并输出应该都是(0.000000, 1.000000)附近。参数theta用弧度Math.toRadians负责转换。这个例子直接对应文档里“和角公式”那一节你翻 PDF 找到sin(ab)和cos(ab)的展开再对照代码就能明白为什么合并旋转是合法的。常见误用是角度弧度混用比如把30直接传给rotate结果会得到一个完全离谱的坐标而且不报错纯靠肉眼发现。3.3 反三角函数与 atan2 的边界处理文档最后一部分讲反三角和求导其中atan2(y, x)是工程里用得最多、也最容易用错的。Math.atan2(y, x)返回的是点(x, y)与正 x 轴的夹角范围(-pi, pi]。它比atan(y/x)强的地方在于能区分象限x为 0 时也不会炸。但要注意参数顺序是y在前x在后写反了结果差 90 度这种 bug 在调试时特别隐蔽。public class Atan2Demo { public static void main(String[] args) { // 第一象限 System.out.println(Math.atan2(1, 1)); // 约 0.7854 (45度) // 第二象限x 负 y 正 System.out.println(Math.atan2(1, -1)); // 约 2.3562 (135度) // x 为 0y 正 System.out.println(Math.atan2(1, 0)); // 约 1.5708 (90度) // 原点返回 0 System.out.println(Math.atan2(0, 0)); // 0.0 } }逻辑说明四个输出分别覆盖了四个典型边界。atan2(1, -1)给出 135 度而不是 -45 度这就是它比atan多出来的象限信息。atan2(0, 0)在 Java 里返回0.0而不是抛异常但数学上原点方向无定义业务里如果遇到原点要单独处理。参数上唯一要记的就是y在前。文档里反三角求导公式d(arctan(x))/dx 1/(1x^2)在x很大时趋近 0对应到atan2就是角度变化对坐标变化不敏感做数值优化时要注意这个平坦区。4. 避坑与排查公式文档用错时的五个血泪现场4.1 角度弧度混用导致结果“看起来对但全错”现象坐标旋转后图形形状没变但整体位置偏了或者动画速度不对。原因Java 的Math.sin吃弧度业务传入的是角度没转。解决在所有对外接口的入口处强制Math.toRadians并在工具类方法签名里用param theta 弧度注释标死。我一般会在单元测试里放一个assertThrows或者断言专门测“传角度会得到错误结果”提醒后来人。4.2 浮点相等判断直接写 导致恒等式验证失败现象明明公式没错sin^2cos^2打印出来是0.9999999999999999 1返回false。原因IEEE 754 浮点表示误差。解决统一用Math.abs(a - b) EPSEPS按量级取1e-9或1e-12。文档里的恒等式是精确数学代码里必须带容差这两者不矛盾。4.3 atan2 参数顺序写反导致方位角差 90 度现象地图上算两点方位角结果总是偏 90 度检查公式又没错。原因Math.atan2(y, x)第一个参数是 y 不是 x。解决封装一个bearing(x1, y1, x2, y2)方法内部只调一次atan2外部不直接碰。这样即使有人记错也只错一处改一处。4.4 反三角定义域越界返回 NaN 却没检查现象Math.asin(1.0000001)返回NaN后续计算全变NaN日志里只看到一堆NaN找不到源头。原因asin和acos的定义域是[-1, 1]浮点误差可能让本该是 1 的值变成 1.0000000000000002。解决调用前先Math.max(-1, Math.min(1, value))夹一下或者用if (v -1 || v 1)提前抛业务异常。文档里反三角那页的求导公式也暗示了边界处导数发散数值上要小心。4.5 把 PDF 当唯一真相忽略版本差异现象文档里某个恒等式和你记忆中的符号相反纠结半天。原因不同教材对反三角的值域定义可能差一个常数比如arccot有的取(0, pi)有的取(-pi/2, pi/2)。解决以你项目实际用的数学库为准Java 的Math只提供asin、acos、atan没有acot需要自己用atan(1/x)拼这时候值域要自己定。文档是参考不是圣旨遇到冲突以代码运行结果为准但要把选择记在注释里。5. 进阶技巧把公式文档变成可检索的本地知识库5.1 用 Python 把 PDF 转成结构化 MarkdownPDF 翻起来还是慢尤其是想搜“半角公式”的时候。我一般用pdfplumber把文字抽出来按标题切块存成 Markdown再丢进本地搜索工具。下面这段脚本只做一件事把 PDF 每页文字提取出来按空行分段输出一个.md文件。公式里的特殊符号可能会乱但关键词能搜到就行。import pdfplumber def pdf_to_md(pdf_path, md_path): with pdfplumber.open(pdf_path) as pdf, open(md_path, w, encodingutf-8) as out: for i, page in enumerate(pdf.pages, 1): text page.extract_text() or out.write(f\n## Page {i}\n\n) # 按行写入保留原始换行方便后续 grep for line in text.split(\n): out.write(line.strip() \n) if __name__ __main__: pdf_to_md(三角函数公式及求导公式.pdf, trig_formulas.md) print(done)逻辑说明extract_text()对纯文字 PDF 效果好如果文档是扫描图片这招无效得走 OCR。page循环里加了页码标题方便回溯。参数上pdf_path和md_path按实际路径改。跑完之后用grep -n 半角 trig_formulas.md就能秒定位。注意数学符号如∫、∑可能变成乱码但sin、cos、tan这些英文关键词一定在够用了。5.2 在 IDE 里建 Live Template 快速插入公式代码IntelliJ IDEA 的 Live Template 可以把你最常用的几个公式直接变成代码片段。比如我建了一个sin2a展开就是2 * Math.sin($A$) * Math.cos($A$)。这样写代码时不用翻文档敲几个字母就出来。配置路径Settings - Editor - Live Templates - Java新建模板缩写填sin2a模板文本填上面那行$A$是变量占位符。用几次之后肌肉记忆就形成了比查 PDF 快一个数量级。5.3 验证方法用已知角度反查公式最后说一个我每次拿到新公式文档都会做的验证取几个特殊角0、30、45、60、90 度把文档里的公式代进去看结果是否和已知值一致。比如半角公式sin(15°) sqrt((1 - cos(30°))/2)算出来约 0.2588和Math.sin(Math.toRadians(15))对比误差在1e-9以内就说明公式抄对了。这个习惯帮我逮到过好几次文档排版错误——PDF 里上下标挤在一起sin^2看成sin2是常有的事。从那以后我每次拿到一份新的数学速查文档都强制走一遍“特殊角验证 转 Markdown 建 Live Template”这三步花不了十分钟但后面几个月查公式的效率完全不一样。希望帮到你。本文还有配套的精品资源点击获取
