A Triangle with Sides Lengths of a Rational Power of the Plastic Constant
Total Page:16
File Type:pdf, Size:1020Kb
A TRIANGLE WITH SIDES LENGTHS OF A RATIONAL POWER OF THE PLASTIC CONSTANT KOUICHI NAKAGAWA Abstract. Using the golden ratio φ, a triangle whose side length ratio can be expressed as p 2 1 : φ : φ represents a rightp triangle since the golden ratio has the property of φ = φ + 1 and therefore satisfies 12 + ( φ)2 = φ2. This triangle is called the Kepler triangle. As in the case of the Kepler triangle, in this study we determine triangles where the length of the three sides is expressed using only the constant obtained from the linear recurrence sequence (golden ratio, plastic constant, tribonacci constant and supergolden ratio). 1. Introduction The Fibonacci numbers are defined by the recurrence Fn+2 = Fn+1 + Fn with the initial values F0 = 0, F1 = 1, and the limit of the ratios of successive terms converges to p F 1 + 5 lim n = φ = ≈ 1:61803 ··· ; n!1 Fn−1 2 φ is called the golden ratio. One property of the golden ratio is φ2 = φ + 1; it is also an algebraic integer of degree 2. By the property of the golden ratio and the Pythagorean theorem, we have φ2 = φ + 1 () 12 + (pφ)2 = φ2: p Since the ratio of the lengths of the three sides is 1 : φ : φ, this triangle is a right triangle, called the Kepler triangle. In addition, the following are known as characteristic triangles. An isosceles triangle whose three side length ratios can be expressed as φ : φ : 1 is called a golden triangle. The three angles are 36° − 72° − 72°. An isosceles triangle whose three sides length ratio can be expressed as 1 : 1 : φ is called a golden gnomon. The three angles are 108° − 36° − 36°. From the above, it was found that there are many triangles in which three sides have an integer power of the golden ratio and at least one of the internal angles is an integer degree. Extending these, is there any other triangle whose three sides are rational powers of constants obtained from the linear recurrence sequence and at least one of the internal angles is an integer degree, and how many? I think these questions arise naturally. 1.1. The constant obtained from a linear recurrence sequence. The following are known as constants obtained from a linear recurrence sequence. Definition 1.1 (Padovan Sequence). The Padovan sequence is defined by the recurrence Pn+3 = Pn+1 + Pn with the initial values P0 = P1 = 0, P2 = 1. 166 VOLUME 58, NUMBER 5 RATIONAL POWER OF THE PLASTIC CONSTANT The limit of the ratios of successive terms converges to P lim n = ρ ≈ 1:32471795 ··· ; n!1 Pn−1 and ρ is called the plastic constant. Property of the golden ratio is ρ3 = ρ + 1. It is also an algebraic integer of degree 3. Definition 1.2 (Tribonacci sequence). The Tribonacci sequence is defined by the recurrence Tn+3 = Tn+2 + Tn+1 + Tn with the initial values T0 = T1 = 0, T2 = 1. The limit of the ratios of successive terms converges to T lim n = t ≈ 1:83929 ··· ; n!1 Tn−1 and t is called the Tribonacci constant. A property of this constant is t3 = t2 + t + 1. It is also an algebraic integer of degree 3. Definition 1.3 (Narayana’s cows sequence). The Narayana’s cows sequence is defined by the recurrence Nn+3 = Nn+2 + Nn with the initial values N0 = N1 = 0, N2 = 1. The limit of the ratios of successive terms converges to N lim n = ≈ 1:46557 ··· ; n!1 Nn−1 and is called the supergolden ratio. A property of this constant is 3 = 2 + 1. It is also an algebraic integer of degree 3. 2. Conditions for Special Triangles 2.1. Condition. Let 4ABC be a triangle with 6 C = θ. Using the law of cosine, we have a2 + b2 − 2ab cos θ = c2: Suppose here that the ratio of the sides of the triangle is represented by rational powers of a positive constant x(6= 1). Let the ratio of the three sides length be expressed as a : b : c = 1 : xα : xβ: 0 Hereafter, such a triangle will be denoted as (0; α; β)x. (Since x = 1, we used 0.) At this time, the relational expression of the three sides becomes 1 + x2α − 2xα cos θ = x2β: Remark 2.1. Consider x = 1, 4ABC is a regular triangle. So (0; 0; 0)x. Therefore x is any constant. Theorem 2.2 (Trigonometric functions and rational numbers [1933, Lehmer]). If n > 2 and (k; n) = 1, then 2 cos 2πk=n is an algebraic integer of degree φ(n)=2, where φ(n) is the Euler’s totient function. For positive n 6= 4, 2 sin 2πk=n is an algebraic integer of degree φ(n), φ(n)=4, or φ(n)=2 according as (n; 8) < 4, (n; 8) = 4, or (n; 8) > 4. Corollary 2.3 (Algebraic integers of degree 3 or less). The following can be said about 0° ≤ θ ≤ 180°. DECEMBER 2020 167 THE FIBONACCI QUARTERLY Degree 1: n = 1; 2; 3; 4; 6. In other words, θ = 0°; 60°; 90°; 120°; 180°. Degree 2: n = 5; 8; 10; 12. In other words, θ = 30°; 36°; 45°; 72°; 108°; 135°; 144°; 150°. Degree 3: n = 9; 18. In other words, θ = 20°; 40°; 80°; 100°; 140°; 160°. Remark 2.4. n = 7; 14 is included in degree 3. However, θ is NOT an integer angle. Proposition 2.5. Substituting the above values of θ into 1 + x2α − 2xα cos θ = x2β gives the following relational expression. θ = 0(= 0°): x2β = (xα − 1)2 =) xβ = xα − 1. π 2β 2α α θ = 3 (= 60°): x = x − x + 1. π 2β 2α θ = 2 (= 90°): x = x + 1. 2π 2β 2α α θ = 3 (= 120°): x = x + x + 1. θ = π(= 180°): x2β = (xα + 1)2 =) xβ = xα + 1. 2.2. Trivial case. 2.2.1. Triangular condition obvious in θ = π (= 180°). Since the relational expression is xβ = α x + 1, it is obvious that the triangle (0; α; β)x satisfies the condition. Example 2.6. (0; 1; 2)φ, (0; 1; 3)ρ, (0; 2; 3) . Remark 2.7 (θ = 0 (= 0°)). 6 C = 180° () 6 A = 6 B = 0°. So we can replace the contents of the above example and change it to (α; β; 0)x and (0; β; α)x. π 2β 2.2.2. Triangular condition obvious in θ = 2 (= 90°). Since the relational expression is x = 2α α β x + 1, it is obvious that the triangle (0; 2 ; 2 )x satisfies the condition. 1 1 3 3 Example 2.8. 0; 2 ; 1 φ, 0; 2 ; 2 ρ, 0; 1; 2 . 2π 2.2.3. Triangular condition obvious in θ = 3 (= 120°). Since the relational expression is 2β 2α α 3 x = x + x + 1, it is obvious that the triangle (0; 1; 2 )t satisfies the condition. 2.3. Non-trivial case. 5 π 2.3.1. Triangle (0; 2; )x in θ = (= 90°). In this case it satisfies 2 2 x5 = x4 + 1 () x2 − x + 1 x3 − x − 1 = 0: 2 1 2 3 Since x − x + 1 = (x − 2 ) + 4 > 0, we have x5 = x4 + 1 =) x3 − x − 1 = 0: 5 If this triangle is 0; 2; 2 ρ, since the property that the plastic constant satisfies is ρ3 = ρ + 1; so this triangle obviously satisfies the condition. Remark 2.9 (θ = π (= 180°)). (0; 4; 5)ρ also satisfies the condition. 168 VOLUME 58, NUMBER 5 RATIONAL POWER OF THE PLASTIC CONSTANT 3 π 2.3.2. Triangle (0; 2; )x in θ = (= 60°). In this case it satisfies 2 3 x3 = x4 − x2 + 1 () (x − 1) x3 − x − 1 = 0: Since x 6= 1, we have x3 = x4 − x2 + 1 =) x3 − x − 1 = 0: 3 If this triangle is 0; 2; 2 ρ, since the property that the plastic constant satisfies is ρ3 = ρ + 1; so this triangle obviously satisfies the condition. 5 π 2.3.3. Triangle (0; 3; )x in θ = (= 60°). In this case it satisfies 2 3 x5 = x6 − x3 + 1 () (x − 1) x2 + 1 x3 − x − 1 = 0: Since x 6= 1 and x2 + 1 > 0, we have x5 = x6 − x3 + 1 =) x3 − x − 1 = 0: 5 If this triangle is 0; 3; 2 ρ, since the property that the plastic constant satisfies is ρ3 = ρ + 1; so this triangle obviously satisfies the condition. 5 2π 2.3.4. Triangle (0; 1; )x in θ = (= 120°). In this case it satisfies 2 3 x5 = x2 + x + 1 () x2 + 1 x3 − x − 1 = 0: Since x2 + 1 > 0, we have x5 = x2 + x + 1 =) x3 − x − 1 = 0: 5 If this triangle is 0; 1; 2 ρ, since the property that the plastic constant satisfies is ρ3 = ρ + 1; so this triangle obviously satisfies the condition. 2π 2.3.5. Triangle (0; 1; 2)x in θ = (= 120°). In this case it satisfies 3 x4 = x2 + x + 1 () (x + 1) x3 − x2 − 1 = 0: Since x + 1 > 0, we have x4 = x2 + x + 1 =) x3 − x2 − 1 = 0: If this triangle is (0; 1; 2) , since the property that the supergolden ratio satisfies is 3 = 2 + 1; so this triangle obviously satisfies the condition. The following results were obtained for the non-trivial cases. DECEMBER 2020 169 THE FIBONACCI QUARTERLY θ Ratio Constant π 5 (= 90°) 0; 2; Plastic Constant 2 2 ρ π 3 (= 60°) 0; 2; Plastic Constant 3 2 ρ π 5 (= 60°) 0; 3; Plastic Constant 3 2 ρ 2π 5 (= 120°) 0; 1; Plastic Constant 3 2 ρ 2π (= 120°) (0; 1; 2) Supergolden Ratio 3 π(= 180°) (0; 4; 5)ρ Plastic Constant 2.4.