Next Article in Journal
Graph-Theoretic Problems and Their New Applications
Previous Article in Journal
Refined Expected Value Decision Rules under Orthopair Fuzzy Environment
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Note on Surfaces in Space Forms with Pythagorean Fundamental Forms

1
Department of Mathematics, Firat University, 23000 Elazig, Turkey
2
Department of Mathematics and Computer Science, Technical University of Civil Engineering, Bucharest, 020396 Bucharest, Romania
*
Author to whom correspondence should be addressed.
The authors contributed equally to this work.
Mathematics 2020, 8(3), 444; https://doi.org/10.3390/math8030444
Submission received: 18 February 2020 / Revised: 12 March 2020 / Accepted: 13 March 2020 / Published: 19 March 2020
(This article belongs to the Section Mathematics and Computer Science)

Abstract

:
In the present note we introduce a Pythagorean-like formula for surfaces immersed into 3-dimensional space forms M 3 ( c ) of constant sectional curvature c = 1 , 0 , 1 . More precisely, we consider a surface immersed into M 3 c satisfying I 2 + II 2 = III 2 , where I , II and III are the matrices corresponding to the first, second and third fundamental forms of the surface, respectively. We prove that such a surface is a totally umbilical round sphere with Gauss curvature φ + c , where φ is the Golden ratio.
MSC:
Primary: 11C20; Secondary: 11E25, 53C24, 53C42

1. Introduction and Statements of Results

Let N * denote set of all positive integers. For  a , b , c N * , let a , b , c be a triple with a 2 + b 2 = c 2 , called a Pythagorean triple. The Pythagorean theorem states that the lengths of the sides of a right triangle turns to a Pythagorean triple. Moreover, if  a , b , c is a Pythagorean triple, so is k a , k b , k c , for any k N * . If gcd a , b , c = 1 , the triple { a , b , c } is called a primitive Pythagorean triple. Of course, the most famous one among them is 3 , 4 , 5 . The Indian mathematician Brahmagupta (598–665 AD) gave a practical way generating all primitive Pythagorean triples: a triple m 2 n 2 , 2 m n , m 2 + n 2 is a primitive Pythagorean triple for every m , n N * satisfying the following conditions
  • m > n ,
  • gcd m , n = 1 ,
  • m + n 1 (mod 2) (see [1]).
