《机器学习数学基础》补充资料:韩信点兵与拉格朗日插值法

news2025/6/4 17:29:03

本文作者:卓永鸿

19世纪的伟大数学家高斯,他对自己做的数学有非常高的要求,未臻完美不轻易发表。于是经常有这样的情况:其他也很厉害的数学家提出自己的工作,高斯便拿出自己的文章说他一二十年前就做出来了,而且做得更好。导致经常有杰出数学家吐血三升,甚至对高斯怀恨在心。

高斯在 1801年发表《算术研究》(Disquisitiones Arithmeticae),当中提出一个关于同余的定理。后来 1874年,德国科学史家马蒂生,指出早在南北朝时《孙子算经》里面就提出了等价的算法,比高斯早了一千多年。此后,这个定理就被称为中国剩余定理(Chinese remainder theorem)。这下,高斯若天上有知,总算自己也尝了一次这种滋味。

《孙子算经》中所提出的,是“物不知数”问题,俗称“韩信点兵”,这是中国古代数学研究成果中极少数为世界所知晓的。这问题大概是说:有一正数除以三余二、除以五余三、除以七余二,则此正数最小为多少?

这个问题在《孙子算经•卷下》第二十六题,原文抄附如下:“今有物,不知其数。三、三数之,剩二;五、五数之,剩三;七、七数之,剩二。问物几何?答曰:二十三。术曰:‘三、三数之,剩二’,置一百四十;‘五、五数之,剩三’,置六十三;‘七、七数之,剩二’,置三十。并之,得二百三十三。以二百一十减之,即得。凡三、三数之,剩一,则置七十;五,五数之,剩一,则置二十一;七、七数之,剩一,则置十五。一百零五以上,以一百零五减之,即得。”其中“一百零五”乃是一百零五,并非今日口语所指的一百五十。

这类问题在高中数学课程中经常出现,许多老师所授解题方式千奇百怪,常令学生无所适从。然而观察《孙子算经》的算法,它其实是带有比较朴素的一般性思想,先考虑几个简单的特殊情况,将这些特殊情况线性组造出特解,再写出通解。以今日的数学符号表述如下:

