Methodological Strategy for Obtaining the Possible Pythagoreans Trios and Proof through a Criterion applied to the Primitive

Pythagorean Trios

Rodolfo A. Nieves Rivas fesol7luzley@gmail.com

This article presents a method for obtaining the terms belonging to each and every one of the possible Pythagoreans trios, which are generated by two functional formulas or equations according to their parity (Even or odd). Then we do an analysis of the results. And we conclude with an approach that ensures and establishes the necessary and sufficient conditions for the characterization of all the terms of any primitive Pythagorean trios and its application to the twin primes and Golbachs conjecture. Keywords: methods, criterion, primitive Pythagorean trios, conjectures.

INTRODUCTION
To address this issue is necessary to consider some results that have been obtained and are used by many authors (Rada, 1992) (Joyce D.2005) because of its simplicity, effectiveness and elegance. Such as: all positive primitive solutions of the equation: a2 + b2 = c2, can be expressed as follow: a = m2 - n2, b = 2.mn c = m2 + n2. Where: n and m are arbitrary integers that meet three conditions: To: m> n> 0 When (m, n) = 1 Where: m and n have different parity The solution found by Pythagoras (Espasa, 1998) is as follows: If n is any integer number, the three terms of trios are obtained as follows: The first term is twice the given number plus one: a = 2.n + 1 The second term is twice the square of the given number plus its double: b = + 2.n2+2.n And the third term is equal to the second term plus one: c=2.n2 + 2.n + 1

For the development of this methodological strategy is needed a systematic presentation that establishes a connection within the descriptive analysis in terms of obtaining the goal which has the following order: 1.- Presentation of the method for obtaining all Pythagoreans trios. 2.- Presentation of the generating functional equations or formulas for all terms according to the parity of any possible Pythagorean triple. 3.- Presentation of the general table of results. 4.- Presentation of two tables of results of Pythagoreans trios by parity (Even or Odd). 5.- Descriptive analysis. Behavior of Criterion and its application for the deduction of all and every possible primitive Pythagorean trios. 6.- Conclusion: Presentation of the criterion

Presentation of the Functional Equations or Formulas To Generate Every Possible Pythagorean Trios.

Formula or functional equation according to parity: For a = N = odd positive integer. Then: N = a When: (N2 - 1) / 2 = b Where: ((N2 - 1) / 2) + 1 = c

For a = N = positive integer number. Then: N = a When: (N2 - 4) / 4 = b Where: ((N2 - 4) / 4) + 2 = c

Descriptive Analysis and Behavior of Criterion and Deduction of the Primitive Pythagorean Trios.
72 = 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25

Remark: the prior scheme describes a decomposition of two addends of any square whose base is an odd number.

72

= 1 2 3 4 5 . .

49 48 47 46 45 44 . . 37 . 29 . 25 49 . 49 . 49

25

12 .

20 .

24

72

= 1 2 3 4 5 . .

49 48 47 46 45 44 . . 37 . 29 . 25 . c a2 + b2 = c2 49 . 49 . 49 72 + 242 = 252 212 + 202 = 292 352 + 122 = 372

25

12 .

20 .

24 . b

Remark: During this development and analysis of criterion can be observed and inferred that the terms of all primitive trios terms are obtained as follows: The terms (b and c) are specified in columns by the decomposition of any square of any odd number into two addends and the term: (a) is obtained with the product of the square roots of the differences and the sum of the terms of the columns of the decomposition: (c - b). (b + c).

Method to Obtain All Possible Pythagorean Trios:

Based: On the functional equations and formulas. First step: Placing vertically all natural numbers. From: The number 1 to the number N.

1 2 3 4 5 6 . . . N

Second step: We squared all of them. 12 22 32 42 52 62 . . . N2

Step Three: Place a second column vertically and parallel to the first by applying the appropriate formula and according to the parity of each term in the first column and each term or result is also squared.

12 22 32 42 52 62 . . . N2

+ + + + + +

02 02 42 32 122 82 . . . b2

Remark: The terms of the second column are obtained according to the parity of the term corresponding to the first column. Step Four: Place vertically the terms of a third column applying the corresponding formulas according to parity and squared after being separated by a plus sign and the sign of equality thus obtaining all possible Pythagorean trios 12 22 32 42 52 62 . + + + + + + 02 02 42 32 122 82 . = = = = 12 22 52 52

= 132 = 102

. . N2 + .

b2

c2

a2

b2

c2

Pythagorean equation

Descriptive Analysis and Deductions for the Characterization of Primitive Pythagorean Trios

12 22 32 42 52 62 . .

+ + + + + +

02 02 42 32 122 82 . .

= = = =

12 22 52 52

(Trivial) (Trivial) (Primitive) (Primitive Permuted) (Primitive) (Non-primitive)

= 132 = 102

. N2 +

. b2 = c2

a2

b2

c2

Pythagorean equation

Presentation of the Criterion

Criterion: In order that a Pythagorean trio be a primitive Pythagorean trio is only necessary and sufficient that: the second term is an even number when the third term is an odd number, where also the sum and difference of both terms are an exact square and the first term is the product of the bases of both squares. Criterion: Let: a2 + b2 = c2 be a primitive Pythagorean trio. It is only necessary and sufficient: That (c - b) = x2 (an exact square) When: (c + b) = y2 (an exact square) Where: x. y = a (first term) For: c = odd number (third term) Where: b = number (second term) General table of results

12 22 32 42 52 62 . .

+ + + + + +

02 02 42 32 122 82 . .

= = = = =

12 22 52 52 132

(Trivial) (Trivial) (Primitive) (Primitive Permuted) (Primitive) (Non-primitive)

= 102

. N2 +

. b2 = c2

Two Tables of Results Depending on the Parity (Even and Odd) Odd Examples:
12 + 02 = 12 (Trivial)

32

42

52

(Primitive)

52

122

= 132

(Primitive)

Even examples:

22

02

22

(Trivial)

42

32

52

(Primitive Permuted)

62

82

= 102

(Non-primitive)

Remark: Separating the results by parity allows us to rule out non-primitive Pythagorean trios of the primitive ones for the criterion conditions.

Discussion and Recommendations:

Example of application: theorem: If n = Pi + PJ When: Pi and Pj belong to the primes

Where: Pj - Pi = 2 Then: n / 2 = x So that: (x2 + 1)2 = a2 When: Iff: When: Then: When: a2 - b2 = c2 b=n (x2 - 1)2 = c2 (x2 + 1) = a (x2 - 1) = c

Table of Results and Visualization of the Theorem:

Pi

Pj

a2

b2

c2

3 5 11

+ + +

5 7 13

= = =

8 12 24

172 372 1452

82 122 242

= = =

152 352 1432

Theorem: If the values for c are infinite. Then: The twin primes are infinite (see table for even examples).

Remark: Apply the following general equation:

(((PI + PJ)/2)2 + ((PJ PI)/2)2)2 - (((PI + PJ).(PJ PI))/2)2 Where: (((PI + PJ)/2)2 + ((PJ PI)/2)2))2 = When: For: (((PI + PJ).(PJ PI))/2)2 = (PI.PJ)2 = a2 (First term)

(PI . PJ)2

b2 (Second term) c2 (Third term)

Where: Pi Pj (belong to odd prime numbers)

Theorem:

If: When: Then: And if: Then: Where: When:

(a + b) belongs to the prime numbers. (a - b) belongs to the prime numbers. (a2 - b2) is a semi-prime. (b / 2)2 + 1 = a (a2 b2) is product of two twin primes. (b / 2) + 1) belongs to the prime numbers. (b / 2) - 1) belongs to the prime numbers.

Theorem: Every odd number can be expressed as the difference of two squares

12 - 02 = 1 22 - 12 = 3 32 - 22 = 5 42 - 32 = 7 32 - 02 = 52 - 42 = 9 62 - 52 = 11 72 - 62 = 13 42 - 12 = 82 - 72 = 15 92 - 82 = 17 102 - 92 = 19 52 - 22 = 112 - 102 = 21

122 - 112 = 23 52 02 = 62 - 32 132 - 122 = 25 = 142 - 132 = 27 152 - 142 = 29 162 - 152 = 31 72 - 42 62 - 12 = = 172 - 162 = 33 182 - 172 = 35 192 - 182 = 37 82 - 52 = 202 - 192 = 39 212 - 202 = 41 222 - 212 = 43 72 - 22 = 92 - 62 = 232 - 222 = 45 242 - 232 = 47 72 - 02 = 102 - 72 = 252 - 242 = 49 = 262 - 252 = 51 272 - 262 = 53 82 - 32 112 - 82 = 282 - 272 = 55 = 292 - 282 = 57 302 - 292 = 59 312 - 302 = 61 82 - 12 92 - 42 = 122 - 92 = 322 - 312 = 63 332 - 322 = 65 342 - 332 = 67 132 - 102 = 352 - 342 = 69

Criterion:

All difference of squares of the form: (n + K)2- k2 Is a semi-prime of the form: n2 + 2.n.K If and only If: n belongs to prime numbers When: (n + 2.K) belongs to prime numbers

Proof: Since: (n + K)2 k2 = n2 + 2.n.K For all: K0 Where: n1 When: n is greater than: K And as: n2 + 2.n.K = n(n + 2.K) Then: n(n + 2.K) is a semi-prime If and only If: n belongs to prime numbers When: (n + 2.K) belongs to prime numbers And as: It is accomplished for all: n1 Where: K0 When: n is greater than: K Then: All semi-prime is equal to the difference of two squares Remark: Since all odd number can be expressed as the difference of two squares And all semi-prime product of two odd prime numbers is an odd number

Then all semi-prime can be expressed as the difference of two squares And since the smallest odd prime number is number three Then all semi-prime is the difference of two squares for all: n3 And since all semi-prime is the difference of two squares of the form: (n + K)2- k2 For all: n3 When: K0 If and only If: n belongs to prime numbers When: (n + 2.K) also belongs to prime numbers And since: semi-primes are infinite Because: prime numbers are infinite Then: For all: n belonging to prime numbers There exist infinitely: (n + 2.K) also belonging to prime numbers Where: n3 When: K0 Therefore: Polignacs conjecture is true And since: All the above is accomplished for all: K0 And as also is accomplished when: K = 1 Then: Twin primes are infinite And as: All semi-prime can be expressed as the difference of two squares For all Para: n3 Then: Golbachs conjectures are both true

Theorem: All odd prime number can be expressed of unique form as the difference of two consecutive squares. Corollary: All free of squares of (n) factors; can be expressed as the difference of two squares of: 2n-1 different forms. Corollary: All semi-prime can be expressed of two different forms as the difference of two squares. Theorem: There always exist: m < n For all: n I Such that: n m = I Where: I is any odd number. Theorem: There always exist: m < n For all: n I Such that: n + m = I Where: I is any odd number

Theorem: I = n2 m2 Theorem: I = Pi . Pj Theorem: n2 m2 = Pi . Pj Theorem: (n + m).(n m) = Pi

.

Pj

Theorem: (n + m) + (n m) = 2.n = Pi .Pj Theorem: If for all: n There always exist: m Such that: n2 m2 = Pi
.

Pj

Where: Pi and Pj are both odd prime numbers Then: Golbachs conjecture is true.

Main Theorem:

n=n If:

n=K

n=n

2.n - 1
n=1

2.n - 1
n=1

2.n - 1
n=K+1 K = Constant

For all: n 1 When: K 0

n=n Then:

n=K -

n=n =

2.n - 1
n=1

2.n - 1
n=1

2.n - 1
n=K+1 K= Constant

Proof of Golbach Odd and Evens Conjectures by Reduction: n=n Since: n2 =

2.n 1
n=1

For all: n 1 n=K And as: K2 =

2.n 1
n=1

For all: K 0

n=n Then: n2 - K2 =

n=K -

2.n 1
n=1

2.n 1
n=1

n=n Where: =

n=K -

n=n =

2.n 1
n=1

2.n 1
n=1

2.n - 1
n=K + 1

For all: n1 When: K 0 n=n Then: n2 - K2 =

2.n - 1
n=K+1 = (n K). (n + K) n=n (By theorem 1)

And as:

n2 - K2

Then: (n K) (n + K)

2.n - 1
n=K+1 n=n

= Semi-prime

If and only If: (n + K) is the central term of:

2.n - 1
n=K+1 When: (n - K) is the number of terms of:

= Semi-prime

n=n

2.n - 1
n=K+1

= Semi-prime

Where: (n K) belongs to prime numbers.

When: (n + K) belongs to prime numbers.

Theorem:

If:

n = Ii + K

When: n = Ij - K Then: 2.n = Ii + Ij And as: (n K)(n + K) = Ii . Ij = n2 - K2 For all: n 3 When: K0 Where: n < K Then: Ij (n K) n (n + K) Ii For all: Odd number: Ij And all: Odd number: Ii

Theorem: For all: Odd number of the form: Ii.Ij There always exist: Two numbers of the form: (n K) y (n + K) Such that: (n K) = Ii When: (n + K) = Ij For all: n > K Where: Ii is any odd number When: IJ is any odd number. Then: (n K)(n + K) = n2 K2 = Ii . Ij

Theorem: All odd multiples smallest of any odd number squared can be expressed as the difference of two squares. 22 - 12 = 3 32 - 02 = 9

32 - 22 = 5 42 - 12 = 15 52 - 02 = 25

42 - 32 = 7 52 - 22 = 21 62 - 12 = 35 72 - 02 = 49

Main Theorem of Existence:

For all: n 3 There always exist: (n) numbers less than or equal to: n2 Between: 2.n 1 and n2

Which are: Product of two equidistant numbers to: n Of the form: (n K) and (n + K) Where: 0 K n Such that: (n K)(n + K) = n2 - K2 Where: at least one of these: (n) Products is: A semi-prime. Where: The sum of both factors is equal to: (n K) + (n + K) = 2.n

Example:

n2 - K2 72 - 02 72 - 12 72 - 22 72 - 32 72 - 42 72 - 52 72 - 62

= ( n K ).( n + K ) = Products = = = = = = = 7 6 5 4 3 2 1 . . . 7 8 9 = = = = = = = 49 48 45 40 33 24 13

2.n = ( n K ) + ( n + K ) = Sums 7 6 5 4 3 2 1 + + + 7 8 9 = 14 = 14 = 14 = 14 = 14 = 14 = 14

. 10 . . . 11 12 13

+ 10 + 11 + 12 + 13

n2 - K2 72 - 02 72 - 12 72 - 22 72 - 32 72 - 42 72 - 52 72 - 62

= = = = = = = =

(n K).(n + K) = Products 7 6 5 4 3 2 1 . . . 7 8 9 = = = = = = = 49..= n2 48 45 40 33. = Semi-prime 24 13. = 2.n 1

. 10 . . . 11 12 13

1 3 5 7 9 11 13 15 17 4 8 12 16 20 24 28 32 9 15 21 27 33 39 45 16 24 32 40 48 56 25 35 45 55 65 36 48 60 72 49Example 63 77 64 80 81

Theorem: All nth. prime number: Pn can be expressed as: (n) pair of numbers less or equal than: Pn such that: the sum and the difference of both be a prime number.

Example:

Difference

(n K) = K

1 1

3 0

Relationship: n Sum (n + K) = 3 2 3 3Pn

Example:

Difference..

(n K) = 1 K 2

3 1

5 0

Relationship: n Sum (n + K) = 5 3 5 4 5 5Pn

Example:

Difference

(n K) = K

1 3

3 2

5 1

7 0

Relationship: n Sum: (n + K) = 7 3 8 7 5 7 7 6 4 7 9 5 5 6 7

7Pn 11 4 13 3 15 2 17 1 19 0

Example: Difference: (n K) = 1 K 9

Relationship: n Sum: (n + K) = 19 10 19 11 19 12 19 13 19 14 19 15 19 16 19 17 19 18 19

19Pn

Justification: For all nth odd prime number: Pn There always exist (n) odd prime numbers less or equal than: Pn

Example: Difference: (n K) = 1 K Relationship: n 10 9

3 8

5 7

7 6

9 5

11 4

13 3

15 2

17 1

19 0

11 19

12 19

13 19

14 19

15 19

16 19

17 18 19 19

19 19P7

Sum:(n + K) = 19

Application: On Golbachs even conjeture: Since for all nth odd prime number: Pn there always exist: (n) even numbers that can be expressed as the sum of two prime numbers and since the primes are infinite. Then: there always exist infinitely even numbers where the conjecture is true.

Remark: 2.n is sum of two odd prime numbers of the form: (n K) + (n + K)

Presentation of Criteria of Primality

Criterion 1: For all: n There always exist infinitely arithmetic progressions of reason: 2.n + 1 Where: The first term is: 2.n2 + 2.n + 1 Which: do not express infinitely positive numbers of the form: K Such that: 2.K 1 is an odd prime number.

Criterion 2: For all: n There always exist infinitely arithmetic progressions of reason: 2.n + 1 Where: The first term is: 2.n2 + 2.n Which: do not express infinitely positive numbers of the form: K Such that: 2.K + 1 is an odd prime number.

References

[1] Rada deMatematicas.Elementales.(Aritmetica).Cenamec.1992.Caracas.pag.42-44 [2]Joice.D 2005 (Consulta en Internet el 3/11/2011) [3]Enciclopedia tematica Espasa.1998.Espaa.pag.459-460 [4]Nieves Rivas.R. Prueba de Primalidad.XVIII Jornadas de Investigacion y II de Postgrado.Memorias de la Unellez.Venezuela.2011.pag.216[5]Nieves Rivas R. Demostracion de una conjetura presentada en el quinto congreso de Matematicas en 1912. XIX Jornadas de Investigacion y III de Postgrado.Memorias de la Unellez.Venezuela.2011