Recently, in [2], the authors extended this notion to the triple of integer-valued n × n matrices. Namely, a triple of such matrices A , B , C is said to be Pythagorean if it satisfies
A 2 + B 2 = C 2 .
As a trivial example, Equation (1) holds for any triple
A = diag a 1 , , a n , B = diag b 1 , , b n , C = diag c 1 , c n
in which a i , b i , c i i = 1 , , n are Pythagorean triples. We refer to [2] for non-trivial examples and more details. We notice that this is not the first connection between Pythagorean triples and square matrices, see [3,4].
This interesting extension of Pythagorean triples motivates us to search a counterpart, in Differential Geometry, of this topic of Number Theory. For this purpose, a surface M 2 immersed into a 3-dimensional Riemannian space form M 3 ( c ) , c = 1 , 0 , 1 , satisfying
I 2 + II 2 = III 2 ,
where I 2 , II 2 and III 2 are the squares of the matrices corresponding to the first, second and third fundamental forms of M 2 , respectively, is considered. We call Equation (2) the Pythagorean-like formula for a surface immersed into M 3 ( c ) .
As an example, let M 3 c be the 3-dimensional Euclidean space E 3 , i.e., c = 0 . As usual we denote by S 2 r a sphere of radius r in E 3 centered at the origin. As is known, the metric of S 2 ( r ) is given by , I = d u 2 + cos 2 u r d v 2 ; for r one naturally obtains the Euclidean metric d u 2 + d v 2 . The second and the third fundamental forms of S 2 ( r ) are h = 1 r , I and χ = 1 r 2 , I . Therefore, S 2 ( r ) satisfies the Pythagorean-like formula if and only if the following algebraic equation of degree 2 holds
x 2 + x 1 = 0 ,
where x = r 2 . Equation (3) has only one positive root, i.e., x = 5 1 2 , which is the conjugate of φ , the Golden Ratio. This immediately implies that the Gauss curvature K = 1 / r 2 of S 2 ( r ) becomes the Golden Ratio.
Besides the Pythagorean Theorem, since the early ages, Golden ratio φ φ = 1 + 5 2 = 1.61803398874989 have had great interest not only for mathematicians but also for other scientists, philosophers, architects, and artists, for example see [5]. Indeed, we can see its importance due to Johannes Kepler (1571–1630), reference ([6]).
Geometry has two great treasures; one is the Theorem of Pythagoras; the other, the division of a line into extreme and mean ratio. The first we may compare to a measure of gold; the second we may name a precious jewel”.
The main result is the following.
Theorem 1.
Let M 2 be a compact surface immersed into M 3 c , c = 1 , 0 , 1 , with nonzero extrinsic curvature everywhere. If M 2 satisfies a Pythagorean-like formula given by Equation ( 2 ) , then it is a totally umbilical round sphere with Gauss curvature φ + c , where φ is the Golden ratio.
Remark 1.
For c = 1 , we take M 3 ( c ) an open hemisphere S + 3 .
We also denote by A the matrix corresponding to the shape operator A . The Pythagorean-like formula also can be interpreted in terms of shape operator A as
I 2 + I A 2 = I A 2 2 ,
which is similar to the equation
I + A = A 2 ,
where I is identity on the tangent bundle of M 2 . In [7], Equation (4) was completely solved for the so-called golden-shaped hypersurfaces in real space forms.
We notice that the starting point for the main idea of this study is the Pythagorean Theorem in spite of the fact that the Pythagorean-like formula given by Equation (2) is not directly related to the distance between points as in the usual case.

2. Preliminaries

In this section we provide some basics from [8,9].
Let M 3 c denote a 3-dimensional Riemannian space form of constant sectional curvature c = 1 , 0 , 1 and , a Riemannian metric on M 3 c . Therefore, M 3 c turns to the Euclidean space E 3 , the 3-sphere S 3 and the hyperbolic space H 3 when c = 0 , c = 1 and c = 1 , respectively. Here, S 3 is the usual unit sphere of E 4 given by
S 3 = x = x 1 , x 2 , x 3 , x 4 E 4 : x , x = 1 ,
and H 3 the hyperquadric of the Lorentz–Minkowski space E 1 4 given by
H 3 = x = x 1 , x 2 , x 3 , x 4 E 1 4 : x , x L = 1 ,
where , L is the standard Lorentzian metric. We denote by S i , + 3 the open hemisphere consisting of all points x on S 3 with x i > 0 .
Next, let M 2 be an orientable surface immersed into M 3 c with metric , I induced from Riemannian metric , on M 3 c . Denote by ν the unit normal vector field over M 2 and T p M 2 the tangent space of M 2 at the point p . For x , y T p M 2 , the second fundamental form is the symmetric bilinear form given by
h p x , y = d ν x , y I = A p x , y I ,
where A is the shape operator. M 2 is called totally geodesic when h = 0 and totally umbilical when h = λ , I , where λ is a nonzero constant. The eigenvalues of A at p, denoted by κ 1 and κ 2 , are called the principal curvatures of M 2 at p . Denoting the trace of A by tr A , H p = tr A p / 2 = κ 1 + κ 2 / 2 is called the mean curvature of M 2 at p . M 2 is said to be minimal if H vanishes identically.
The Gauss equation for M 2 gives the Gauss curvature K by
K = K e x t + c ,
where K e x t is the extrinsic curvature of M 2 , i.e., K e x t = det A = κ 1 κ 2 . In the Euclidean setting, obviously we have K = K e x t .
Noting that A is a self-adjoint linear operator at each point of M 2 , we introduce the third fundamental form of M 2 at p by
χ p x , y = A p x , A p y I .
Therefore, the Cayley–Hamilton Theorem for the matrix A has the form:
III 2 H · II + K e x t · I = 0 .

