A Note on Surfaces in Space Forms with Pythagorean Fundamental Forms

: 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 ﬁrst, 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.


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 {ka, kb, kc}, 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 , 2mn, m 2 + n 2 is a primitive Pythagorean triple for every m, n ∈ N * satisfying the following conditions 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 (1) As a trivial example, Equation (1) holds for any triple .., 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 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 = du 2 + cos 2 u r dv 2 ; for r → ∞ one naturally obtains the Euclidean metric du 2 + dv 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 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.
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 which is similar to the equation 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.

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 and H 3 the hyperquadric of the Lorentz-Minkowski space E 4 1 given by where , L is the standard Lorentzian metric. We denote by S 3 i,+ 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 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 where K ext is the extrinsic curvature of M 2 , i.e., K ext = det A = κ 1 κ 2 . In the Euclidean setting, obviously we have K = K ext . 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 Therefore, the Cayley-Hamilton Theorem for the matrix A has the form:

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 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 Taking the determinant, we obtain at each point of M 2 . Then K ext 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 ext = −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.
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 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 − 4H 2 I −1 II + 2HK ext I 2 = det K 2 ext − 1 II −1 · I − 2HK ext I 2 .