本原勾股数组(数论日常1)
本原勾股数组
本原勾股数组(简称PPT)是一个三元组(a,b,c),其中a,b,c没有公因数,且满足
a2+b2=c2a^2+b^2=c^2a2+b2=c2
下面的定理可以求它的所有解。
勾股数组定理
每个本原勾股数组都可以由以下公式得出:
a=st,b=s2−t22,c=s2+t22a=st,b=\frac{s^2-t^2}{2},c=\frac{s^2+t^2}{2}a=st,b=2s2−t2,c=2s2+t2
其中s>t⩾1.s>t\geqslant1.s>t⩾1.
证明
证明分两部分,一是正证(推出定理),二是反证(定理反推)。
(一)正证
从公式 a2+b2=c2a^2+b^2=c^2a2+b2=c2可知,a与b的奇偶性不同且c为奇数。(通过假设排除可得)
通过因式分解,我们可以得到:
a2=(c−b)(c+b)a^2=(c-b)(c+b)a2=(c−b)(c+b)
(实际列举时发现(c-b)和(c+b)都是平方数,那如何证明呢?)
首先可以证明(c-b)和(c+b)都没有公因数。
证明如下:
假设d是(c-b)和(c+b)的公因数,则
d|(c-b)+(c+b)
d|(c-b)-(c+b)
化简如下:
d|2c
d|2b
根据条件可知c和b没有公因数,所以d=1/2
又因为d|a^2 所以d=1
证毕。
其次,通过素数唯一分解定理可知
对于 a2=(c−b)(c+b)a^2=(c-b)(c+b)a2=(c−b)(c+b) 来说,只有当c−bc-bc−b 和 c+bc+bc+b 本身都是平方数时,该式才能成立。
所以可以记成:c−b=s2c-b=s^2c−b=s2 ,c+b=t2c+b=t^2c+b=t2
整理后可得:
a=st,b=s2−t22,c=s2+t22a=st,b=\frac{s^2-t^2}{2},c=\frac{s^2+t^2}{2}a=st,b=2s2−t2,c=2s2+t2
其中s>t⩾1s>t\geqslant1s>t⩾1 且 gcd(s,t)=1gcd(s,t)=1gcd(s,t)=1
(二)反证
首先,通过代数运算可得:
(st)2+(s2−t22)2=(s2+t22)2(st)^2+(\frac{s^2-t^2}{2})^2=(\frac{s^2+t^2}{2})^2(st)2+(2s2−t2)2=(2s2+t2)2
然后还要证明(a,b,c)(a,b,c)(a,b,c)无公因数
通过(s,t)(s,t)(s,t)无公因数这个条件,分别用反证法证明(st,s2−t22)(st,\frac{s^2-t^2}{2})(st,2s2−t2) (st,s2+t22)(st,\frac{s^2+t^2}{2})(st,2s2+t2) (s2−t22,s2+t22)(\frac{s^2-t^2}{2},\frac{s^2+t^2}{2})(2s2−t2,2s2+t2)都没有公因数即可。
(自己写的太冗余了就不放出来了- -)
结尾
其实数论不仅有公式,还有证明。看一下还蛮有意思的,下次更新 线性同余定理!
参考书目:《A Friendly Introduction to Number Theory》
本原勾股数组(数论日常1)相关推荐
- 【数论】本原勾股数组(PPT)的性质
目录 基本性质 勾股数组定理 代码与例题 其他性质 与单位圆的联系 基本性质 勾股数组我们都很熟悉,给一个勾股数组同乘一个整数得到的仍是勾股数组,但我们对它并不感兴趣,今天我们只研究它的本原形式(当然 ...
- 本原勾股数组(PPT)
概念 本原勾股数组(PPT)是一个三元组(a,b,c),其中a,b,c没有公因数即gcd(a,b,c)=1 且满足 a2+b2=c2a^{2}+b^{2}=c^{2}a2+b2=c2 (3,4,5), ...
- 《数论概论》读书笔记(第二章)勾股数组
本章主要讨论的是本原勾股数组,也就是关于满足a2+b2=c2a^2+b^2=c^2的三元组(a,b,c)(a,b,c),且(a,b,c)(a,b,c)互质的问题. 这章中提到一个概念:本原勾股数组(P ...
- 数论概论笔记(二)勾股数组
毕达哥拉斯定理(即勾股定理) a2+b2=c2a^2+b^2=c^2a2+b2=c2 显然勾股数组有无穷个,对存在的勾股数组每个数乘上一个正整数d即可得到新的勾股数组. 因此我们关注两两互质的三元组, ...
- 数论概论 第二章 勾股数组
本章主要讨论的是勾股数组,也就是关于满足a^2+b^2=c^2的三元组(a,b,c)的问题. 其实,对于勾股数组的个数进行讨论并没有多大意义,因为已知a,b,c为勾股数组,那么显然有da,db,dc( ...
- 数论概论读书笔记 2.勾股数组
勾股数组 本原勾股数组是一个三元组(a,b,c) 其中a,b,c没有公因数,且满足 a2+b2=c2a2+b2=c2 a^2+b^2=c^2 定理2.1 (勾股数组定理). 每个本原勾股数组(a,b, ...
- 勾股数组【学习笔记】
本原勾股数组(简写为PPT)是一个三元组(a,b,c),其中a,b,c没有公因数,且满足a^2 + b^2 = c^2.例如下面是一项本原勾股数组: (3,4, 5),(5,12,13),(8,15, ...
- python求基本勾股数_第一章:勾股数组(1)
毕达哥拉斯定理(即勾股定理),它表明任一个直角三角形的两条直角边长的平方和等于斜边长的平方.用公式表示就是 a^2 + b^2 = c^2 第一个问题是,是否存在无穷多个勾股数组,即满足方程a^2 + ...
- java如何找出勾股数组_勾股数组 学习笔记
题目大意是给出各条边都是正整数的直角三角形的一条边长,求另外两条边可能的一种方案. 除了爆搜脑子一片空白,然后就很没志气的看了题解,提到了勾股数组,于是学习了一下.网络上的资料感觉证明不是详细,所以自 ...
最新文章
- Windows SDK编程 API入门系列(转)
- 深度学习用于视频检测_视频如何用于检测您的个性?
- html获取此次点击的id,github项目解析(八)--Activity启动过程中获取组件宽高的三种方式...
- 【kafka】 Error when handling request Name: FetchRequest cannot compare its segment info since it only
- 使用Python编写数独游戏自动出题程序
- ASP.NET 实现上传EXCEL,利用NOPI操作,转换得到DataTable
- Visual Studio 开发(三):Visual Studio 使用时常见问题解决方案
- CSS content 属性 CSS counter-increment 属性 CSS counter-reset 属性
- 物业管理系统(C++/详细源码/思路流程图)
- linux怎么更改rpcbind端口号,rpcbind_rpcbind服务是什么_rpcbind 端口
- 内存对齐、内存对齐规则解释、内存对齐原理
- w ndows10图标,Windows10系统图标怎样提取
- Linux之日志服务及管理
- 在系统中自主实现全国行政区域结构化管理
- 互联网摸鱼日报(2023-03-17)
- 游戏服务器运维常见故障总结
- ilog开发培训大纲
- java32位怎么用eclipse_32位eclipse怎么安装?
- 前端页面项目——博客系统
- BOGNER博格纳中国首家限时精品店即将开幕
热门文章
- 在线广告系统架构变迁
- iMeta |吴小立/谢黎炜综述肠道菌群可能作为精神分裂症和肥胖症发病机制的共同枢纽...
- 自动驾驶蓄势待发,车企如何拥抱智能化
- docker 快鸟_GitHub - fffonion/Xunlei-Fastdick: 迅雷快鸟 Xunlei Network Accelerator For Router
- 等价类划分法和边界值分析法
- java mweb_url_个人JavaWeb项目--打造个人图床
- node.js+Vue计算机毕设项目春晓学堂管理系统(程序+LW+部署)
- 微软私有云测试01-Windows Server 2016虚拟化新功能概述
- 【Docker】docker容器内获取宿主机的信息和执行宿主机的脚本
- HDU 两车追及或相遇问题