3. Proof of Theorem 1

Let M 2 be an immersed surface into E 3 , H 3 , or S + 3 , respectively, satisfying the Pythagorean-like formula given by Equation (2). If M 2 is totally geodesic, i.e., II = 0 , then it follows III = 0 and hence the Pythagorean-like formula leads to the contradiction I = 0 . Furthermore, if II is degenerate, or equivalently det II = 0 , then the Equations (2) and (5) imply
I 2 = 4 H 2 1 II 2 ,
which contradicts the fact that I is positive definite. Therefore, we necessarily assume det II 0 everywhere. In the Euclidean setting, it is equivalent to assume K 0 everywhere. If M 2 is minimal, from Equations (2) and (5) we derive
K e x t 2 1 I 2 = II 2 .
Taking the determinant, we obtain
K e x t 4 3 K e x t 2 + 1 = 0 ,
at each point of M 2 . Then K e x t is a nonzero constant, or equivalently, K is constant. If the ambient space is E 3 or H 3 then M 2 must be totally geodesic (see [10] (Corollary 1)), which gives a contradiction. Otherwise, i.e., the ambient space is S + 3 , there exist two cases (for details, see [11] (Corollary 3)):
Case a. K = 1 and M 2 is totally geodesic. This case is not possible, already we discussed it above.
Case b. K = 0 and M 2 is an open piece of the Clifford torus. Thus, K e x t = 1 , which does not fulfill Equation ( 7 ) .
Consequently, an immersed surface into E 3 , H 3 , or S + 3 satisfying the Pythagorean-like formula can be neither totally geodesic, nor minimal, nor have degenerate second fundamental form.
Next we present the proof of the main result.
Proof of Theorem.
Let M 2 be a compact surface immersed into E 3 , H 3 , or S + 3 , respectively, with non-degenerate second fundamental form. Assume that M 2 satisfies the Pythagorean-like formula. By substituting (5) into (2), we get
1 K e x t 2 I 2 + 2 K e x t H I · II + 2 K e x t H II · I + 1 4 H 2 II 2 = 0 .
Notice that matrices do not commute by matrix multiplication · . Since I is positive definite and everywhere det II 0 , I and II have inverse matrices and thus Equation (8) can be rewritten as
I 1 4 H 2 I 1 · II + 2 H K e x t I 2 II = II K e x t 2 1 II 1 · I 2 H K e x t I 2 I ,
where I 1 denotes the inverse matrix of I and I 2 is the 2 × 2 unit matrix. Taking the determinant of the Equation (9), we obtain
det 1 4 H 2 I 1 II + 2 H K e x t I 2 = det K e x t 2 1 II 1 · I 2 H K e x t I 2 .
Because I 1 · II = A and II 1 · I = A 1 , Equation (10) reduces to
1 4 H 2 2 det A + 2 H K e x t 1 4 H 2 tr ( A ) = = K e x t 2 1 K e x t 2 det A 2 H K e x t K e x t 2 1 K e x t tr ( A ) .
By substituting K e x t = det A and tr ( A ) = 2 H into Equation (11), we obtain
4 H 2 K e x t 2 K e x t 1 = K e x t 2 K e x t 1 K e x t 2 + K e x t 1 K e x t .
Now assume that K e x t 2 K e x t 1 0 in Equation (12). Thereby Equation (11) reduces to
4 H 2 = K e x t 2 + K e x t 1 K e x t .
Because of compactness of M 2 , there exist a point p M 2 at which K e x t is strictly positive, i.e., K e x t p > 0 (see [12] (Theorem 13.36)). Furthermore, because 4 H 2 p 4 K e x t p , Equation (13) yields
3 K e x t 2 p K e x t p + 1 0 ,
which is not possible because the left-hand side of formula (14) is strictly positive: contradiction. This implies from Equation (12) that
K e x t 2 K e x t 1 = 0 ,
for each point of M 2 . Solving Equation (15) yields that K e x t is a constant ± φ , where φ is the Golden Ratio. Since K e x t is strictly positive at least at a point on M 2 , one leads to K e x t = φ . Therefore, we obtain K = φ + c , for c = 1 , 0 , 1 . This completes the proof by the fact that every compact surface with K = constant is a totally umbilical round sphere (see [13] (Theorem 1)). □

