勾股数组及其应用uva106

勾股数组

设三元组(a,b,c)满足a^2 + b^2 = c^2的勾股数组,那么是否存在无穷多个勾股数组呢,

答案是肯定的,将三元组乘以d,可以得到新的三元组(da,db,dc) 即(da)^2 + (db)^2 = (dc)^2 --> (a^2+b^2) * d^2 =c^2 * d^2

d的取值是任意的,所以存在多个勾股数组

本源勾股数组

本源勾股数组是一个三元组(a,b,c),其中a,b,c只存在公因数1,且满足a^2 + b^2 = c^2

积累数据:下面的一些本源勾股数组

 (3,4,5), (5,12,13) ,(8,15,17),(7,24,25)

 (20,21,29),(9,40,41),(12,35,37),(11,60,61)

分析数据:

由这些数据可以推断出可能存在一个结论,即a,b的奇偶性不同,且c总是奇数

证明:如果a,b都是偶数,那么c肯定也是偶数,那么a,b,c存在公因子2,所以三元组不是本源的

  如果a,b都是奇数, 那么c必然是偶数。 设a=2*x+1, b=2*y+1,c=2*z将其带入a^2 + b^2 = c^2

  得到(2x+1)^2 + (2y+1)^2 = (2z)^2 --> 4x^2+4x+4y^2+4y+2=4z^2 -->  2x^2+2x+2y^2+2y+1=2z^2

  式子的左边是一个奇数,而右边是偶数,所以上述假设不成立

  所以a,b一个是偶数,一个是奇数,从而c是奇数

  

怎么快速得到一定范围内的本源勾股数组

(a,b,c)是本源勾股数组, 且a是奇数 ,b是偶数,c是奇数,那么可以进行因式分解,

a^2 = c^2 - b^2 = (c-b)(c+b)

3^2 = (5-4)(5+4) = 1 * 9

15^2 = (17-8)(17+8) = 9 * 25

32^2 = (37-12)(37+12) = 25 * 49

好像c-b与c+b总是平方数,

证明:假设(c-b)%d==0 && (c+b)%d==0, 那么根据模的性质,有(c+b)+(c-b) = 2c, 2c%d==0, 且(c+b)-(c-b)=2b,2b%d==0,

  即d整除2b和2c, 因为b和c没有公因数,所以d只能是1或者2, 由(c+b)(c-b)=a^2 也是d的倍数,且a是奇数,所以a^2是奇数,所以d只能取值1

  所以(c-b)与(c+b)互素,且(c-b)(c+b)=a^2, 即(c-b)与(c+b)的和是平方数,这种情况只有在(c-b)与(c+b)本身都是平方数的时候才出现

  设c+b=s^2,c-b=t^2, 其中s>t>=1是没有公因数的奇数

  解方程得 

uva106 http://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&category=115&problem=42&mosmsg=Submission+received+with+ID+15454112

给我们一定n,要我们求1->n内有多少个本源勾股数组, 和多少个不属于勾股数组的数字

 1 #include <stdio.h>
 2 #include <string.h>
 3 #include <stdlib.h>
 4 #include <algorithm>
 5 #include <iostream>
 6 #include <queue>
 7 #include <stack>
 8 #include <vector>
 9 #include <map>
10 #include <set>
11 #include <string>
12 #include <math.h>
13 using namespace std;
14 #pragma warning(disable:4996)
15 typedef long long LL;
16 const int INF = 1<<30;
17 /*
18
19 */
20 bool vis[1000000 + 10];
21 int ans1[1000000 + 10];
22 int gcd(int a, int b)
23 {
24     if (b == 0)
25         return a;
26     return gcd(b, a%b);
27 }
28 int main()
29 {
30     int s, t, a, b, c;
31     int cnt = 0, n;
32     while (scanf("%d", &n) != EOF)
33     {
34         cnt = 0;
35         memset(ans1, 0, sizeof(ans1));
36         memset(vis, 0, sizeof(vis));
37         int m = sqrt(2*n);
38         for (s = 3; s <= m; s += 2)
39         {
40             for (t = 1; t < s; t += 2)
41             {
42                 if (gcd(s, t) != 1) continue;
43                 a = s * t;
44                 b = (s*s - t*t) / 2;
45                 c = (s*s + t*t) / 2;
46                 if (c>n) break;
47                 if ((LL)a*a + (LL)b*b == (LL)c*c)
48                 {
49                     //printf("%d %d %d\n", a, b, c);
50                     ans1[c]++;
51                     for (int i = a, j = b, k = c; k <= n; i += a, j += b, k += c)
52                         vis[i] = vis[j] = vis[k] = true;
53                 }
54                 else if ((LL)a*a + (LL)b*b < (LL)c*c)
55                     break;
56             }
57         }
58
59         for (int i = 1; i <= n; ++i)
60         {
61             ans1[i] += ans1[i - 1];
62             if (!vis[i])
63                 cnt++;
64         }
65         printf("%d %d\n", ans1[n], cnt);
66     }
67     return 0;
68 }

时间: 2024-08-28 17:42:26

勾股数组及其应用uva106的相关文章

