Some Notes on a Generalized Version of Pythagorean Triples
Total Page:16
File Type:pdf, Size:1020Kb
J. Ris. & Ap. Mat. Vol. 4 No. 2 (2020) pp. 103-107 Jurnal Riset dan Aplikasi Matematika e-ISSN: 2581-0154 URL: journal.unesa.ac.id/index.php/jram SOME NOTES ON A GENERALIZED VERSION OF PYTHAGOREAN TRIPLES LEOMARICH F. CASINILLO1* AND EMILY L. CASINILLO2 1,2Department of Mathematics and Physics Visayas State University Visca, Baybay City, Leyte, Philippines *Corresponding e-mail: [email protected] ABSTRACT A Pythagorean triple is a set of three positive integers 푎, 푏 and 푐 that satisfy the Diophantine equation 푎2 + 푏2 = 푐2. The triple is said to be primitive if gcd(푎, 푏, 푐) = 1 and each pair of integers 푎, 푏, and 푐 are relatively prime, otherwise known as non-primitive. In this paper, the generalized version of the formula that generates primitive and non-primitive Pythagorean triples that depends on two positive integers 푘 and 푛, that is, 푃푇 = (푎(푘, 푛), 푏(푘, 푛), 푐(푘, 푛)) were constructed. Further, we determined the values of 푘 and 푛 that generates primitive Pythagorean triples and give some important results. Keywords: Pythagorean triple, Diophantine equation, Primitive 1 Introduction In elementary number theory, the idea of Pythagorean triples remains intriguing and receiving much attention to research in discrete mathematics [1] [2] [3]. A Pythagorean triple (푎, 푏, 푐) is a triple of positive integers such that 푎2 + 푏2 = 푐2 [4] [5]. Some Pythagorean triples are scalar multiples of other triples such as (6, 8, 10) is twice (3, 4, 5). A primitive Pythagorean triple is one in which any two of the three numbers are relatively prime. A Pythagorean prime is a prime number of the form 4n + 1. Pythagorean primes are exactly the odd prime numbers that are the sum of two squares [6]. The method of generating Pythagorean triples is known for about 2000 years [7]. Though the classical formulas produce all primitive triples they do not generate all possible triples, especially non-primitive triples. Hence, in this paper we construct the generalized version of the formula that generates primitive and non-primitive Pythagorean triples that depends on two positive integers 푘 and 푛, that is, 푃푇 = (푎(푘, 푛), 푏(푘, 푛), 푐(푘, 푛)). Further, we determine the values of 푘 and 푛 that generates primitive Pythagorean triples and discuss some important results. The purpose of the paper is to understand the new mathematical concepts of Pythagorean triples. 2 Methodology The methodology of this study is based on the recent paper by Casinillo [8] that deals with an exploratory in nature. Firstly, the formula that generates Pythagorean triples depending on two positive integers was presented as the characterization theorem. Secondly, the proof of the characterization theorem of generalized Pythagorean triples was presented. Lastly, this paper developed new results for primitive and non-primitive Pythagorean triples with detailed proofs which is a consequence of the characterization theorem. Figure 1 presents the schematic diagram of the study. 2010 Mathematics Subject Classification: 11A07, 11A41, 11D45 submitted: 08-09-20; revised: 20-10-20; accepted: 21-10-20 103 LEOMARICH F. CASINILLO & EMILY L. CASINILLO 104 Figure 1. Schematic Diagram of the Study 3 Results The following Theorem is a new generalized version that generates primitive and non- primitive Pythagorean triples for all pairs of positive integers. Theorem 1. For any positive integers 푘 and 푛, (2푛2 + 2푘푛, 2푘푛 + 푘2, 2푛2 + 2푘푛 + 푘2) is a Pythagorean triple. Conversely, for any Pythagorean triple (푎, 푏, 푐), there are positive integers 푘 and 푛 such that 푎 = 2푛2 + 2푘푛, 푏 = 2푘푛 + 푘2 and 푐 = 2푛2 + 2푘푛 + 푘2. 2 2 2 PROOF. (⇒) Suppose that 푎 = 2푛 + 2푘푛, 푏 = 2푘푛 + 푘 and 푐 = 2푛 + 2푘푛 + 푘2 for all positive integers 푛 and 푘. Then, 푎2 + 푏2 = (2푛2 + 2푘푛)2 + (2푘푛 + 푘2)2 (2.1) = 4푛4 + 8푘푛3 + 4푘2푛2 + 4푘2푛2 + 4푘3푛 + 푘4 (2.2) = 푘4 + 4푘3푛 + 8푘2푛2 + 8푘푛3 + 4푛4 (2.3) = (2푛2 + 2푘푛 + 푘2)2 (2.4) = 푐2 (2.5) (⇐) For the converse, we suppose that 푎, 푏 and 푐 are positive integers and satisfies the Diophantine equation 푎2 + 푏2 = 푐2. Then, we have (푐 + 푏)(푐 − 푏) 1 = (2.6) 푎2 And it follows that, 푐 푏 푐 푏 1 = ( + ) ( − ) (2.7) 푎 푎 푎 푎 Now, we let 푛 and 푘 be positive integers such that 푐 푏 푛 + 푘 + = 푎 푎 푛 (2.8) and 푐 푏 푛 − = (2.9) 푎 푎 푛 + 푘 105 SOME NOTES ON A GENERALIZED .. Solving for 푏 in (2.8), we obtained, 푎 푏 푛 + 푘 푐 = − (2.10) 푎 푛 푎 Substituting (2.10) to (2.9), we have, 푐 푛 + 푘 푐 푛 (2.11) − ( − ) = 푎 푛 푎 푛 + 푘 Simplifying the equation we end up with, 푐 2푛2 + 2푘푛 + 푘2 = (2.12) 푎 2푛2 + 2푘푛 Substituting (2.12) to (2.10) and simplifying the equation, we also end up with, 푏 2푘푛 + 푘2 (2.13) = 푎 2푛2 + 2푘푛 Thus, this implies that 푎 = 2푛2 + 2푘푛, 푏 = 2푘푛 + 푘2 and 푐 = 2푛2 + 2푘푛 + 푘2. This completes the proof. The generalized Pythagorean triples 푎(푘, 푛), 푏(푘, 푛) 푎푛푑 푐(푘, 푛) in Theorem 1 was evaluated to its mathematical property. Hence, the next Corollary is immediate from Theorem 1, showing the inequality relationship of the said triples in view of Trichotomy Property of Order of positive integers 푘 and 푛. Corollary 2. Let 푘 and 푛 be positive integers. If 푎(푘, 푛), 푏(푘, 푛) 푎푛푑 푐(푘, 푛) are generalized Pythagorean triples, then the following holds true: 푐(푘, 푛) > 푏(푘, 푛) > 푎(푘, 푛) ≥ 6 where 푛 < 푘; and 푐(푘, 푛) > 푎(푘, 푛) > 푏(푘, 푛) ≥ 3 where 푛 ≥ 푘. The following Corollary is a quick consequence of Theorem 1, Wilson’s Theorem [4] [5] and the definition of Pythagorean prime above. 휋(푐−1)!+1 Corollary 3. Let 휌(푐) = 푐표푠2 [ ] and 푎2 + 푏2 = 푐2 for some positive integer 푎, 푏 and 푐 푐. If 휌(푐) = 1, then the following hold: (i) 푃푇 = (푎, 푏, 푐) is a primitive Pythagorean triple; and (ii) 푐 is a Pythagorean prime. Our argument prior to the statement of Theorem 1 is that primitive Pythagorean triple can be generated for some positive integers 푛 and 푘. In view of Theorem 1, the following results are immediate. Theorem 4. If 푛 = 2훼 and 푘 = 2훽 , where 훼 and 훽 are positive integers, then 푔푐푑(푎(푘, 푛), 푏(푘, 푛), 푐(푘, 푛)) = 2푚푖푛 (훼+훽+1, 2훼+1, 2훽) . PROOF. Let 푛 = 2훼 and 푘 = 2훽 for positive integers 훼 and 훽. Then, by Theorem 1, we 2 obtained 푎 = 2(2훼)2 + 2(2훽2훼), 푏 = 2(2훽2훼) + (2훽) and 푐 = 2(2훼)2 + 2 2(2훽2훼) + (2훽) . It follows that 푎 = 2훼+훽+1 + 22훽, 푏 = 22훼+1 + 2훼+훽+1 and 푐 = 22훼+1 + 2훼+훽+1 + 22훽. Thus, this implies that gcd(푎(푘, 푛), 푏(푘, 푛), 푐(푘, 푛)) = 2min(훼+훽+1, 2훼+1, 2훽) . 푇 his completes the proof. LEOMARICH F. CASINILLO & EMILY L. CASINILLO 106 The next result is a direct consequence of Theorem 4. Corollary 5. If 푛 = 2훼 and 푘 = 2훽 , where 훼 and 훽 are positive integers and 푑 = 1 2푚푖푛 (훼+훽+1, 2훼+1, 2훽) . Then, 푃 = (푎(푘, 푛), 푏(푘, 푛), 푐(푘, 푛)) is a primitive Pythagorean 푇 푑 triple. Our next theorems determine a primitive Pythagorean triple using the parity of positive integers 푛 and 푘. Theorem 6. Let 푛 ≡ 1(푚표푑 2) and 푘 ≡ 1(푚표푑 2) and 푛 ≠ 푘. Then, 푃푇 = (푎(푘, 푛), 푏(푘, 푛), 푐(푘, 푛)) is a primitive Pythagorean triple. PROOF. Let 푛 = 2푥 + 1 and 푘 = 2푦 + 1 where 푥 and 푦 are positive integers. By Theorem 1, it follows directly that, 푎 = 2(2푥 + 1)2 + 2(2푦 + 1)(2푥 + 1), 푏 = 2(2푦 + 1)(2푥 + 1) + (2푦 + 1)2 and 푐 = 2(2푥 + 1)2 + 2(2푦 + 1)(2푥 + 1) + (2푦 + 1)2. Note that 푛 ≠ 푘, then by inspection, 푎, 푏 and 푐 has no common factor greater than 1. Thus, 푎, 푏 and 푐 are relatively prime. This completes the proof. Theorem 7. Let 푛 = 1 and 푘 ≡ 0(푚표푑 2). Then, 푔푐푑(푎(푘, 푛), 푏(푘, 푛), 푐(푘, 푛)) = 2. PROOF. Let 푛 = 1 and 푘 = 2푎, for all positive integer 푎. Then, by Theorem 1, we obtained, 푎 = 2 + 2(2푎), 푏 = 2(2푎) + (2푎)2 and 푐 = 2 + 2(2푎) + (2푎)2. Then, rewriting the three equations, it follows that, 푎 = 2(1 + 2푎), 푏 = 2(4푎) and 푐 = 2(1 + 2푎 + 2푎2). Thus, the greatest common factor is 2 and this completes the proof. 1 Corollary 8. If 푛 = 1 and 푘 ≡ 0(푚표푑 2), then 푃 = (푎(푘, 푛), 푏(푘, 푛), 푐(푘, 푛)) is a 푇 2 primitive Pythagorean triple. Theorem 9. Let 휇 be a positive integer. If 푛 = 푘 = 휇, then, 푔푐푑(푎(푘, 푛), 푏(푘, 푛), 푐(푘, 푛)) = 휇2. PROOF. Let 휇 be a positive integer and 푛 = 푘 = 휇. By Theorem 1, it follows that 푎 = 4휇2, 푏 = 3휇2 and 푐 = 5휇2. And it is easy to check that the greatest common divisor is 휇2. This completes the proof. Next, the following Corollary and Remark shows a primitive Pythagorean triple which is a direct consequence of Theorem 9. 1 Corollary 10. If 푛 = 푘 = 휇, then 푃 = (푎(푘, 푛), 푏(푘, 푛), 푐(푘, 푛)) is a primitive 푇 휇2 Pythagorean triple. Remark 11. If 푛 = 푘 = 휇, then, 푐 = 푎 + 휇2 = 푏 + 2휇2. The next result will generate Pythagorean triples in which the longer leg of the triangle and hypotenuse differ by one.