4. Conclusions

Surfaces immersed into space forms satisfying the Pythagorean-like formula given by Equation (2) were investigated. Of course, the roles of I and II in Equation (2) are symmetric. Moreover, the study of those surfaces satisfying the following equations could be challenging problems:
I 2 + III 2 = II 2 and II 2 + III 2 = I 2 .
Furthermore, the above Pythagorean-like formula given for surfaces can be extended to hypersurfaces (or submanifolds of codimension >1) in space forms.

Author Contributions

Conceptualization, M.E.A.; Investigation, M.E.A. and A.M.; Methodology, M.E.A. and A.M.; Supervision, A.M. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Takloo-Bighash, R. A Pythagorean Introduction to Number Theory: Right Triangles, Sums of Squares, and Arithmetic; Springer: Cham, Switzerland, 2018. [Google Scholar]
  2. Arnold, M.; Eydelzon, A. On matrix Pythagorean triples. Am. Math. Monthly 2019, 126, 158–160. [Google Scholar] [CrossRef]
  3. Crasmareanu, M. A new method to obtain Pythagorean triple preserving matrices. Missouri J. Math. Sci. 2002, 14, 149–158. [Google Scholar]
  4. Palmer, L.; Ahuja, M.; Tikoo, M. Finding Pythagorean triple preserving matrices. Missouri J. Math. Sci. 1998, 10, 99–105. [Google Scholar] [CrossRef]
  5. Dunlap, R.A. The Golden Ratio and Fibonacci Numbers; World Scientific Publ. Co.: Hackensack, NJ, USA, 1997. [Google Scholar]
  6. Livio, M. The Golden Ratio: The Story of Phi, the World’s Most Astonishing Number; Broadway Books: New York, NY, USA, 2003. [Google Scholar]
  7. Crasmareanu, M.; Hretcanu, C.-E.; Munteanu, M.-I. Golden- and product-shaped hypersurfaces in real space forms. Int. J. Geom. Methods Mod. Phys. 2013, 10, 1320006. [Google Scholar] [CrossRef]
  8. Chen, B.-Y. Geometry of Submanifolds; M. Dekker: New York, NY, USA, 1973. [Google Scholar]
  9. O’Neill, B. Semi-Riemannian Geometry with Applications to Relativity; Academic Press: New York, NY, USA, 1983. [Google Scholar]
  10. Chen, B.-Y. Minimal surfaces with constant Gauss curvature. Proc. Am. Math. Soc. 1972, 34, 504–508. [Google Scholar] [CrossRef]
  11. Lawson, H.B., Jr. Local rigidity theorems for minimal hypersurfaces. Ann. Math. 1969, 89, 187–197. [Google Scholar] [CrossRef]
  12. Gray, A. Modern Differential Geometry of Curves and Surfaces with Mathematica; CRC Press LLC: Boca Raton, FL, USA, 1998. [Google Scholar]
  13. Aledo, J.A.; Alías, L.J.; Romero, A. A new proof of Liebmann classical rigidity theorem for surfaces in space forms. Rocky Mt. J. Math. 2005, 35, 1811–1824. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Aydin, M.E.; Mihai, A. A Note on Surfaces in Space Forms with Pythagorean Fundamental Forms. Mathematics 2020, 8, 444. https://doi.org/10.3390/math8030444

AMA Style

Aydin ME, Mihai A. A Note on Surfaces in Space Forms with Pythagorean Fundamental Forms. Mathematics. 2020; 8(3):444. https://doi.org/10.3390/math8030444

Chicago/Turabian Style

Aydin, Muhittin Evren, and Adela Mihai. 2020. "A Note on Surfaces in Space Forms with Pythagorean Fundamental Forms" Mathematics 8, no. 3: 444. https://doi.org/10.3390/math8030444

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop