Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 2016, Article ID 5189057, 6 pages http://dx.doi.org/10.1155/2016/5189057 Research Article Almost and Nearly Isosceles Pythagorean Triples Eunmi Choi Department of Mathematics, Han Nam University, Daejeon, Republic of Korea Correspondence should be addressed to Eunmi Choi; [email protected] Received 16 June 2016; Accepted 9 August 2016 Academic Editor: Aloys Krieg Copyright © 2016 Eunmi Choi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. This work is about extended pythagorean triples, called NPT, APT, and AI-PT. We generate infinitely many NPTs and APTs and then develop algorithms for infinitely many AI-PTs. Since AI-PT (π, π, π) is of |π β π| = 1, we ask generally for PT (π, π, π) satisfying |π β π| = π for any π β N. These triples are solutions of certain diophantine equations. 1. Introduction A pythagorean triple (PT) is an integer solution (π, π, π) satisfying the polynomial π₯2 + π¦2 = π§2 , and it is said to be primitive (PPT) if gcd(π, π, π) = 1. There have been many ways for finding solutions of π₯2 +π¦2 = π§2 , and one of the wellknown methods is due to Euclid, BC 300. The investigation of integer solutions of π₯2 +π¦2 = π§2 has been expanded to various aspects. One direction is to deal with polynomials π₯2 + π¦2 = π§2 ± 1, where in [1] its integer solutions were called almost pythagorean triple (APT) or nearly pythagorean triple (NPT) depending on the sign ±. Another side is to study solutions of π₯2 + π¦2 = π§2 having some special conditions. A solution (π, π, π) is called isosceles if π = π. Since there is no isosceles integer solution of π₯2 + π¦2 = π§2 , isosceles-like integer triples (π, π, π) with |π β π| = 1 were investigated. We shall call the (π, π, π) an almost isosceles pythagorean triple (AI-PT), and typical examples are (3, 4, 5) and (20, 21, 29). In literatures [2β4], AI-PT was studied by solving Pell polynomial. And a few others [5, 6] used triangular square numbers for finding AI-PT. We note that in some articles AI-PT was called almost isosceles right angled (AIRA) triangle. But in order to emphasize relationships with PT, APT, and NPT in this work, we shall refer to AIRA as AI-PT. APT and NPT were studied in [1] while AI-PT was studied in [2, 4], and so forth, but it seems that no one has asked about their connections. In this work we generate infinitely many APTs and NPTs and then apply the results in order to develop algorithms for constructing infinitely many AI-PTs. Moreover we study PTs (π, π, π) satisfying |π β π| = π for any π β₯ 1. So the study of these triples can be regarded as a research of solving diophantine equations π₯2 + π¦2 = π§2 ± 1 and π₯2 β π§2 = 2π¦π§. 2. Almost and Nearly Pythagorean Triples APT and NPT, respectively, are integer solutions of π₯2 + π¦2 = π§2 + 1 and π₯2 + π¦2 = π§2 β 1, respectively. If (π, π, π) is an APT or NPT, so it is (±π, ±π, ±π) hence we generally assume π, π, π > 0. Some triples were listed in [1] by experimental observations: NPT: (10, 50, 51), (20, 200, 201), (30, 450, 451), (40, 800, 801), . . . APT: (5, 5, 7), (4, 7, 8), (8, 9, 12), (7, 11, 13), (11, 13, 17), (10, 15, 18), . . . Lemma 1 (see [1]). If (π, π, π) is an APT then (2ππ, 2ππ, 2π2 +1) is a NPT. Conversely if (π, π, π) is a NPT then (2π2 +1, 2ππ, 2ππ) is an APT. Theorem 2. If π is an even integer then we have the following. (1) (π, π, π + 1) is an APT if π = π2 /2 β 1, while it is a NPT if π = π2 /2. (2) (2π2 + 1, π3 , π(π2 + 2)) is an APT and (π3 , π2 (π2 /2 β 1), π4 /2 + 1) is a NPT. 2 International Journal of Mathematics and Mathematical Sciences Table 1 π APT π2 β 2 π2 (π, , ) 2 2 NPT π2 (π2 β 2) π4 + 2 (π , , ) 2 2 NPT π2 π2 + 2 (π, , ) 2 2 (2π + 1, π3 , π (π2 + 2)) 2 4 6 (2, 1, 2) (4, 7, 8) (6, 17, 18) (8, 4, 9) (64, 112, 129) (216, 612, 649) (2, 2, 3) (4, 8, 9) (6, 18, 19) (9, 8, 12) (33, 64, 72) (73, 216, 228) 3 APT 2 Table 2 π 8 12 18 2 2 π β 24 π + 26 , ) 10 10 (8, 4, 9) (12, 12, 17) (18, 30, 35) NPT (π, APT π (129, 64, 144) (289, 288, 408) (649, 1080, 1260) 14 16 24 Proof. If π = π + 1 then π2 β π2 = 2π + 1. If π = π2 /2 β 1 then π2 β π2 = π2 β 1, so (π, π, π) is an APT. If π = π2 /2 then π2 β π2 = π2 + 1, so (π, π, π) is a NPT. Due to Lemma 1, the NPT (π, π2 /2, π2 /2 + 1) yields an APT (2π2 + 1, π3 , π(π2 + 2)), while the APT (π, π2 /2 β 1, π2 /2) provides a NPT (π3 , π2 (π2 /2 β 1), π4 /2 + 1) (see Table 1). Theorem 2 gives infinitely many APTs and NPTs (π, π, π) such that π β π = 1. Not only this, we can generate APT and NPT (π, π, π) with π β π = 5. Theorem 3. (1) If π β‘ ±2 (mod 10) and π = (π2 β 24)/10 then (π, π, π + 5) is a NPT. (2) If π β‘ ±4 (mod 10) and π = (π2 β 26)/10 then (π, π, π + 5) is an APT. Proof. The triple (π, π, π+5) is a NPT if π2 +π2 = (π+5)2 β1; that is, π = (π2 β 24)/10. Since π > 0 is integer, it must be π2 > 24 and π2 β‘ 24 (mod 10). So π β‘ ±2 (mod 10) with π β₯ 8. On the other hand (π, π, π + 5) is an APT if π2 = 10π + 26; that is, π = (π2 β 26)/10. Similar to the above, we have π2 > 26 and π2 β‘ 26 β‘ 42 (mod 10). Hence π β‘ ±4 (mod 10) with π β₯ 6. Theorem 3 together with Lemma 1 yields infinitely many NPTs and APTs (see Table 2). Though there are APT and NPT (π, π, π + π) with π = 1, 5, no NPT (π, π, π+π) exists if π = 2 or 3. In fact if (π, π, π+2) is a NPT then π2 = 4π + 3. But since π2 β‘ 3 (mod 4) is quadratic nonresidue, no solution π exists. Similarly if π = 3 then π2 β‘ 2 (mod 6), so no integer solution π. Theorem 4. For any π > 0, APTs of the form (π, π, π+π) always exist. If π β 1 is even and square then there exist NPTs of the form (π, π, π + π). Proof. A triple (π, π, π+π) is an APT if π2 +π2 = (π+π)2 +1; that is, π = (π2 β π2 β 1)/2π. Then π2 β‘ π2 + 1 β‘ (π ± 1)2 ( mod 2π). π2 β 26 π2 + 24 , ) 10 10 (14, 17, 22) (16, 23, 28) (24, 55, 60) APT (π, Hence if we let π = 2ππ ± (π ± 1) and π = 2π(ππ ± π ± 1) + 1 for π β Z, then it can be observed that (2ππ ± (π + 1) , 2π (ππ ± π ± 1) + 1, 2π (ππ ± π ± 1) + 1 + π) (1) is an APT. In particular, (π + 1, 1, π + 1) is an APT for all π > 0. Let π β 1 = π’2 = 2V (π’, V β N). For (π, π, π + π) to be a NPT, we must have π2 = 2ππ + π2 β 1; that is, π = (π2 β π2 + 1)/2π. Hence π2 β‘ π2 β 1 (mod 2π), so π2 β‘ (2V + 1)2 β 1 = 4V2 + 4V = V (4V + 2) + 2V β‘ 2V = π’2 (mod 2π’2 + 2) . (2) Write π2 = π’2 +2π(π’2 +1) for π β Z. Then π = βπ’2 /2+π and π = π+π = π’2 /2+1+π. And since π2 βπ2 β1 = π(2π+π)β1 = (π’2 + 1)(2π + 1) β 1 = π2 , (π, π, π) is a NPT. For instance, (31, 43, 53), (51, 125, 135) are APTs (π, π, π) with π β π = 10. Similarly (34, 47, 58), (56, 137, 148) are APTs with π β π = 11. So we have infinitely many APTs (π, π, π) such that π β π is any integer. On the other hand, consider π = 1, 5, 17, 37 such that πβ1 is square. Then Theorem 4 yields NPT (π, π, π + π) satisfying π2 = 2ππ + π2 β 1 and π = (π2 β π2 + 1)/2π. If π = 1 then π β‘ 0 (mod 2) and π = βπ2 /2 yielding that (π, π, π + 1) is a NPT; say (2, 2, 3), and so forth. If π = 5 then π β‘ ±2 (mod 10) and π = (π2 β 24)/10 with π2 > 24 implying that (π, π, π + 5) is a NPT; say (8, 4, 9), and so forth. If π = 17 then π β‘ ±4 (mod 34) and π = (π2 β 288)/34 with π2 > 288 implying that (π, π, π + 17) is a NPT; say (30, 18, 35), and so forth. Corollary 5. Let π β‘ 0 (mod 10). If π = π + 10π and π = π2 /2 + 10π(π + 5π) for any π β₯ 0 then (π, π, π + 1) is a NPT. The proof is clear. Thus (10, 50, 51), (20, 200, 201), (30, 450, 451), (40, 800, 801), . . . are NPTs, where the list corresponds to the findings in [1]. We now discuss another way to construct NPTs from PPT. International Journal of Mathematics and Mathematical Sciences 3 Table 3 π π2 = π2 β 1 (mod 2π) π (mod 2π) 5 π2 β‘ 24 β‘ 4 (mod 10) ±2 17 π2 β‘ 288 β‘ 16 (mod 34) ±4 37 π2 β‘ 1368 β‘ 36 (mod 74) ±6 π>π 8 12 18 30 38 64 68 80 142 π 4 12 30 18 34 112 44 68 254 (π, π, π + π) NPT (8, 4, 9) (12, 12, 17) (18, 30, 35) (30, 18, 35) (38, 34, 51) (64, 112, 129) (68, 44, 81) (80, 68, 105) (142, 254, 291) π>π§ 18 34 44 32 68 82 46 70 128 π 6 38 68 8 80 122 22 70 268 (π, π, π + π§) NPT (18, 6, 19) (34, 38, 51) (44, 68, 81) (32, 8, 33) (68, 80, 105) (82, 122, 147) (46, 22, 51) (70, 70, 99) (128, 268, 297) Table 4 2 2 π§ π = π§ β 1 (mod 2π§) π (mod 2π§) 13 π2 β‘ 168 β‘ 64 (mod 26) ±8 25 π2 β‘ 624 β‘ 324 (mod 50) ±18 29 π2 β‘ 840 β‘ 144 (mod 58) ±12 Theorem 6. For any PPT (π₯, π¦, π§), there are NPTs (π, π, π) with π β π = π§. Proof. The PPT (π₯, π¦, π§) can be written as π₯ = π’2 β V2 , π¦ = 2π’V, and π§ = π’2 + V2 where π’ > V > 0 are bipartite and gcd(π’, V) = 1. Let π’ = 2π and V = 2π + 1 (π, π β N). Clearly π§ = π’2 + V2 β‘ 1 (mod 4) and π§ is odd. For (π, π, π + π§) to be a NPT, it satisfies π2 = 2ππ§ + π§2 β 1 and π = (π2 β π§2 + 1)/2π§. So π2 β‘ π§2 β 1 (mod 2π§) implies π2 β‘ β1 (mod π§) and π2 β‘ π§2 β 1 β‘ 0 (mod 2). If π§ is a prime then π2 β‘ β1 ( mod π§) has integer solutions since π§ β‘ 1 (mod 4). So with π = (π2 β π§2 + 1)/2π§, there exists a NPT of the form (π, π, π + π§). On the other hand if π§ = π1 β β β ππ (ππ odd primes, 1 β€ π β€ π), then π§ β‘ 1 (mod 4) implies that either every ππ β‘ 1 (mod4) or there are even number of ππ such that ππ β‘ β1 (mod 4) for 1 β€ π β€ π. Thus Legendre symbol (β1/π§) equals (β1/π1 ) β β β (β1/ππ ) = 1, so π2 β‘ β1 (mod π§) has integer solutions; hence there is a NPT (π, π, π + π§). The PPT (π₯, π¦, π§) with π§ β€ 40 are (3, 4, 5), (5, 12, 13), (8, 15, 17), (7, 24, 25), (20, 21, 29), and (12, 35, 37). If π§ = 5, 17, 37 then Table 3 contains the list of NPTs. When π§ = 13, 25, 29, NPTs are as shown in Table 4. An APT (π, π, π) satisfying π = π is called an isosceles APT (iso-APT). Analogously an iso-NPT is defined. Though there is no isosceles PT, there are many iso-APTs and iso-NPTs. Indeed iso-APT and iso-NPT (π, π, π) satisfy π2 + π2 = π2 ± 1, so that the pair (π, π) is an integer solution of 2π₯2 β π¦2 = ±1, which is the Pell polynomial. If (π1 , π1 ), (π2 , π2 ) are integer solutions of 2π₯2 β π¦2 = β1 then 1 = (2π12 β π12 ) (2π22 β π22 ) 2 2 (3) = β2 (π1 π2 + π2 π1 ) + (2π1 π2 + π1 π2 ) . Shows that (π1 π2 + π2 π1 , 2π1 π2 + π1 π2 ) satisfies 2π₯2 β π¦2 = β1. If (π1 , π1 ), (π2 , π2 ) are roots of 2π₯2 β π¦2 = 1 then (π1 π2 + π2 π1 , 2π1 π2 + π1 π2 ) holds 2π₯2 β π¦2 = β1. Let us define a multiplication (π1 , π1 )(π2 , π2 ) by (π1 π2 + π2 π1 , 2π1 π2 + π1 π2 ) [7]. For example, a root (2, 3) of 2π₯2 β π¦2 = β1 yields (2, 3)2 = (12, 17) satisfying 2π₯2 β π¦2 = β1. And a root (5, 7) of 2π₯2 β π¦2 = 1 shows that (5, 7)2 = (70, 99) holds 2π₯2 β π¦2 = β1. So the first few nonnegative solutions of 2π₯2 β π¦2 = ±1 are {(0, 1)β , (1, 1)+ , (2, 3)β , (5, 7)+ , (12, 17)β , (29, 41)+ , (70, 99)β , (169, 239)+ , . . .} , (4) where the subscripts +, β indicate solutions of 2π₯2 β π¦2 = ±1, respectively. Theorem 7. Let π π = (ππ , ππ ) for π π+1 = 2π π + π πβ1 with π 0 = (0, 1), π 1 = (1, 1). Then the following hold. (1) ππ+1 = ππ + ππ and ππ+1 = ππ+1 + ππ and 2ππ ππβ1 β ππ ππβ1 = (β1)π . So π = {π π }πβ₯0 is a sequence of solutions of 2π₯2 β π¦2 = (β1)π+1 . 4 International Journal of Mathematics and Mathematical Sciences (2) Let π΄ = ( 11 21 ). Then π π = π πβ1 π΄ = π 0 π΄π by considering π π as a matrix. (3) Let π+ , πβ be subsets of π consisting of π π+ , π πβ , respectively. If π π β π± then π π+1 β πβ and π π+2 β π± . Proof. The recurrence π π+1 = 2π π + π πβ1 shows (ππ+1 , ππ+1 ) = (2ππ + ππβ1 , 2ππ + ππβ1 ). So π2 = 2π1 + π0 = 2 = π1 + π1 and π2 = 2π1 + π0 = 3 = π2 + π1 . Hence if we assume ππ = ππβ1 + ππβ1 and ππ = ππ + ππβ1 then ππ+1 = 2ππ + ππβ1 = ππ + (ππ + ππβ1 ) = ππ + ππ and ππ+1 = (2ππ + ππβ1 ) + ππ = ππ+1 + ππ . Clearly π π = (ππ , ππ ) (1 β€ π β€ 3) are solutions of 2π₯2 β 2 π¦ = (β1)π+1 , and 2ππ ππβ1 β ππ ππβ1 = (β1)π . If (ππ , ππ ) satisfies the identities for π β€ π then 2 2 2 2 β ππ+1 = 2 (2ππ + ππβ1 ) β (2ππ + ππβ1 ) 2ππ+1 2 2 = 4 (2ππ2 β ππ2 ) + (2ππβ1 β ππβ1 ) + 4 (2ππ ππβ1 β ππ ππβ1 ) = (β1)π+2 , (5) 2ππ+1 ππ β ππ+1 ππ = 2 (2ππ2 β ππ2 ) + (2ππ ππβ1 β ππ ππβ1 ) = (β1)π+1 . Now π 0 π΄ = (1, 1) = π 1 and π 1 π΄ = (2, 3) = π 2 = π 0 π΄2 . So if we assume π πβ1 π΄ = π π = π 0 π΄π then π 0 π΄π+1 = π π π΄ = (ππ + ππ , 2ππ + ππ ) = (ππ+1 , ππ+1 ) = π π+1 . Moreover for π π = (ππ , ππ ), π π+1 = (ππ +ππ , 2ππ +ππ ) satisfies 2(ππ + ππ )2 β (2ππ + ππ )2 = β(2ππ2 β ππ2 ). Similarly from π π+2 = π π π΄2 = (3ππ + 2ππ , 4ππ + 3ππ ), we have 2(3ππ + 2ππ )2 β (4ππ + 3ππ )2 = 2ππ2 β ππ2 . Thus if π π β π± then π π+1 β πβ and π π+2 β π± . This completes the proof. Corollary 8. Let (π1 , π1 , π1 ) (π = 1, 2) be either iso-NPTs or iso-APTs. Define a multiplication by (π1 , π1 , π1 )(π2 , π2 , π2 ) = (π1 π2 + π2 π1 , π1 π2 + π2 π1 , 2π1 π2 + π1 π2 ). Then the multiplication of iso-NPTs (or iso-APTs) yields an iso-NPT. And the multiplication of iso-APT and iso-NPT yields an iso-APT. The corollary about iso-APT and iso-NPT follows immediately. Hence sets πβ and π+ yield iso-NPTs {(2, 2, 3), (12, 12, 17), (70, 70, 99), (408, 408, 577), . . .} and iso-APTs {(1, 1, 1), (5, 5, 7), (29, 29, 41), (169, 169, 239), . . .}. 3. Almost Isosceles Pythagorean Triple The nonexistence of isosceles integer solution of π₯2 + π¦2 = π§2 intrigues investigations for finding solutions that look more and more like isosceles. By an almost isosceles pythagorean triple (AI-PT), we mean an integer solution (π, π, π) of π₯2 + π¦2 = π§2 such that π and π differ by only 1. The triples (3, 4, 5), (20, 21, 29), (119, 120, 169), and (696, 697, 985) are typical examples of AI-PT. Let (π, π, π) be an AI-PT with π = π+1. If π = π+π for π β N then π2 + (π + 1)2 = (π + 1 + π)2 , so π2 β 2ππ β (π2 + 2π) = 0. The solution π = π ± β2π(π + 1) is an integer if 2π(π + 1) is a perfect square. In fact, if π = 1 then 2π(π + 1) = 4, so π = 3, π = 4 yields an AI-PT (3, 4, 5). Let 2π(π + 1) = π’2 for Table 5 π 2 4 6 8 (π’π , Vπ ) (2, 3) (12, 17) (70, 99) (408, 577) ππ 1 8 49 288 ππ , ππ , ππ 3, 4, 5 20, 21, 29 119, 120, 169 696, 697, 985 π’ β N. Then π’2 β 2π2 β 2π = 0, so 2π’2 β (2π + 1)2 = β1. If V = 2π + 1 then 2π’2 β V2 = β1, so the pairs (π’, V) correspond to the pairs (π’π , Vπ ) β πβ in Theorem 7. Hence the set πβ = {(2, 3), (12, 17), (70, 99), . . .} together with ππ = (Vπ β 1)/2, ππ = π’π + ππ , ππ = ππ + 1, and ππ = ππ + ππ provides Table 5 of AI-PT (ππ , ππ , ππ ). Theorem 9. (1) When (π’π , Vπ ) β πβ , let ππ = π’π +(1/2)(Vπ β1), ππ = π’π + (1/2)(Vπ + 1), and ππ = π’π + Vπ . Then (ππ , ππ , ππ ) is an AI-PT with ππ β ππ = (1/2)(Vπ β 1). (2) If (π’π , Vπ ) β π+ then (ππ , ππ , ππ ) is an AI-PT for ππ = (1/2)(Vπ β 1), ππ = (1/2)(Vπ + 1), and ππ = π’π . Proof. If (π’π , Vπ ) β πβ then Vπ is odd since Vπ = 2Vπβ1 + Vπβ2 in Theorem 7. So if we let ππ = (1/2)(Vπ β 1) then ππ = π’π + ππ , ππ = ππ + 1, and ππ β ππ = (π’π + Vπ ) β π’π β (1/2)(Vπ + 1) = (1/2)(Vπ β 1) = ππ . Thus 2 (ππ2 + ππ2 ) = 2 (2ππ2 + 2ππ + 1) = 4 (π’π + Vπ β 1 2 V β1 ) + 4 (π’π + π )+2 2 2 = 4π’π2 + 4π’π Vπ + Vπ2 + 1 = 2π’π2 + (2π’π2 + 1) + 4π’π Vπ + (6) Vπ2 2 = 2π’π2 + Vπ2 + 4π’π Vπ + Vπ2 = 2 (π’π + Vπ ) = 2ππ2 , since (π’π , Vπ ) β πβ satisfies 2π’π2 β Vπ2 = β1. So (ππ , ππ , ππ ) is an AI-PT. Similarly Theorem 7 says if (π’π , Vπ ) β π+ then (π’πβ1 , Vπβ1 ) β πβ , where 1 2 ) (π’πβ1 , Vπβ1 ) = (π’π , Vπ ) ( 1 1 β1 (7) = (βπ’π + Vπ , 2π’π β Vπ ) . Hence by letting ππ = βπ’π +Vπ +(1/2)(2π’π βVπ β1) = (1/2)(Vπ β 1), ππ = βπ’π + Vπ + (1/2)(2π’π β Vπ + 1) = (1/2)(Vπ + 1), and ππ = βπ’π + Vπ + 2π’π β Vπ = π’π , (1) implies that (ππ , ππ , ππ ) is an AI-PT. Table 5 can be compared to the results in [2, 3]. A feature here is that we first generate infinitely many isoNPTs (π’π , π’π , Vπ ) and then find AI-PTs (π’π + (Vπ β 1)/2, π’π + (Vπ + 1)/2, π’π + Vπ ). For instance, (π’π , Vπ ) = (5, 7), (29, 41), (169, 239) in π+ produce AI-PTs (3, 4, 5), (20, 21, 29), International Journal of Mathematics and Mathematical Sciences (119, 120, 169), respectively, by Theorem 9. Moreover Pell sequence provides iso-APT, iso-NPT, and AI-PTs. Theorem 10. Let {ππ } be the Pell sequence with π0 = 0 and π1 = 1. (1) (ππ , ππ , ππβ1 + ππ ) is an iso-APT if π is odd; otherwise it is an iso-NPT. (2) ((1/2)(ππ + ππ+1 β 1), (1/2)(ππ + ππ+1 + 1), ππ+1 ) with even π and ((1/2)(ππβ1 +ππ β1), (1/2)(ππβ1 +ππ +1), ππ ) with odd π are AI-PTs. Proof. Let π΄ 2 2π2 ( π1π+π π1 +π2 ), 2 π +π 2π 2 1 2π1 = ( 11 21 ) = ( π0π+π π0 +π1 ). Then π΄ 1 π and it is easy to see π΄ π +π 2π = = πβ1 π ( πβ2ππβ1πβ1 ππβ2 +π ) ( 11 21 ) = ( πβ1ππ π ππβ1 +π ) by ππ = 2ππβ1 + πβ1 π π π ππβ2 . Hence the determinant (β1) = |π΄ | = (ππβ1 +ππ )2 β2ππ2 shows (1) due to Theorem 7. For (2), clearly π π = π 0 π΄π = (ππ , ππβ1 + ππ ) and ππβ1 + ππ is odd. If π is even then π π β πβ , so by Theorem 9 we may let ππ = ππ + (ππβ1 + ππ β 1) (ππ+1 + ππ β 1) = , 2 2 ππ = ππ + (ππβ1 + ππ + 1) (ππ+1 + ππ + 1) = , 2 2 (8) ππ = ππ + (ππβ1 + ππ ) = ππ+1 . So we have an AI-PT (ππ , ππ , ππ ). 5 Now if π is odd then π π β π+ . Again by Theorem 9, we have an AI-PT (ππ , ππ , ππ ) with ππ = (1/2)(ππ + ππβ1 β 1), ππ = (1/2)(ππ + ππβ1 + 1), and ππ = ππ . There are infinitely many iso-APTs and iso-NPTs by means of Pell sequence, where their corresponding pairs are regarded as solutions of 2π₯2 β π¦2 = ±1. Moreover infinitely many AI-PTs (π, π, π) arose from Pell sequence are solutions of π₯2 + π¦2 = π§2 with π β π = 1. Indeed, due to Theorem 10, if π = 9 then (π9 , π9 , π8 +π9 ) = (985, 985, 1393) satisfies π₯2 +π¦2 = π§2 + 1, so it is an iso-APT, while ((1/2)(π8 + π9 β 1), (1/2)(π8 + π9 + 1), π9 ) = (696, 697, 985) meets π₯2 + π¦2 = π§2 , so it is an AI-PT. On the other hand if π = 10 then (π10 , π10 , π9 + π10 ) = (2378, 2378, 3363) is an iso-NPT satisfying π₯2 + π¦2 = π§2 β 1, while ((1/2)(π10 + π11 β 1), (1/2)(π10 + π11 + 1), π11 ) = (4059, 4060, 5741) is an AI-PT satisfying π₯2 + π¦2 = π§2 . Besides Pell sequence, Fibonacci sequence is also useful to generate AI-PT. Horadam [8] proved that the four Fibonacci numbers {πΉπ , πΉπ+1 , πΉπ+2 , πΉπ+3 } generate a PT ππ = 2 2 (πΉπ πΉπ+3 , 2πΉπ+1 πΉπ+2 , πΉπ+1 + πΉπ+2 ). So {ππ }πβ₯1 = {(3, 4, 5), (5, 12, 13), (16, 30, 34), (39, 80, 89), (105, 208, 233), . . .} are all PTs. As a generalization, we say a sequence {ππ } is Fibonacci type if ππ +ππ+1 = ππ+2 with any initials π1 and π2 . Clearly {ππ } = {πΉπ } if π1 = π2 = 1, and any four Fibonacci type numbers π β π, π, π, and π + π (π > π > 0) yield a PT (π2 β π2 , 2ππ, π2 + π2 ), Euclidβs formula. Let us consider Fibonacci type numbers and their corresponding PTs: {ππ } : {π β π, π, π, π + π} {π + π, π, 2π + π, 3π + π} ππ : (π2 β π2 , 2ππ, π2 + π2 ) (3π2 + 4ππ + π2 , 4π2 + 2ππ, 5π2 + 4ππ + π2 ) . (9) In particular if π = 1 and π = 2, we have {ππ } : {1, 1, 2, 3} {3, 2, 5, 7} {7, 5, 12, 17} {17, 12, 29, 41} β β β ππ : (3, 4, 5) (21, 20, 29) (119, 120, 169) (697, 696, 985) β β β . And we notice that middle two terms of {ππ } are consecutive Pell numbers and the corresponding PT ππ are all AI-PT. Theorem 11. Let π = ππ , π = ππ+1 be Pell numbers. Then the PT generated by four Fibonacci type numbers π β π, π, π, and π + π is an AI-PT. Proof. Consider four Fibonacci type numbers {πβπ, π, π, π+π} and its generated triple ππ . We have seen that ππ are all AI-PT if 1 β€ π β€ 4. Now let ππ = (π₯π , π¦π , π§π ) be the PT generated by {ππ+1 β ππ , ππ , ππ+1 , ππ+1 + ππ } for any π > 0. Since π₯π = 2 2 ππ+1 β ππ2 , π¦π = 2ππ ππ+1 , and π§π = ππ2 + ππ+1 , it is not hard to see that 2 2 π₯π β π¦π = (ππ+1 β ππ ) β 2ππ2 = (ππ + ππβ1 ) β 2ππ2 = (β1)π (11) (10) due to the determinant of π΄π in Theorem 10. Thus ππ is an AI-PT. Like for triples (π₯, π¦, π§) satisfying |π¦ β π₯| = 1, it is worth asking for triples (π₯, π¦, π§) satisfying |π¦ β π₯| = π for π β N. For instance, the Fibonacci type numbers {1, 1, 2, 3}, {1, 2, 3, 5}, and {1, 3, 4, 7} produce PTs (π₯, π¦, π§) = (3, 4, 5), (5, 12, 13), (7, 24, 25), respectively, where π¦ β π₯ = 1, 7, 17. Theorem 12. For any positive integer π, there are infinitely many PTs (π₯, π¦, π§) satisfying |π¦ β π₯| = 2π2 β 1. Proof. We assume π1 = 1 and π1 = π. Fibonacci type numbers {π1 , π1 , π1 + π1 , π1 + 2π1 } make a PT π1(π) = (2π + 1, 2π(π + 1), 2π(π+1)+1), where the difference πΏ1(π) = |π¦1 βπ₯1 | = 2π2 β1. 6 International Journal of Mathematics and Mathematical Sciences Table 6 π ππ βs ππ(1) with πΏπ(1) = 1 ππ βs ππ(2) with πΏπ(2) = 7 ππ βs ππ(3) with πΏπ(3) = 17 ππ βs ππ(4) with πΏπ(4) = 31 1 1, 1, 2, 3 (3, 4, 5) 1, 2, 3, 5 (5, 12, 13) 1, 3, 4, 7 (7, 24, 25) 1, 4, 5, 9 (9, 40, 41) 2 3, 2, 5, 7 (21, 20, 29) 5, 3, 8, 11 (55, 48, 73) 7, 4, 11, 15 (105, 88, 137) 9, 5, 14, 19 (171, 140, 221) 3 7, 5, 12, 17 (119, 120, 169) 11, 8, 19, 27 (297, 304, 425) 15, 11, 26, 37 (555, 572, 797) 19, 14, 33, 47 (893, 924, 1285) Secondly if π2 = π1 + 2π1 , π2 = π1 + π1 then Fibonacci type numbers {π2 , π2 , π2 +π2 , π2 +2π2 } yield a PT π2(π) = (8π2 +10π+ 3, 6π2 + 10π + 4, 10π2 + 14π + 5), with πΏ2(π) = |π¦2 β π₯2 | = 2π2 β 1. Now for any π > 1, let ππ = ππβ1 +2ππβ1 and ππ = ππβ1 +ππβ1 . Assume that the PT ππ(π) = (π₯π , π¦π , π§π ) = (ππ (ππ +2ππ ), 2ππ (ππ + ππ ), ππ2 + (ππ + ππ )2 ) generated by Fibonacci type numbers {ππ , ππ , ππ + ππ , ππ + 2ππ } satisfies πΏπ(π) = |2π2 β 1|. Then the (π) generated by {ππ+1 , ππ+1 , ππ+1 + ππ+1 , ππ+1 + 2ππ+1 } next PT ππ+1 forms (π) 2 ππ+1 = (ππ+1 (ππ+1 + 2ππ+1 ) , 2ππ+1 (ππ+1 + ππ+1 ) , ππ+1 2 + (ππ+1 + ππ+1 ) ) . (12) And we also have σ΅¨ σ΅¨ (π) πΏπ+1 = σ΅¨σ΅¨σ΅¨π¦π+1 β π₯π+1 σ΅¨σ΅¨σ΅¨ σ΅¨ σ΅¨ = σ΅¨σ΅¨σ΅¨2 (ππ + ππ ) (2ππ + 3ππ ) β (ππ + 2ππ ) (3ππ + 4ππ )σ΅¨σ΅¨σ΅¨ (13) σ΅¨ σ΅¨ σ΅¨ σ΅¨ = σ΅¨σ΅¨σ΅¨σ΅¨ππ2 β 2ππ2 σ΅¨σ΅¨σ΅¨σ΅¨ = σ΅¨σ΅¨σ΅¨2ππ (ππ + ππ ) β ππ (ππ + 2ππ )σ΅¨σ΅¨σ΅¨ σ΅¨ σ΅¨ σ΅¨ σ΅¨ = σ΅¨σ΅¨σ΅¨σ΅¨πΏπ(π) σ΅¨σ΅¨σ΅¨σ΅¨ = σ΅¨σ΅¨σ΅¨σ΅¨2π2 β 1σ΅¨σ΅¨σ΅¨σ΅¨ . So we have infinitely many PTs (π₯π , π¦π , π§π ) such that |π¦π β π₯π | = 2π2 β 1. If π1 = 1, π2 = π (1 β€ π β€ 4) then π1(π) with πΏ1(π) = |2π2 β 1| are {(3, 4, 5), (5, 12, 13), (7, 24, 25), (9, 40, 41)}. ππ(π) (1 β€ π, π β€ 4) with πΏπ(π) = |2π2 β 1| are as shown in Table 6. Competing Interests The author declares that there is no conflict of interests regarding the publication of this paper. Acknowledgments This work was supported by 2016 HanNam University Research Fund. References [1] O. Frink, βAlmost pythagorean triples,β Mathematics Magazine, vol. 60, no. 4, pp. 234β236, 1987. [2] C. C. Chen and T. A. Peng, βClassroom note. Almost isoceles right angled triangle,β Australasian Journal of Combinatorics, vol. 11, pp. 263β267, 1995. [3] R. H. Dye and R. W. Nickalls, β82.9 A new algorithm for generating pythagorean triples,β The Mathematical Gazette, vol. 82, no. 493, pp. 86β91, 1998. [4] T. W. Forget and T. A. Larkin, βPythagorean triads of the form π₯, π₯ + 1, π§ described by recurrence sequences,β The Fibonacci Quarterly, vol. 6, no. 3, pp. 94β104, 1968. [5] G. Hatch, βPythagorean triples and triangular square numbers,β The Mathematical Gazette, vol. 79, no. 484, pp. 51β55, 1995. [6] M. A. Nyblom, βA note on the set of almost-isosceles rightangled triangles,β The Fibonacci Quarterly, vol. 36, no. 4, pp. 319β 322, 1998. [7] D. Burton, Elementary Number Theory, McGraw Hill Education, 2010. [8] A. F. Horadam, βFibonacci number triples,β The American Mathematical Monthly, vol. 68, pp. 751β753, 1961. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Applied Mathematics Algebra Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Mathematical Problems in Engineering Journal of Mathematics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Discrete Dynamics in Nature and Society Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Abstract and Applied Analysis Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Journal of Stochastic Analysis Optimization Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014
© Copyright 2024 Paperzz