URAL 2032 - Conspiracy Theory and Rebranding【本源勾股数组】

[题意] 给出三角形的三个边长,均是10^7以内的整数,问三角形的三个角的坐标是否能均是整数,输出其中任意一个解. [题解] 一开始想的是枚举一条边的横坐标,然后通过勾股定理以及算角度求出其他点的坐标,再判断是否符合条件. 亲测TLE 直到知道了本源勾股数组的构造方法... 每个本源勾股数组(a,b,c)满足a*a+b*b=c*c,其中a为奇数,b为偶数.. 枚举s,t(1<=t<s,且它们是没有公因数的奇数) a=st b=(s*s-t*t)/2 c=(s*s+t*t)/2 因为最大数c=(

勾股数组 学习笔记

颓废了一个暑假,想做点CF提高一下智商,然后就被这题卡住了.    http://codeforces.com/contest/707/problem/C 题目大意是给出各条边都是正整数的直角三角形的一条边长,求另外两条边可能的一种方案. 除了爆搜脑子一片空白,然后就很没志气的看了题解,提到了勾股数组,于是学习了一下.网络上的资料感觉证明不是详细,所以自己来写个总结. 1.首先如果 $a^2+b^2=c^2$ , 则$(ka)^2+(kb)^2=(kc)^2$ , 因此我们先只考虑$gcd(a,

勾股数组【学习笔记】

本原勾股数组(简写为PPT)是一个三元组(a,b,c),其中a,b,c没有公因数,且满足.例如下面是一项本原勾股数组: (3,4, 5),(5,12,13),(8,15,17),(7,24,25),(9,40,41),(11,60,61),(28,45,56),(33,56,65). 由这个短表容易得到一些结论,例如,似乎a与b奇偶性不同且c总是奇数. 证明如下: 若a与b都是偶数,则c也是偶数,意味着a,b,c有公因数2,所以三元组不是本原的,其次,若a,b都是奇数,那么c必然是偶数,这样假设

Fermat vs. Pythagoras POJ - 1305 (数论之勾股数组(毕达哥拉斯三元组))

题意:(a, b, c)为a2+b2=c2的一个解,那么求gcd(a, b, c)=1的组数,并且a<b<c<=n,和不为解中所含数字的个数,比如在n等于10时,为1, 2, 7,9则输出4. 好了!把所用知识点说一下: 数论之勾股数组(毕达哥拉斯三元组) 本原勾股数组(a,b,c)(a为奇数,b偶数)都可由如下公式得出:a=st,b=(s2-t2)/2, c = (s2+t2)/2, 其中s>t>=1是没有公因数的奇数. 再把勾股数公式拿过来: 套路一: 当a为大于1的奇数

「整理」勾股数组

我们大概老早就知道勾股定理,它大概就长这样: \[a^2+b^2=c^2\] 嗯,的确够简单的. 而且我们清楚地知道它的一个基本应用--知道\(Rt\Delta\)的两边长,求第三边.这大概初一就学了. 对于不知道勾股定理的童鞋们,不了解没关系,因为这里没有三角形,也不是探讨怎么求第三边,我们只探讨勾股数组. 这里的\(a \equiv b(mod\ c)\)其实就是\(a\%c=b\%c\),a|b其实就是\(b\%a=0\),希望小白们不要看不懂. 如果真的看不懂,可以先学习同余.约数.素数

bzoj 1041: [HAOI2008]圆上的整点 本原勾股數組

1041: [HAOI2008]圆上的整点 Time Limit: 10 Sec  Memory Limit: 162 MBSubmit: 2027  Solved: 853[Submit][Status] Description 求一个给定的圆(x^2+y^2=r^2),在圆周上有多少个点的坐标是整数. Input r Output 整点个数 Sample Input 4 Sample Output 4 HINT n<=2000 000 000 Source 這道題可用本原勾股數組解,由於本原

UVa 106 - Fermat vs Pythagoras(数论题目)

题目来源:https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&category=3&page=show_problem&problem=42  Fermat vs. Pythagoras  Background Computer generated and assisted proofs and verification occupy a small niche in the realm

projecteuler----&gt;problem=9----Special Pythagorean triplet

title: A Pythagorean triplet is a set of three natural numbers, a b c, for which, a2 + b2 = c2 For example, 32 + 42 = 9 + 16 = 25 = 52. There exists exactly one Pythagorean triplet for which a + b + c = 1000. Find the product abc. 翻译: 勾股数组就是三个自然数a, b

UVa 106 - Fermat vs. Pythagoras

题目:找到小于N的勾股数组的朴素解(三个数互质),并找到[1, N]中所有勾股数组中未出现过的数字个数. 分析:数论.这里直接利用<原本>中的解法即可. x = 2st,y = s^2 - t^2,z = s^2 + t^2, 其中:1.s > t:(枚举顺序) 2.s和t互质:(朴素解) 3.s和t奇偶性不同:(反证法证明) 在计算未出现的数字时,需要枚举朴素解的倍数. 说明:伟大的欧几里得╮(╯▽╰)╭. #include <cstring> #include <c