首先解齐次方程
{ x h = 3 q 1 + 0 x h = 5 q 2 + 0 x h = 7 q 3 + 0 \begin{cases} x_h = 3q_1 + 0 \\ x_h = 5q_2 + 0 \\ x_h = 7q_3 + 0 \end{cases} xh=3q1+0xh=5q2+0xh=7q3+0
得到齐次方程的通解公式
x h = 3 × 5 × 7 × n = 105 n , n ∈ Z (1) x_h = 3 \times 5 \times 7 \times n = 105n, n \in \mathbb{Z}\tag{1} xh=3×5×7×n=105n,nZ(1)

接着分别找

{ x 1 = 3 q 11 + 1 x 1 = 5 q 12 + 0 x 1 = 7 q 13 + 0 { x 2 = 3 q 21 + 0 x 2 = 5 q 22 + 1 x 2 = 7 q 23 + 0 { x 3 = 3 q 31 + 0 x 3 = 5 q 32 + 0 x 3 = 7 q 33 + 1 \begin{cases} x_1 = 3q_{11} + 1 \\ x_1 = 5q_{12} + 0 \\ x_1 = 7q_{13} + 0 \end{cases} \qquad \begin{cases} x_2 = 3q_{21} + 0 \\ x_2 = 5q_{22} + 1 \\ x_2 = 7q_{23} + 0 \end{cases} \qquad \begin{cases} x_3 = 3q_{31} + 0 \\ x_3 = 5q_{32} + 0 \\ x_3 = 7q_{33} + 1 \end{cases} x1=3q11+1x1=5q12+0x1=7q13+0 x2=3q21+0x2=5q22+1x2=7q23+0 x3=3q31+0x3=5q32+0x3=7q33+1

之特解,得到
x 1 = 70 , x 2 = 21 , x 3 = 15 x_1 = 70, x_2 = 21, x_3 = 15 x1=70,x2=21,x3=15
然后线性组合
x p = 70 × 2 + 21 × 3 + 15 × 2 = 233 (2) x_p = 70 \times 2 + 21 \times 3 + 15 \times 2 = 233\tag{2} xp=70×2+21×3+15×2=233(2)

此便为原问题的一个特解。结合(1)与(2),便得到通解
x = x p + x h = 233 + 105 n , n ∈ Z (3) x = x_p + x_h = 233 + 105n, n \in \mathbb{Z}\tag{3} x=xp+xh=233+105n,nZ(3)
其中当 n = − 2 n= -2 n=2 有最小正整数解 x = 23 x = 23 x=23。写到此处,笔者想起孔子说的:“吾道一以贯之。”

拉格朗日插值法,亦是韩信点兵思想之发扬。以下举一实例,用同样的想法写出拉格朗日插值多项式。

给定 A ( 3 , 2 ) , B ( 2 , − 1 ) , C ( − 1 , 3 ) A(3,2), B(2,-1), C(-1,3) A(3,2),B(2,1),C(1,3) 三点,求过此三点的最低次多项式函数 f ( x ) f(x) f(x)。我们先求出三个较特别的二次函数:
f 1 ( x ) :过 ( 3 , 1 ) , ( 2 , 0 ) , ( − 1 , 0 ) f 2 ( x ) :过 ( 3 , 0 ) , ( 2 , 1 ) , ( − 1 , 0 ) f 3 ( x ) :过 ( 3 , 0 ) , ( 2 , 0 ) , ( − 1 , 1 ) \begin{split} f1(x):过(3,1),(2,0),(-1,0) \\ f2(x):过(3,0),(2,1),(-1,0) \\ f3(x):过(3,0),(2,0),(-1,1) \end{split} f1(x):过(3,1),(2,0),(1,0)f2(x):过(3,0),(2,1),(1,0)f3(x):过(3,0),(2,0),(1,1)
然后设定
f ( x ) = 2 ⋅ f 1 ( x ) + ( − 1 ) ⋅ f 2 ( x ) + 3 ⋅ f 3 ( x ) f(x)= 2 \cdot f_1(x)+(-1) \cdot f_2(x)+3 \cdot f_3(x) f(x)=2f1(x)+(1)f2(x)+3f3(x)
这样便有
{ f ( 3 ) = 2 ⋅ 1 + 0 + 0 = 2 f ( 2 ) = 0 + ( − 1 ) ⋅ 1 + 0 = − 1 f ( − 1 ) = 0 + 0 + 3 ⋅ 1 = 3 \begin{cases} f(3)= 2 \cdot 1+ 0+ 0= 2 \\ f(2)= 0+(-1) \cdot 1+ 0=-1 \\ f(-1)= 0+ 0+ 3 \cdot 1= 3 \end{cases} f(3)=21+0+0=2f(2)=0+(1)1+0=1f(1)=0+0+31=3
即为所欲求之二次多项式函数。而每个 f i ( x ) f_i(x) fi(x) 皆容易,因 f 1 ( x ) f_1(x) f1(x) ( 2 , 0 ) , ( − 1 , 0 ) (2,0),(-1,0) (2,0),(1,0),设
f 1 ( x ) = a ( x − 2 ) ( x + 1 ) (4) f_1(x)= a(x - 2)(x+ 1)\tag{4} f1(x)=a(x2)(x+1)(4)
( 3 , 1 ) (3,1) (3,1)​ 得
1 = a ⋅ ( 3 − 2 ) ( 3 + 1 ) ⇒ a = 1 ( 3 − 2 ) ( 3 + 1 ) 1 = a \cdot (3- 2)(3+ 1) \Rightarrow a = \frac{1}{(3- 2)(3+ 1)} 1=a(32)(3+1)a=(32)(3+1)1
再把这个 a a a 代回式子 (4) 得
f 1 ( x ) = ( x − 2 ) ( x + 1 ) ( 3 − 2 ) ( 3 + 1 ) f_1(x)=\frac{(x - 2)(x+ 1)}{(3- 2)(3+ 1)} f1(x)=(32)(3+1)(x2)(x+1)
同样的流程,可解出
f 2 ( x ) = ( x − 3 ) ( x + 1 ) ( 2 − 3 ) ( 2 + 1 ) f 3 ( x ) = ( x − 2 ) ( x − 3 ) ( − 1 − 2 ) ( − 1 − 3 ) \begin{split} f_2(x)&=\frac{(x - 3)(x+ 1)}{(2- 3)(2+ 1)}\\ f_3(x)&=\frac{(x - 2)(x - 3)}{(-1- 2)(-1- 3)} \end{split} f2(x)f3(x)=(23)(2+1)(x3)(x+1)=(12)(13)(x2)(x3)
便得到
f ( x ) = 2 ⋅ ( x − 2 ) ( x + 1 ) ( 3 − 2 ) ( 3 + 1 ) + ( − 1 ) ⋅ ( x − 3 ) ( x + 1 ) ( 2 − 3 ) ( 2 + 1 ) + 3 ⋅ ( x − 2 ) ( x − 3 ) ( − 1 − 2 ) ( − 1 − 3 ) f(x)= 2 \cdot \frac{(x - 2)(x+ 1)}{(3- 2)(3+ 1)} + (-1) \cdot \frac{(x - 3)(x+ 1)}{(2- 3)(2+ 1)} + 3 \cdot \frac{(x - 2)(x - 3)}{(-1- 2)(-1- 3)} f(x)=2(32)(3+1)(x2)(x+1)+(1)(23)(2+1)(x3)(x+1)+3(12)(13)(x2)(x3)
这就是拉格朗日插值法

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2397173.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Spring Boot中保存前端上传的图片

在Spring Boot中保存前端上传的图片可以通过以下步骤实现&#xff1a; 1. 添加依赖 确保在pom.xml中已包含Spring Web依赖&#xff1a; <dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-web</artifact…

2025最新 MacBook Pro苹果电脑M系列芯片安装zsh教程方法大全

2025最新 MacBook Pro苹果电脑M系列芯片安装zsh教程方法大全 本文面向对 macOS 环境和终端操作尚不熟悉的“小白”用户。我们将从最基础的概念讲起&#xff0c;结合实际操作步骤&#xff0c;帮助你在 2025 年最新 MacBook Pro&#xff08;搭载苹果 M 系列芯片&#xff09;的环境…

【ISP算法精粹】动手实战:用 Python 实现 Bayer 图像的黑电平校正

在数字成像领域&#xff0c;图像信号处理器&#xff08;ISP&#xff09;如同幕后英雄&#xff0c;默默将传感器捕获的原始数据转化为精美的图像。而黑电平校正&#xff0c;作为ISP预处理流程中的关键一环&#xff0c;直接影响着最终图像的质量。今天&#xff0c;我们就通过Pyth…

Linux中的mysql逻辑备份与恢复

一、安装mysql社区服务 二、数据库的介绍 三、备份类型和备份工具 一、安装mysql社区服务 这是小编自己写的&#xff0c;没有安装的去看看 Linux换源以及yum安装nginx和mysql-CSDN博客 二、数据库的介绍 2.1 数据库的组成 数据库是一堆物理文件的集合&#xff0c;主要包括…

[HTML5]快速掌握canvas

背景 canvas 是 html5 标准中提供的一个标签, 顾名思义是定义在浏览器上的画布 通过其强大的绘图接口&#xff0c;我们可以实现各种各样的图形&#xff0c;炫酷的动画&#xff0c;甚至可以利用他开发小游戏&#xff0c;包括市面上很流行的数据可视化框架底层都用到了Canvas。…

Gartner《Emerging Patterns for Building LLM-Based AIAgents》学习心得

一、AI代理概述 2024年,AI代理成为市场热点,它们能自主规划和行动以实现用户目标,与仅能感知、决策、行动和达成目标的AI助手及聊天机器人有本质区别。Gartner定义的AI代理是使用AI技术在数字或物理环境中自主或半自主运行的软件实体。 二、LLM基础AI代理的特性和挑战 优势…

STM32 单片机启动过程全解析:从上电到主函数的旅程

一、为什么要理解启动过程&#xff1f; STM32 的启动过程就像一台精密仪器的开机自检&#xff0c;它确保所有系统部件按既定方式初始化&#xff0c;才能顺利运行我们的应用代码。对初学者而言&#xff0c;理解启动过程能帮助解决常见“程序跑飞”“不进 main”“下载后无反应”…

4.RV1126-OPENCV 图像轮廓识别

一.图像识别API 1.图像识别作用 它常用于视觉任务、目标检测、图像分割等等。在 OPENCV 中通常使用 Canny 函数、findContours 函数、drawContours 函数结合在一起去做轮廓的形检测。 2.常用的API findContours 函数&#xff1a;用于寻找图片的轮廓&#xff0c;并把所有的数…

WEB3——开发者怎么查看自己的合约日志记录

在区块链中查看合约的日志信息&#xff08;也叫事件 logs&#xff09;&#xff0c;主要有以下几种方式&#xff0c;具体方法依赖于你使用的区块链平台&#xff08;如 Ethereum、BSC、Polygon 等&#xff09;和工具&#xff08;如 Etherscan、web3.js、ethers.js、Hardhat 等&am…

TDengine 集群容错与灾备

简介 为了防止数据丢失、误删操作&#xff0c;TDengine 提供全面的数据备份、恢复、容错、异地数据实时同步等功能&#xff0c;以保证数据存储的安全。本节简要说明 TDengine 中的容错与灾备。 容错 TDengine 支持 WAL 机制&#xff0c;实现数据的容错能力&#xff0c;保证数…

MG影视登录解锁永久VIP会员 v8.0 支持手机电视TV版影视直播软件

MG影视登录解锁永久VIP会员 v8.0 支持手机电视TV版影视直播软件 MG影视App电视版是一款资源丰富、免费便捷、且专为大屏优化的影视聚合应用&#xff0c;聚合海量资源&#xff0c;畅享电视直播&#xff0c;是您电视盒子和…

【多线程初阶】内存可见性问题 volatile

文章目录 再谈线程安全问题内存可见性问题可见性问题案例编译器优化 volatileJava内存模型(JMM) 再谈线程安全问题 如果多线程环境下代码运行的结果是符合我们预期的,即在单线程环境应该有的结果,则说这个程序是线程安全的,反之,多线程环境中,并发执行后,产生bug就是线程不安全…

C++ 类模板三参数深度解析:从链表迭代器看类型推导与实例化(为什么迭代器类模版使用三参数?实例化又会是怎样?)

本篇主要续上一篇的list模拟实现遇到的问题详细讲解&#xff1a;<传送门> 一、引言&#xff1a;模板参数的 "三角锁钥" 在 C 双向链表实现中&#xff0c;__list_iterator类模板的三个参数&#xff08;T、Ref、Ptr&#xff09;如同精密仪器的调节旋钮&#x…

MySQL强化关键_018_MySQL 优化手段及性能分析工具

目 录 一、优化手段 二、SQL 性能分析工具 1.查看数据库整体情况 &#xff08;1&#xff09;语法格式 &#xff08;2&#xff09;说明 2.慢查询日志 &#xff08;1&#xff09;说明 &#xff08;2&#xff09;开启慢查询日志功能 &#xff08;3&#xff09;实例 3.s…

ASP.NET MVC添加模型示例

ASP.NET MVC高效构建Web应用ASP.NET MVC 我们总在谈“模型”&#xff0c;那到底什么是模型&#xff1f;简单说来&#xff0c;模型就是当我们使用软件去解决真实世界中各种实际问题的时候&#xff0c;对那些我们关心的实际事物的抽象和简化。比如&#xff0c;我们在软件系统中设…

【Part 3 Unity VR眼镜端播放器开发与优化】第二节|VR眼镜端的开发适配与交互设计

文章目录 《VR 360全景视频开发》专栏Part 3&#xff5c;Unity VR眼镜端播放器开发与优化第一节&#xff5c;基于Unity的360全景视频播放实现方案第二节&#xff5c;VR眼镜端的开发适配与交互设计一、Unity XR开发环境与设备适配1.1 启用XR Plugin Management1.2 配置OpenXR与平…

第1天:认识RNN及RNN初步实验(预测下一个数字)

RNN&#xff08;循环神经网络&#xff09; 是一种专门设计用来处理序列数据的人工神经网络。它的核心思想是能够“记住”之前处理过的信息&#xff0c;并将其用于当前的计算&#xff0c;这使得它非常适合处理具有时间顺序或上下文依赖关系的数据。 核心概念&#xff1a;循环连…

树莓派安装openwrt搭建软路由(ImmortalWrt固件方案)

&#x1f923;&#x1f449;我这里准备了两个版本的openwrt安装方案给大家参考使用&#xff0c;分别是原版的OpenWrt固件以及在原版基础上进行改进的ImmortalWrt固件。推荐使用ImmortalWrt固件&#xff0c;当然如果想直接在原版上进行开发也可以&#xff0c;看个人选择。 &…

电子电气架构 --- 如何应对未来区域式电子电气(E/E)架构的挑战?

我是穿拖鞋的汉子,魔都中坚持长期主义的汽车电子工程师。 老规矩,分享一段喜欢的文字,避免自己成为高知识低文化的工程师: 做到欲望极简,了解自己的真实欲望,不受外在潮流的影响,不盲从,不跟风。把自己的精力全部用在自己。一是去掉多余,凡事找规律,基础是诚信;二是…

易学探索助手-个人记录(十二)

近期我完成了古籍处理板块页面升级&#xff0c;补充完成原文、句读、翻译的清空、保存和编辑&#xff08;其中句读仅可修改标点&#xff09;功能&#xff0c;新增原文和句读的繁简体切换功能 一、古籍处理板块整体页面升级 将原来一整个页面呈现的布局改为分栏呈现&#xff0…