The Mathematics of Harmony , Hilbert ’ s Fourth Problem and Lobachevski ’ s New Geometries for Physical World

We suggest an original approach to Lobachevski’s geometry and Hilbert’s Fourth Problem, based on the use of the “mathematics of harmony” and special class of hyperbolic functions, the so-called hyperbolic Fibonacci λ-functions, which are based on the ancient “golden proportion” and its generalization, Spinadel’s “metallic proportions.” The uniqueness of these functions consists in the fact that they are inseparably connected with the Fibonacci numbers and their generalization― Fibonacci λ-numbers (λ > 0 is a given real number) and have recursive properties. Each of these new classes of hyperbolic functions, the number of which is theoretically infinite, generates Lobachevski’s new geometries, which are close to Lobachevski’s classical geometry and have new geometric and recursive properties. The “golden” hyperbolic geometry with the base ( ) ≈ 1+ 5 2 1.618 (“Bodnar’s geometry) underlies the botanic phenomenon of phyllotaxis. The “silver” hyperbolic geometry with the base ≈ 1+ 2 2.414 has the least distance to Lobachevski’s classical geometry. Lobachevski’s new geometries, which are an original solution of Hilbert’s Fourth Problem, are new hyperbolic geometries for physical world.


Introduction
Lobachevski's hyperbolic geometry became the starting point of the modern stage in the development of mathematics.To stimulate the development of this mathematical discipline in the 20th century, David Hilbert paid special attention to the hyperbolic geometry in his 23 mathematical problems.He had formulated a special problem (Hilbert's Fourth Problem) to find new hyperbolic geometries close to Euclidean geometry.Unfortunately, this important problem is still not resolved.Currently, most mathematicians are inclined to believe that Hilbert's Fourth Problem has been formulated too vague what makes complicated its final solution.That is, the mathematicians of the 20 century laid the blame for the failure in the solution of this problem on Hilbert himself.
At the vision of Hilbert's Fourth Problem as vague, "the game between thought and experience" (David Hilbert) means the game between the axiomatic approach and the approach on the language of strict and simple (on Hilbert's recommendation) formulas.In this situation, this recommendation is fully consistent with the approach to Hilbert's Fourth Problem in terms of "Mathematics of Harmony," which has not only scientific but also great practical importance for the natural sciences.
In this article we develop an original approach to solving Hilbert's Fourth Problem, called "the game of hyperbolic functions."This approach has only been possible in the 21st century, when a general theory of "harmonic" hyperbolic functions, based on the ancient "golden proportion" and its generalization, the "metallic proportions," has been developed.The uniqueness of these functions is the fact that they are inseparably connected with the Fibonacci numbers and their generalization, Fibonacci λ-numbers (λ > 0 is a given real number).Each of these new classes of hyperbolic functions, the number of which is theoretically infinite, generates a new hyperbolic geometry having new geometric properties, studied in the article.
A new geometric theory of phyllotaxis has been recently developed by Ukrainian architect Oleg Bodnar.This geometry is based on the "golden" hyperbolic functions with the base, equal to the famous "golden proportion."To assess the proximity of new hyperbolic geometries to Lobachevski's classical geometry with the base e = 2.71, the important concept of "distance" has been introduced.It is proved that the "silver" hyperbolic function with the base 1 2 2.414 + ≈ generates new ("silver") hyperbolic geometry, which has minimal distance to Lobachevski's classical geometry.This fact allows us to put forward the hypothesis that the "silver" hyperbolic geometry may be widespread in the real physical world.
Modern mathematics begins from Euclid's Elements, which are an inexhaustible source of new mathematical ideas and directions and led to revolutionary transformations of modern science.Let us consider two of them.
Hyperbolic geometry.The following remarkable words belong to the brilliant Russian geometer Nikolay Lobachevski: "Mathematicians paid all their attention on the Advanced Parts of Analysis, by neglecting the origins of Mathematics and not willing to dig in the field, which they already went through and had left behind." Unlike many mathematicians, Lobachevski did not hesitate to "dig" into some of the unsolved problems of ancient mathematics, in particular, into the problem of Euclid's 5th postulate and this study led him to the outstanding mathematical discovery, the creation of hyperbolic geometry [1].
Lobachevski begins his famous "Geometric study on the theory of parallel lines" with the following words: "In geometry, I found some imperfections, which, in my opinion, are the reason why this science until now is in the state, in which it had come to us from Euclid.I attribute to these imperfections the following: the vagueness in the first definitions of geometric quantities, the methods of measurement of these quantities, and, finally, the important gap in the theory of parallel lines." The history of hyperbolic geometry was accompanied with many dramatic events.The first of them is a very negative reaction of the Russian academic science on the discovery of "Kazan's rector."Hounding began with the negative review on Lobachevski's work, written by the famous Russian mathematician academician Ostrogradsky.Only thanks to the support of the outstanding German mathematician Gauss, the hyperbolic geometry has got the deserved recognition among 19 century's mathematicians.Academician Kolmogorov in his excellent book [2] pointed out that "Lobachevski's geometry was the most important discovery of the early 19th century." The Mathematics of Harmony.In 2009 the International Publishing House "World Scientific" has published the book: Alexey Stakhov.The Mathematics of Harmony.From Euclid to Contemporary Mathematics and Computer Science" [3].The publication of this book is a reflection of one of the most important trends in the development of modern science.The essence of this trend is to return back to the "harmonic ideas" of Pythagoras and Plato (the "golden ratio" and Platonic solids), embodied in Euclid's "Elements" [4].
A number of such discoveries in modern science are increasing continuously.These include: "the law of structural harmony of systems" by Edward Soroko [7], based on the generalized golden proportions, the "law of spiral biosimmetry transformation" by Oleg Bodnar [8]- [11], based on the "golden" hyperbolic functions.It also includes an original solution of Hilbert's Tenth Problem [12] based on the Fibonacci numbers (the author the Russian mathematician Yuri Matiyasevich) and also a new theory of the genetic code, based on the "golden genomatrices" (the author Doctor of Physical and Mathematical Sciences Sergey Petoukhov, Moscow) [13].These examples could go on.Thus, the modern mathematics and theoretical natural sciences begun to widely use the "harmonic ideas" by Pythagoras, Plato and Euclid.And we have every right to talk about the "revival" of ancient Greeks' "harmonic ideas" in modern science.This fact puts forward the problem of the revival of these ancient harmonic ideas in modern mathematics.The book [3] is the answer of contemporary mathematics to this important trend.
As is showed in [4], the mathematics of harmony goes back in its origin to Euclid's "Elements."This means that Euclid's "Elements" are the source of two mathematical directions: "hyperbolic geometry," emerged in the 19th century, and the "mathematics of harmony," emerged in the 21st century.As is showed in [4], there are very interesting mathematical relationships between them.They can significantly affect the future development of hyperbolic geometry.We are talking on the following scientific results, obtained in the mathematics of harmony: 1) Fibonacci hyperbolic trigonometry, based on the "golden ratio" and Fibonacci numbers [14]- [17] 2) A new geometric theory of phyllotaxis ("Bodnar's geometry") [8]- [11] 3) The general theory of hyperbolic functions, based on the "metallic proportions" [18] [19] 4) The original solution of Hilbert's Fourth Problem [19]- [23] The present article is a continuation and development of the articles [19]- [23].The purpose of the article is to give an overview of the formation and development of the hyperbolic geometry, starting from Euclid's Elements.The next purpose is to give an overview of the modern theory of hyperbolic Fibonacci functions, which were obtained in the framework of the mathematics of harmony [3], a new interdisciplinary direction of modern science.The main result is to give the improved solution of Hilbert's Fourth Problem, which has a direct relation to the hyperbolic geometry and opens new ways in the development of mathematics and all theoretical natural sciences.

The Golden Ratio in Euclid's Elements
In Euclid's Elements we meet the task, which later had played a great role in the development of science.This task is called the "division of line segment in extreme and mean ratio."In the Elements this task occurs in two forms.The first form is formulated in the Proposition 11 of the Book II.
Proposition II.11.Divide a given line segment AD into two unequal parts AF and FD so that the area of the square, which is built on the larger segment AF would be equal to the area of the rectangle, which is built on the segment AD and the smaller segment FD.
Let us depict this task geometrically (Figure 1).Thus, according to Proposition II.11, the area of the square AGHF should be equal to the area of the rectangle ABCD.If we denote the length of the larger segment AF through b (it is equal to the side of the square AGHE), and the side of the smaller segment FD through a (it is equal to the vertical side of the rectangle ABCD), then the condition for Proposition II.11 can be written as follows: ( ) In Euclid's "Elements," we meet another form of the "golden ratio."This form follows from (1), if we make the following transformations.Dividing both parts of (1) at first by a, and then by b, we get the following proportion: The proportion (2) has the following geometric interpretation (Figure 2).Divide the segment AB in the point C in such a relation when the larger part CB relates to the smaller part AC, as the segment AB to its larger part  CB (Figure 2), that is, This is the definition of the "golden ratio," used in modern science.

Algebraic Properties of the Golden Ratio
The following algebraic equation follows from the proportion (3): From the "physical meaning" of the proportion (3) implies that we should use the positive root of the Equation (4).We denote this root through Φ: The following simple identities for Φ follows from the algebraic equation:

Fibonacci Numbers and Their Properties
Definition.The following recursive relation: at the seeds "generates" the following numerical sequence called Fibonacci numbers: The extended Fibonacci numbers.Fibonacci numbers have the following unique properties.First of all, Fibonacci numbers (11) can be extended to the negative values of n (Table 1).
The extended Fibonacci numbers are an infinite numerical sequence, which is determined in the limits from −∞ to +∞ and has the following unique property: ( ) Cassini' formula.The following identity, called Cassini's formula, is valid for the arbitrary three adjacent Fibonacci numbers taken from Table 1: ( ) ( )

Binet's Formulas
In 19 century, French mathematician Jacques Philippe Marie Binet (1776-1856) deduced the following formula, which connects the extended Fibonacci numbers and the golden ratio.In the book [24] these formulas are represented in the following non-traditional form: The analysis of the formula (14) gives us a possibility to feel "aesthetic pleasure" and once again to be convinced in the beauty of mathematics!Really, we know that the "extended" Fibonacci numbers (Table 1) always are integers.On the other hand, any degree of the golden ratio is irrational number.It follows from here that the integer numbers ( ) 0, 1, 2, 3, n F n = ± ± ±  can be represented by using the formulas (14) through the golden ratio Φ and the irrational number 5 .

Hyperbolic Fibonacci Functions
A presentation of Binet's formulas in the form (14) [24] has the following advantage.A comparison of Binet's formulas (14) with the classic hyperbolic functions

( ) ( )
e e e e ; 2 2 allows to see their similarity.Basing on this simple observation, the Ukrainian mathematicians Alexey Stakhov, Ivan Tkachenko and Boris Rozin came to the introduction of a new class of hyperbolic functions, called hyperbolic Fibonacci functions [14]- [17]: Hyperbolic Fibonacci sine ( ) Hyperbolic Fibonacci cosine ( ) where x is continuous variable.
The uniqueness of the hyperbolic Fibonacci functions (16), (17) consists in the fact that they are inseparably related with the "extended" Fibonacci numbers.This relation follows from the comparison of hyperbolic Fibonacci functions ( 16), ( 17) with Binet's formula (14) and can be represented as follows: where k takes the values from the set 0, 1, 2, 3, k = ± ± ±  This means that in the discrete points of the variable x ( ) 0, 1, 2, 3, x = ± ± ±  the functions ( 16), ( 17) coincide with the extended Fibonacci numbers calculated according to Binet's formula (14).
Graphs of the hyperbolic Fibonacci functions.The above unique property of the functions ( 16), ( 17) is demonstrated in the best way on the graphs of the hyperbolic Fibonacci functions in Figure 3.
Here the graphs of the hyperbolic sine ( ) and the hyperbolic cosine ( ) The "even" discrete points of the variable x ( ) 0, 2, 4, 6, 8, x = ± ± ± ±  on the graph ( ) y sFs x = correspond to the extended Fibonacci numbers with the even indexes 2k , that is, The "odd" discrete points of the variable x ( )

Comparison of the Hyperbolic Fibonacci Functions with the Classic Hyperbolic Functions
It is shown in [13]- [15], that the hyperbolic Fibonacci functions ( 16), ( 17) retain all hyperbolic properties of the classic hyperbolic functions (15), however, these hyperbolic functions have two new unique properties.Firstly, the "golden ratio" 1 5 2 is the base of these functions and, secondly, they are deeply connected, according to (18), with the extended Fibonacci numbers (see Table 1).This means that these functions are, on the one hand, "harmonic" hyperbolic functions, based on the main "harmonic proportion" of Nature (the "golden ratio"), and on the other hand, they have the recursive properties, similarly to the extended Fibonacci numbers.These unique properties of the hyperbolic Fibonacci functions ( 16), ( 17) are a confirmation of the fact that the hyperbolic Fibonacci functions ( 16), ( 17) are a fundamentally new class of hyperbolic functions, which are distinguished from the classic hyperbolic functions (15).The principal distinction of the hyperbolic Fibonacci functions ( 16), (17) from the classic hyperbolic functions (15) consists in the fact that they have recursive properties similarly to the extended Fibonacci numbers, which are a "discrete" analog of the functions ( 16) and (17) (see Figure 3).In the classic hyperbolic functions (15) such relationship with integer numerical sequences does not exist.This unique property of the new hyperbolic functions ( 16), (17) and its role in Nature has been confirmed recently by the new geometric theory of phyllotaxis, created by the Ukrainian researcher Oleg Bodnar [8].
Taking into consideration the unique properties of the hyperbolic Fibonacci functions ( 16), (17), we have every right to say that the hyperbolic geometry, based on the classic hyperbolic functions (15), could develop in another way provided that Nikolay Lobachevski knew the functions ( 16), (17).

The Authority of Nature (Bodnar's Geometry)
However, the new geometric theory of phyllotaxis, created by Ukrainian researcher Oleg Bodnar [8]- [11], is the most powerful confirmation of the uniqueness of the hyperbolic Fibonacci functions.As is known, the appearance of the intersecting Fibonacci's spirals on the surface of phyllotaxis objects is the main mystery of this wellknown botanical phenomenon.
Bodnar has studied growth's problem of the phyllotaxis objects (pine cone, pineapple, cactus, sunflower's head, etc.) and came to the unexpected conclusions.We will not describe in detail "Bodnar geometry", referring the reader to Bodnar' works [8]- [11].We focus only on the key ideas of this geometry.Bodnar explores the growth of phyllotaxis objects and concludes that this growth is based on the notion of hyperbolic rotation, which is a key concept of hyperbolic geometry [25].
However, the main idea of "Bodnar's geometry" is to use the hyperbolic Fibonacci functions ( 16), (17) for the simulation of the growth of phyllotaxis objects.Using the hyperbolic Fibonacci functions ( 16), (17) for the description of all mathematical correlations of hyperbolic geometry, Oleg Bodnar obtained the special class of hyperbolic geometry, called "golden" hyperbolic geometry."Bodnar's geometry" is distinguished substantially from Lobachevski's geometry, based on the classic hyperbolic functions (15).This distinction consists in the fact that the main relations of this geometry are described in the terms of the hyperbolic Fibonacci functions ( 16) and (17), which are connected with the "extended" Fibonacci numbers by the simple relation (18).
The most important, that the unique mathematical relation ( 18) is the main cause of the Fibonacci spirals on the surface of phyllotaxis objects.

An Importance of the Hyperbolic Fibonacci Functions for Theoretical Natural
Sciences "Bodnar's geometry" shows that the "phyllotaxis world" is a hyperbolic world based on the hyperbolic Fibonacci functions (16), (17).These functions are not "fiction" of mathematicians; they are "natural functions" that are used in natural objects during millions, maybe billions of years long before humanity's appearance.That is why, the hyperbolic Fibonacci functions [14]- [17], together with "Bodnar's geometry" [8]- [11] can be attributed to the category of modern fundamental scientific discoveries, and in such quality they should remain in science.
The vital importance of the hyperbolic Fibonacci functions ( 16), (17) for theoretical physics and theoretical natural sciences in the whole follows from the above reasoning.

Historical Information
In the late 20th and early 21st centuries, several researchers from different countries-Argentinean mathematician Vera W. de Spinadel [26], French mathematician Midhat Gazale [27], American mathematician Jay Kappraff [28], Russian engineer Alexander Tatarenko [29], Armenian philosopher and physicist Hrant Arakelyan [30], Russian researcher Victor Shenyagin [31], Ukrainian physicist Nikolai Kosinov [32], Spanish mathematicians Falcon Sergio and Plaza Angel [33] and others independently one to another began to study a new class of recursive numerical sequences, which are a generalization of the classic Fibonacci numbers.These numerical sequences led to the discovery of a new class of mathematical constants, known as Spinadel's "metallic means" [26].
The interest of many independent researchers from different countries (USA, Canada, Argentina, France, Spain, Russia, Armenia, Ukraine) cannot be accidental.This means that the problem of the generalization of the Fibonacci numbers and "golden ratio" has matured in modern science.

A Definition of the Fibonacci λ-Numbers
Let us give a real number λ > 0 and consider the following recurrence relation: with the seeds: ( ) ( ) The recurrence relation (21) with the seeds (22) generates an infinite number of new numerical sequences, because every real number λ > 0 "generates" its own numerical sequence.
Based on this fact, we will name a general class of the numerical sequences, generated by the recurrence relation (21) with the seeds (22), the Fibonacci λ-numbers.
For the case λ = 2, the recurrence relation (21) and the seeds (22) are reduced to the following: The recurrence relation (26) with the seeds (27) generates the so-called Pell numbers [34].

The "Extended" Fibonacci λ-Numbers
The Fibonacci λ-numbers have many remarkable properties, similar to the properties of the classical Fibonacci numbers.It easy to prove that the Fibonacci λ -numbers, as well as the classical Fibonacci numbers, can be "ex- tended" to the negative values of the discrete variable n.

A Generalization of Cassini's Formula
Cassini's formula (13) for the classical Fibonacci numbers can be generalized for the case of the Fibonacci λnumbers.It is proved [35] that the generalized Cassini formula has the following form: ( ) ( ) ( ) ( ) ( ) Consider the example of the validity of the identity (31) for the the ( ) F n -sequence for the case of n = 7.For this case we should consider the following triple of the Fibonacci 2-numbers ( ) 6 70, 7 169, 8 408 By performing the calculations over them according to (31), we get the following result: ( ) what corresponds to the identity (31), because for the case n = 7 we have: ( ) ( ) Thus, by studying the generalized Cassini formula (31) for the Fibonacci λ-numbers, we came to the discovery of an infinite number of integer recurrence sequences in the range from +∞ to −∞ , with the following unique mathematical property (31), which sounds as follows: The quadrate of any Fibonacci λ-number ( ) , by the number 1; herewith the sign of the difference of 1 depends on the parity of n: if n is even, then the difference of 1 is taken with the sign "minus," otherwise, with the sign "plus." Until now, we have assumed that only the classical Fibonacci numbers have the similar unusual property, given by Cassini's formula (13).However, as is proved in [35], a number of such numerical sequences are infinite.All the Fibonacci λ-numbers, generated by the recurrence relation (21) with the seeds (22), have a similar property, given by the generalized Cassini's formula (31)!As is well known, a study of integer sequences is the area of number theory.The Fibonacci λ-numbers are integers for the cases 1, 2,  .Therefore, for many mathematicians in the field of number theory, the exis- tence of the infinite number of the integer sequences, which satisfy to the generalized Cassini's formula (31), may be a big surprise.

The Algebraic Equation for the Fibonacci λ-Numbers
Let us represent the recurrence relation (21) as follows: For the case n → ∞ , the expression (32) is reduced to the following quadratic equation:  (34)

The "Metallic Means" by Vera de Spinadel
Denote the positive root x 1 of the Equation ( 33) by λ Φ , that is, Note that for the case 1 λ = the formula ( 35) is reduced to the formula for the "golden ratio": This means that formula ( 35) is a generalization of the "golden ratio" and expresses a new class of mathematical constants.
Basing on this reasoning, the Argentinean mathematician Vera de Spinadel [26] named the mathematical constants (35) metallic means.If we take λ = 1, 2, 3, 4 in ( 35), then we get the following mathematical constants, having, according to Vera de Spinadel, special names: It is easy to prove that the root x 2 (34) can be represented through the metallic mean (35) as follows: Also it is easy to prove the following identity: where n = 0, ±1, ±2, ±3,

Two Surprising Representations of the "Metallic Means"
For the case n = 2, the identity (38) can be represented in the form: It follows from (39) the following representation of the "metallic mean": Substituting 1 λ λ + Φ instead λ Φ in the right-hand part of (40) we get: Continuing this process ad infinitum, that is, substituting repeatedly 1 λ λ + Φ instead λ Φ in the righthand part of (41), we get the following surprising representation of the "metallic mean" λ Φ in "radicals": Represent now the identity (39) in the form: Substituting Φ in the right-hand part of ( 43), we get: Continuing this process ad infinitum, that is, substituting part of ( 44), we get the following surprising representation of the "metallic mean" λ Φ in the form of "continued fraction": Note that for the case 1 λ = the representations ( 42) and ( 45) coincide with the well known representations of the classical golden ratio, given by the expressions (7), (8).

Gazale's Aormula
The formulas (21), (22)  With this purpose, we can represent the Fibonacci λ-numbers ( ) F n λ by the roots x 1 and x 2 in the form: where k 1 and k 2 are constant coefficients, which are the solutions of the following system of algebraic equation: Taking into consideration that ( ) ( ) , we can rewrite the system (47) as follows: Taking into consideration (48), we can find the following formulas for the coefficients k 1 and k 2 : Taking into consideration (49), we can rewrite the formula (46) as follows: ( ) ( ) Taking into consideration that 1 x λ = Φ and 2 1 x λ = − Φ , we can rewrite the formula (50) as follows: ( ) ( ) or ( ) After simple transformations formula ( 52) can be represented as follows: ( ) where 0, 1, 2, 3, k = ± ± ± .Note that the formula (51) was first obtained by the French mathematician Midhat Gazale [27].A distinctive feature of Gazale's formulas (53) is the fact that they include an infinite number of the formulas (53), because each real number 0 λ > "generates" its own Gazale's formula (53).In particular, for the case λ = 1 Gazale's formula (53) are reduced to Binet's formula (13).

Euclid's Fifth Postulate and Lobachevski's Geometry
On Independently on Lobachevski, the Hungarian mathematician Janos Bolyai (1802-1860) came to such ideas.He published his work Appendix three years later Lobachevski (1832).Also the prominent German mathematician Carl Friedrich Gauss (1777-1855) came to the same ideas.After his death some unpublished sketches on the non-Euclidean geometry were found.
Lobachevski's geometry got a full recognition and wide distribution 12 years after his death, when it is became clear that scientific theory, built on the basis of a system of axioms, is considered to be fully completed only when the system of axioms meets three conditions: independence, consistency and completeness.Lobachevski's geometry satisfies these conditions.Finally this became clear in 1868 when the Italian mathematician Eugenio Beltrami (1835-1900) in his memoirs The Experience of the Non-Euclidean Geometry Interpretation showed that in Euclidean space at pseudo-spherical surfaces geometry of Lobachevski's plane arises, if we take geodesic lines as straight lines.
Later the German mathematician Felix Christian Klein (1849-1925) and the French mathematician Henri Poincare (1854-1912) proved a consistency of Non-Euclidean geometry, by means of the construction of corresponding models of Lobachevski's plane.The interpretation of Lobachevski's geometry on the surfaces of Euclidean space contributed to general recognition of Lobachevski's ideas.
The creation of Riemannian geometry Georg Friedrich Bernhard Riemann (1826-1866), became the main outcome of such Non-Euclidean approach.The Riemannian geometry developed a mathematical doctrine about geometric space, a notion of differential of a distance between elements of diversity and a doctrine about curvature.
The introduction of the generalized Riemannian spaces, whose particular cases are Euclidean space and Lobachevski's space, and the so-called Riemannian geometry, opened new ways in the development of geometry.
They found their applications in physics (theory of relativity) and other branches of theoretical natural sciences.
Lobachevski's geometry also is called hyperbolic geometry because it is based on the hyperbolic functions (15), introduced in 18th century by the Italian mathematician Vincenzo Riccati (1707-1775).
The most famous classical interpretations of Lobachevski's plane with the Gaussian curvature K < 0, are the following: -Beltrami's interpretation on a disk; -Poincare's interpretation on a disk.-Klein's interpretation at a half-plane and other.Lobachevsky metric is called the metric form with the Gaussian curvature where the variables (u, v) belong to the half-plane ( ) Here ds is called an arc length and ( ) Lobachevsky's geometry has remarkable applications in many fields of modern natural sciences.This concerns not only applied aspects (cosmology, electrodynamics, plasma theory), but, first of all, it concerns the most fundamental sciences and their foundation, mathematics (number theory, theory of automorphic functions created by A. Poincare, geometry of surfaces and so on).
Since on the closed surfaces of the negative Gaussian curvature, Lobachevski's geometry is fulfilled and Lobachevski's plane is universal covering for these surfaces, it is very fruitful to study various objects (dynamical systems with continuous and discrete time, layers, fabrics and so on), defined on these surfaces.By developing this idea, we can raise these objects to the level of universal covering, which is replenished by the absolute ("infinity"), and further we can study smooth topological properties of these objects with the help of the absolute.
Samuil Aranson studied this problem about four decades.The works [36]- [41], written by Samuil Aranson with co-authors, give a presentation about these results and research methods.Aranson's DrSci dissertation "Global problems of qualitative theory of dynamic systems on surfaces" (1990) is devoted to this theme.

A Brief History
In the lecture "Mathematical Problems" [42], presented at the Second International Congress of Mathematicians (Paris, 1900), David Hilbert (1862Hilbert ( -1943) ) had formulated his famous 23 mathematical problems.These problems determined considerably the development of the 20th century mathematics.This lecture is a unique phenomenon in the mathematics history and in mathematical literature.
The Russian translation of Hilbert's lecture and its comments are given in the book [42].In Hilbert's original work [43] Hilbert's Fourth Problem is called as follows: "Problem of the straight line as the shortest distance between two points."In [43] this problem was formulated as follows: "Another problem relating to the foundations of geometry is this: If from among the axioms necessary to establish ordinary euclidean geometry, we exclude the axiom of parallels, or assume it as not satisfied, but retain all other axioms, we obtain, as is well known, the geometry of Lobachevsky (hyperbolic geometry).We may therefore say that this is a geometry standing next to euclidean geometry… The more general question now arises: Whether from other suggestive standpoints geometries may not be devised which, with equal right, stand next to Euclidean geometry"… The theorem of the straight line as the shortest distance between two points and the essentially equivalent theorem of Euclid about the sides of a triangle, play an important part not only in number theory but also in the theory of surfaces and in the calculus of variations.For this reason, and because I believe that the thorough investigation of the conditions for the validity of this theorem will throw a new light upon the idea of distance, as well as upon other elementary ideas, e.g., upon the idea of the plane, and the possibility of its definition by means of the idea of the straight line, the construction and systematic treatment of the geometries here possible seem to me desirable." Hilbert's citations contain the formulation of very important mathematical problems, which touch foundation of geometry, number theory, the theory of surfaces and the calculus of variations.Hilbert's Fourth Problem is of fundamental interest not only for mathematics, but also for all theoretical natural sciences: are there non-Euclidean geometries, which are next to Euclidean geometry and are interesting from the "other suggestive standpoints?If we consider it in the context of theoretical natural sciences, then Hilbert's Fourth Problem is about finding NEW HYPERBOLIC WORLDS OF NATURE, which are next to Euclidean geometry and reflect some new properties of Nature's structures and phenomena.
Note that Hilbert considered Lobachevski's geometry and Riemann's geometry as nearest to Euclidean geometry.As it is noted in Wikipedia [44], "in mathematics, Hilbert's Fourth Problem in the 1900 'Hilbert problems' was a foundational question in geometry.In one statement derived from the original, it was to find geometries whose axioms are closest to those of Euclidean geometry if the ordering and incidence axioms are retained, the congruence axioms weakened, and the equivalent of the parallel postulate omitted." In mathematical literature Hilbert's Fourth Problem is sometimes considered as formulated very vague what makes difficult its final solution.As it is noted in Wikipedia [44], "the original statement of Hilbert, however, has also been judged too vague to admit a definitive answer."In [45] American geometer Herbert Busemann analyzed the whole range of issues related to Hilbert's Fourth Problem and also concluded that the question related to this issue, unnecessarily broad.
Unfortunately, the attempts solving Hilbert's Fourth Problem, made by German mathematician Herbert Hamel (1901) and later by Soviet mathematician Alexey Pogorelov [46] (1974), have not led to significant progress, as pointed out in Wikipedia's articles [43] [44].In order to learn more about an axiomatic approach to solving the Hilbert's Fourth Problem by wonderful geometer A.V. Pogorelov, see also Aranson's article [47].
In Wikipedia's article [43], the status of the problem is formulated as "too vague to be stated resolved or not" and Pogorelov's book [46] even is not mentioned.
About the same point of view on Hilbert's Fourth Problem is presented in the remarkable book [48].Unfortunately, this important problem is still not resolved.Currently, most mathematicians are inclined to believe that Hilbert's Fourth Problem has been formulated too vague what makes complicated its final solution.That is, the mathematicians of the 20th century laid the blame for the failure in the solution of this problem on Hilbert himself.
In spite of critical attitude of mathematicians to Hilbert's Fourth Problem, we should emphasize a great importance of this problem for mathematics, particularly for geometry.Without doubts, Hilbert's intuition led him to the conclusion that Lobachevski's geometry and Riemann's geometry do not exhaust all possible variants of non-Euclidean geometries.Hilbert's Fourth Problem directs researchers at finding new non-Euclidean geometries, which are the nearest geometries to the traditional Euclidean geometry.

From the "Game of Postulates" to the "Game of Functions"
According to [49], a cause of difficulty in the solution of Hilbert's Fourth Problem lies elsewhere.All the known attempts to solve this problem (Herbert Hamel, Alexey Pogorelov) were in the traditional framework of the socalled "game of postulates" [49].
This "game" started from the works by Nikolai Lobachevski and Janos Bolyai, when Euclid's 5th postulate was replaced by the opposite one.This was the most major step in the development of the non-Euclidean geometry, which led to "Lobachevski's geometry."This geometry, which changed the traditional geometric representations, is also known as "hyperbolic geometry."This name highlights the fact that this geometry is based on the classical hyperbolic functions (15).And this is the main idea of "Lobachevski's geometry." It is important to emphasize that the very name of "hyperbolic geometry" points on another approach to the solution of Hilbert's Fourth Problem: searching for the new classes of "hyperbolic functions," which can be the basis for other hyperbolic geometries.As is shown above, the general theory of "harmonic" hyperbolic functions, based on the "golden" and "metallic" proportions, was developed recently [14]- [19].Every new class of the "harmonic" hyperbolic functions ( 16), (17), generates its own new variant of the "hyperbolic geometry."By analogy with the "game of postulates" this approach solving Hilbert's Fourth Problem can be named the "game of functions" [49].

Preliminary Information
Lobachevski's metric form (59) can be obtained (see e.g.[50]) when considering of the upper half of the twosheeted hyperboloid (pseudo-sphere of the "radius" R): embedded in three-dimensional pseudo-Euclidean space (X, Y, Z) with Minkowski's metrics Here dl is the arc element in the space (X, Y, Z), with the next parameterization of the surface (60) in the form: where the half-plane (60) With this parameterization of М 2 for the metric (59) we have: ( ) ( ) In the special theory of relativity (STR) we use the following coordinate system: the spatial coordinates X, Y, the time coordinate , where 0 c is the light velocity in vacuum, t is a time.In further, each card will have an independent life in isolation from the surface 2 M as interpretation of those or other Lobachevski's models with specifically introduced metrics (the Lobachevski's plane with Lobachevski's metric, Poincare's model on the disk, Klein's model on the half-plane, an infinite set of models of the authors of this article, which preserve invariance of half-plane.
Each such model with specifically introduced metric has its own individual unique geometric and differential properties and requires of separate investigation.
At the same time when we convert one model into another model, these properties are interpreted differently.In this case, the following questions appear: whether the Gaussian curvature remains constant, how geodesic lines, angles, squares of figures in a particular model are changing, what are movements, compressions, conversions, which are not movements, how we should study dynamical systems, as the one-parameter groups of transformations with continuous and discrete time and so on.In this case, a study of the absolute arithmetic properties for such models, for the limiting continuation of such transformations on the absolute, are important from theoretical and practical point of view.
Of particular interest is the study of such models as the universal ramified or non-ramified covering spaces M , when we present the closed orientable and non-orientable surface M of Euler's negative characteristic in the form of factor M G of the covering spaces M for the discrete groups of the transformations G.

The Notion of the Absolute
In our study, the important role plays the concept of the absolute, replenishing the space M .These issues are studied in many works of the second author Samuil Aranson (see, for example, in the monographs [36]- [41] [51]).
In order to introduce the concept of the absolute for the following non-Euclidean metric forms, we pre-equip the entire plane or three-dimensional space with Euclidean metric.
Then we further equip with the non-Euclidean metric form a certain area of the Euclidean plane or a surface in three-dimensional Euclidean space.We will call the absolute of non-Euclidean metric form the boundary D ∂ of the domain of definition D of this form, such that at approaching to D ∂ "inside" of the domain D, the non-Euclidean form degenerates.
Below we consider three non-Euclidean metric forms of the Gaussian curvature 1 1 K R =− ⇔ = , which are the interpretation of Lobachevski's geometry.
A similar situation is obtained also at approaching "from within" the area : 0, D u v > −∞ < < +∞ along of any ray to an "infinitely distant line" ( ) that is, Lobachevski's metric form again degenerates.
3).For Minkovski's metric form given on the pseudo sphere , , X Y Z , here the absolute is the "infinitely distant circumference" , D X Y Z ∂ = + = +∞ = +∞ , which "belongs" to the upper half Proof.According to [50], the pseudo sphere x y x y X Y Z x y x y x y , D X Y Z ∂ = + = +∞ = +∞ is the absolute for Minkovski's metric form.

Two-Parametric Family of Linear Transformations
Let us pass to the specific results, obtained by the authors and related to Hilbert's Fourth Problem, and their interpretation by using the notions of the "golden ratio" and "metallic proportions" [26].
By direct computation, it is easy to find that the surface 2 M given (61) is also invariant at the parametriza- tion where However, for such arbitrary parametrization, the certain geometric structures and differential properties at one-to-one mapping of the surface 2 M can be violated, a priori.Here and below (unless otherwise stated) we restrict ourselves by the two-parametric family of linear transformations (63) of the half-plane + Π , for the conditions, when the change of variables ( ) , u v according to the transformation (63) into the variables ( ) ′ ′ are fulfilled by the rule: , where , α β are some real numbers satisfying to the conditions: Thus, in this situation, the transformation (64) is the introduction of new coordinates in the half-plane : 0 , U V + Π < < +∞ − ∞ < < +∞ , such, when the new coordinates ( ) ′ ′ everywhere in the half-plane П + can be expressed through the old coordinates and vice versa.From the viewpoint of Riemannian geometry, the twoparametric transformation (64) has their special specific properties.
Further on the half-plane П + for any fixed positive value of R > 0 we will compare (unless otherwise stated), two metric forms of the kind: 1).Lobachevski's metric form .
The metric form (66) is converted into the form (67) under the action of diffeomorphism (64) for each value of the real numbers , α β , satisfying to the condition (65).
Here d ,d s s′ are elements of arc lengths, , , , , , E F G E F G ′ ′ ′ -coefficients of metric forms.Metric forms in terms of tensor analysis are symmetric covariant tensor field of the rank two on a smooth manifold.Through this manifold, the scalar product on the tangent space, the length of curves, angles between curves, squares and so on are given.
To identify the specific properties of the transformations (64) and their effect on the metric forms, pre-recall some basic concepts, related to the nonsingular quadratic metric forms of internal geometry and their transformations induced by diffeomorphisms (see, for example, [50] [52]).

Isometric Mapping and Equivalence, Isometry, and Conformal Metric Forms
First of all, we will make some changes in some definitions and concepts, because different sources give different interpretations of these concepts.
Suppose further that, unless otherwise stated, we consider the half-plane where three objects are given: , , , , 0 , 2).Metric form where the coefficients satisfy to the non-equalities: where the coefficients satisfy to the non-equalities: Definition 1.We say that the diffeomorphism (68) is an isometric map if under the influence of this diffeomorphism the metric form (69) is converted to the metric form (70), while the lengths of the elements satisfy the condition: The metric forms (69) and (70), satisfying to the condition (71) is called isometrically equivalent.Thus, under the action of isometric mapping, the elements of arc lengths remain the same, although the metric forms in the variables ( ) , u v and ( ) ′ ′ may have different forms, and therefore may not preserve the same angles between the arcs.
Under the effect of the isometric mapping (68), the metric form ( 69) is converted into the metric form (70) of the following form: where Definition 2. We say that the diffeomorphism (68) is an isometry, if under the action of the diffeomorphism (68) the metric form (69) is converted into the metric form (70) for the variables ( ) ′ ′ having the same form as the metric form (69) for the variables ( ) , u v , that is, for the case of the isometry the coefficients of the metrical forms (70) and (69) satisfy to the following identities: The metric forms (69) and (70), satisfying to the condition (74), is called isometrically identical.Diffeomorphisms, which are isometries, retain the same values of arc lengths and angles between the arcs.
Note that identical isometric metric forms are also automatically isometrically equivalent, the converse is not always true.Definition 3. Diffeomorphism (68) is called conformal (angles between the arcs remain the same), and (69) and (70) are called conformal metric forms, if under the action of the diffeomorphism (68) In this case, the metric form (70), under the action of the diffeomorphism , , , , 0 , , is converted to the metric form with the following coefficients: what corresponds to the following identities: , , ( , ) ,

Gaussian Curvature
Gaussian curvature as a measure of the deformation of the surface is another important notion of the internal geometry.We will not give a precise definition of this notion (more in detailed see [50] [52]).We only note that, if we know the metric form ( ) where ( ) ( ) In our situation, we consider the metric forms, for which we have: , and then, according to this remark, we get from (79) the following formula for the Gaussian curvature:

A Notion of the Distance
Let us introduce the concept of the distance 12 ρ between Lobachevski's metric form (66) and two-parametric metric form (67) Definition 5.The following number: is called the distance between Lobachevski's metric form (66) ( ) ( ) ( )( ) and the two-parametric metric form (67) ( ) ( ) ( )( ) Note that for the case 1, we have 12 0 ρ = , and then the metric forms (66) and (67) have the same form, and therefore they are isometrically identical, here the isometry has the following form: . For brevity, we will say that for the case 12 0 ρ = the metric form (67) coincides with Lobachevski's metric form (66).For the case 12 0 ρ > , the metric form (67) does not coincide with Lo- bachevski's metric form (66).In this case, either both numbers , α β is not equal to 1, or one of these numbers is equal to 1 and another number is not equal to 1.
We say that the metric form (67) is ε -close to Lobachevski's metric form (66), if for any 0 ε > there is the inequality 0 ρ ε ≤ < exists.Further, for the case 12 0 ρ > we compare Lobachevski's metric form (66) and the two-parametric form (67), obtained from (66) under the action of the transformation (64), for compatibility or incompatibility of the following properties of the interior geometry: Gaussian curvature, isometric equivalence, isometric identity, conformity, conservation of areas.
Here the induced two-parametric metric form (67) has the following form: The Gaussian curvature of the two-parametric metric form is the following:

Conclusion.
For the case 12 0 ρ > the Gaussian curvature of the two-parametric metric form (67) for any 0 , α β < < +∞ coincides with the Gaussian curvature of Lobachevski's metric form (66) and equal Verification on isometric equivalence for the case ρ 12 > 0 1) Lobachevski's metric form (66) 2) Two-parametric metric form (67), induced by the action of the transformation (64) on Lobachevski's metric form (66): We verify the feasibility of the identities (5.14) on isometric equivalence: For the case 12 0 ρ > the formula (82) takes the following form: From here, we get the following identities: Conclusions.For the case 12 0 ρ > the transformations (64 of the half-plane : 0 , U V + Π < < +∞ −∞ < < +∞ are isometric mapping, here Lobachevski's metric form (66) and the two-parametric metric forms (67), under the action of this transformation on (66), are isometrically equivalent for any , 0 α β > such that either both numbers , α β is not equal to 1, or one of these numbers equals to 1 and another number not equals to 1.
Verification on isometric identity for the case ρ 12 > 0 1) Lobachevski's metric form (66): 2) Two-parametric metric form (67), induced by the action of the transformation (64) on Lobachevski's metric form (66), has the following form: In virtue of the Definition 2, in order that the mapping : , , 0, , was an isometry, the following identities should be fulfilled: For the case 12 0 ρ > and the assumption about the isometry, we get: Since from the first identity (83) we have that 1 α = , then the mapping f takes the following form: , but because u > 0 , then from the identity (84) we get: < +∞ is not isometry, here Lobachevski's metric form (66) and the two-parametric metric forms (67) under the action of this transformation on (66) are not identical isometrically.
Verification on conformity for the case 12 0 2) Two-parametric metric form (67), induced by the action of the transformation (64) on Lobachevski's metric form (66), has the following form: In virtue of the Definition 3, in order that the mapping : , was conformal, the following identities should be fulfilled: > is some function (the coefficient of conformality).For the case 12 0 ρ > and the assumption about the conformality, we get: In virtue of the first identity (85), we have m α = , therefore the mapping f takes the following form: f: Hence, from the identity (86) and the condition 0, 0 u m > > , we get: But then we have: 0, of the half-plane : 0 , U V + Π < < +∞ −∞ < < +∞ for the condition (65) 0 , α β < < +∞ are not conformal, аnd the metric forms (66) and ( 67), under the action of this transformation, are conformal metric forms.
For the case 12 0, are conformal with the real coefficients of the conformality 0, 1 m m > ≠ .For this case the distance 2) Two-parametric metric form (67), induced by the action of the transformation (64) on Lobachevski's metric form (66), has the following form: According to the definition 4, for the case of equiareality, the diffeomorphism , 0 , must satisfy to the condition (78).

Conclusions on the intrinsic properties of metric forms
Individual properties (the conservation of the Gaussian curvature, isometric equivalence, equiareality, but at the same time the nonconservation of isometric identity and conformity), associated with each of the infinite set of the metric form (67) of the same Gaussian curvature 2 1 0 K R = − < , appears not only at the comparison of these metric forms, by using the transformations (64), with Lobachevski's classical metric form (66), but also at the comparison (with certain limitations) of the metric forms (67) among themselves, by using transformations similar to (64).It is important to emphasize that for the case , 1 α β → all the metric forms (67) are close to the Lobachevski's classic metric form (66).

Lobachevski's Metric (λ, µ)-Forms
Below, in order not to overload the text, we will consider the metric forms having one and the same Gaussian what does not affect on the generality of the results.Then Lobachevski's metric form (66) and two-parametric metric form (67) take the following forms: As for the diffeomorphism f of the half-plane : 0 , U V + Π < < +∞ −∞ < < +∞ , under the action of which the metric form (89) is converted into the metric form (90), it has the previous form (64 , where , α β are some real numbers, for the conditions (65) 0 , α β < < +∞ .Let us represent the diffeomorphism (64) and the metric form (90) in the terms of the "metallic proportions" and "hyperbolic Fibonacci functions," discussed in previous sections, because these objects are of great theoretical and practical importance.
Recall that the "metallic proportions" are called the real numbers of the form is the golden proportion (the golden ratio), 2 1 2 Φ = + is the silver proportion, 3 3 13 2 is the bronze proportion, , 4 4 , we get the following relations between the classical hyperbolic functions sh(x), ch(x) and Fibonacci λ-functions ( ) , 2 ln 2 ln Such formulas are useful for differentiation and integration and derivation of other relations.Hence, for instance, we get: In the terms of the "metallic proportions" and "hyperbolic Fibonacci functions," the diffeomorphism (64) and the metric form (90) have the following forms: where the old parameters < < +∞ with the following relations: Recall that we assumed that the radius of the pseudo-sphere R = 1, and hence the Gaussian curvature as the pseudo-sphere and all the metric forms discussed below is equal to The two-parametric metric forms (95) are called Lobachevski's metric (λ, µ)-forms.In these terms, the distance 12 ρ between the Lobachevski's metric (λ, µ)-forms (95) and Lobachevski's classic metric form (89) takes the following form: , the (λ, µ)-metric forms (95) are arbitrarily close to Lobachevski's classic metric form (89).
12. Geodesic Lines of the Metric (λ, µ)-Forms of Lobachevski's Plane and Other Geometric Objects

Preliminary Information
Let us consider the half-plane : 0 , where Lobachevski's metric form (89) has the following form: ( ) ( ) ( )( ) To find the geodesic lines, we consider the surface: which is the upper half of the two-sheeted hyperboloid (pseudosphere of the radius R = 1), embedded in the three-dimensional Euclidean space (X, Y, Z), having Minkowski's metric ( ) ( ) ( ) ( ) the following parametrization of the surface (97) in the form: Geodesic lines L on 2 M can be found in the form of the intersection 2 L M = Π  , where the П-surfaces pass through the coordinate origin O(0, 0, 0) of the space (X, Y, Z) Then the intersection satisfies to the system of equations: Let us consider two cases: 1) с = 0; 2) 0. c ≠ For the case 1) с = 0, we get ( ) ( ) For the case 2) 0, c ≠ we get: Hence, we obtain relations:  , it follows from here that the geode- sic lines have the following arcs: For other equivalent record, the last relation has the following form: ( where ( ) ( ) The surface (97) , in addition to the parametrization (98), also allows the parametrization of the following form: But then the diffeomorphism : f In the coordinates ( ) have the following form: In another equivalent record, the last relation can be rewritten as follows: where ( ) ( ) ( ) ( ) cos ln sin ln , 0, , In other equivalent record the last relation can be rewritten as follows: where ( ) ( ) For the completeness of presentation, we recall the well-known formulas of the internal geometry for each fixed metrical form are two smooth arcs, which intersects at the value of the parameter t = 0 in the point (u 0 , v 0 ).Then, the angle θ between these arcs in the point (u 0 , v 0 ) is defined as follows: ( ) ( ) ( ) where dt d (.) (.)' = is the operator of the derivative taking, dudv is the inner (scalar) product of the differentials.
As indicated above, for the case 12 0 ρ > the diffeomorphisms ( ) , which convert the metric form (89) into the metric forms (95), are not conformal, that is, not preserve angles due to the action of the diffeomorphisms f between the relevant curves at the transition from Lobachevski's metric form (89) to Lobachevski's metric ( ) , λ µ -forms (85).The authors did not set out the goal to derive the relationships between all other possible geometric and differential objects, induced by the metric ( ) , λ µ -forms of the Gaussian curvative 1 K = − or the fixed Gaussian curvative 0 K < on the half-plane ( ) 0 , U V < < +∞ −∞ < < +∞ , which are on the distance 12 0 ρ > from Lo- bachevski's metric form at the changes of the parameters , 0 λ µ > and which coincide with Lobachevski's metric form for the case ( ) . This problem is the subject of a separate study.In connection with this problem, we consider only the model of Lobachevski's plane on the disk + < .The information is taken from [50].
Recall that for R = 1, , for this case the surface (60) has the form: 1 Z ≥ and, according to [50], also it allows a parametrization of the kind: x y x y X Y Z x y x y x y where ( ) 2 2 2 , : 1 x y D x y ∈ + < .For the variables (x, y) of Poincare's metric form of the Gaussian curvature 1 K = − is given by: where ( ) ( ) Then, we obtain the following correspondences: Recall that 2 2 0 1 x y ≤ + < is the domain of Poincare's metric form (108), for which the absolute is Then, under the action of the diffeomorphism (112), Poincare's metric form (108), which is considered, this case, in the ring 2 2 0 1 x y < + < , is converted for each fixed values of the parameters 0 , α β < < +∞ into the two-parametric form (90) by retaining the element of the arc length, that is, According to definition 1, the transformation (112) in this case is isometric mapping and the metric forms (108) and (90) are isometrically equivalent.
However, since for the variables (x, y) and ( ) ′ ′ the metric forms (108) and (90) are different, then the metric forms (108) and (90) are not isometrically identical, and the transformation (112) is not an isometry (see definition 2).Let ( ) , A x y be arbitrary points of Lobachevski's plane, which is realized in the form of a circle 2 : 0 1 D x y ≤ + < with the metrics (108).
Further we use complex numbers.We designate the point ( ) = − be a complex number conjugate to the complex number i z x y = + .For this case the points ( ) , A x y in complex notation can be represented as follows: , A A ρ between two points ( ) , A x y in complex notation has the following form: ( ) For the real variables 2 2 0 1 x y ≤ + < , the formula (114) has the following form [52]: This implies that if in the area 2 2 0 1 x y ≤ + < we fix the point ( ) , x y , and ch ρ → +∞ and therefore at approaching to the absolute, the distance ρ → +∞ , where ρ is induced by Poincare's metric form (108).
In complex notation the metrics (108) has the following form: The movement of the metrics (108) of Lobachevski's plane is written as follows: where i z x y = + and i z x y ′ = ′ + ′ .Note that at the movements (116) the metric form is saved, that is, if we consider the transformation ( ) inverse with respect to the transformation (116), and then after the substitution (117) into (115), we get the metric form According to definition 2, the transformation (117) is an isometry and the metric form (115) and ( 118) are isometrically identical.Since any isometry is also a conformal transformation (see definitions 2 and 3), the transformation (116) not only the elements of the arc lengths, but the angles between the Therefore, the metric forms (115) and ( 118) are also conformal metric forms, having the same conformal forms.The transformation (116) has similar properties.
Consider further the form of the geodesic lines in the coordinates ( ) , x y for the metric form (108) and compare them with the geodesic lines in the coordinates ( ) ′ ′ for the metric form (90).According to (100), the geodesic lines L on 2 M with 1 K = − satisfy to the conditions: According to (107), the surface x y x y Therefore, to find the geodesic lines S on the disc 2 2 2 : 0 1 D x y ≤ + < for the metric form (108), we should now consider the following system of equations: Then the equation of the geodesic lines ( ) 2 ( ) Let us consider two cases: 1).с = 0; 2).0. c ≠ For the case 1) с = 0, the equation (121) for the geodesic lines S on the disc 2 It is clear that these new Lobachevski's geometries "with equal right, stand next to Euclidean geometry" (David Hilbert).It follows from this consideration that the formula (95) can be considered as the partial original solution to Hilbert's Fourth Problem.That is, there are an infinite number of Lobachevski's geometries, described by the formula (95), which are close to Euclidean geometry.
Each of these new Lobachevski's geometries, based on the "metallic proportions" and "hyperbolic Fibonacci goniometry," can actually exist in the real physical world, similarly to "Bodnar's geometry" [8], which is a unique hyperbolic geometry of botanical phenomenon of phyllotaxis, widely common in wildlife.As it is proved in [8], the hyperbolic geometry of phyllotaxis is based on the classical "golden ratio" and Fibonacci numbers, which appear at the surface of phyllotaxis objects.

A New Challenge for Theoretical Natural Sciences
Thus, the main result of the research, described in [18] [19], is a proof of the existence of an infinite number of hyperbolic functions, Fibonacci hyperbolic λ-functions, based on the "metallic proportions" (35).For the given 1, 2, 3, , λ =  each class of the Fibonacci hyperbolic λ-functions, "generates" new hyperbolic geometry, which leads to the appearance in the "physical world" specific hyperbolic geometries with properties, which depend on the "metallic proportions" (35).The new geometric theory of phyllotaxis, created by Oleg Bodnar [8], is a striking example of this.Bodnar proved that "the world of phyllotaxis" is a specific "hyperbolic world," in which a "hyperbolicity" manifests itself in the "Fibonacci spirals" on the surface of "phyllotaxis objects".Recall that "Bodnar's geometry" [8] is based on the Fibonacci hyperbolic functions, also known as the "golden" hyperbolic functions: which are connected with Fibonacci numbers according to the relation (18).
The famous irrational number 1 5 1.618 2 is the base of the functions (128).The distance of "Bodnar' geometry" to Lobachevski's geometry is equal 12 0.7336 ρ ≈ .However, the "golden" hyperbolic functions (128), which underlie the "hyperbolic phyllotaxis world," are a special case of the hyperbolic Fibonacci λ-functions ( ) In this regard, there is every reason to suppose that other types of hyperbolic functions, Fibonacci hyperbolic λ-functions, can be the basis for modeling of new "hyperbolic worlds" that can really exist in Nature.Modern science could not find these special "hyperbolic worlds," because the Fibonacci hyperbolic λ-functions were unknown until the 21st century.For the first time, these hyperbolic functions are described in Stakhov's 2006 article [18] and then in Stakhov's and Aranson's 2011 articles [20] [21].Basing on the success of "Bodnar's geometry" [8], one can put forward in front to theoretical physics, chemistry, crystallography, botany, biology, and other branches of theoretical natural sciences the challenge to find new ("harmonic") hyperbolic worlds of Nature, based on other classes of the Fibonacci hyperbolic λ-functions (16), (17).
In this case, perhaps, the first candidate for the new "hyperbolic world" of Nature may be, for example, "silver" hyperbolic functions: which are connected with Pell numbers [34] and are based on the "silver mean" 2 1 2 2.414 Φ = + ≈ , connected with the fundamental mathematical constant 2 .
In this regard, we should pay a special attention to the fact that the new hyperbolic geometry, based on the "silver" hyperbolic functions (129), is the closest to Lobachevski's geometry, based on the classical hyperbolic functions (15) with the base 2.71 e ≈ . Its distance to Lobachevski's geometry is equal 12 0.1677 ρ ≈ what is the lowest among all the distances for Lobachevski's metric ( ) , λ µ -forms, where in this case the parameters , λ µ take the values 1, 2, 3,.
It may assume that the "silver" hyperbolic functions (129) and the generating by them "silver" hyperbolic geometry can be soon be found in nature and the "silver" hyperbolic geometry can take its rightful place in modern science next to "Bodnar's geometry," based on the "golden" hyperbolic functions (128).

General Conclusions
1) Discussing the history of mathematics and the development of new mathematical ideas and theories, we should pay a particular attention to the great role of Euclid's Elements in this process.Academician Andrei Kolmogorov identifies several stages in the development of mathematics [2].According to Kolmogorov, the beginning of modern mathematics refers to the 19th century.Expanding the object of mathematics became the most significant feature of the 19th century mathematics.At the same time, according to Kolmogorov, the creation of Lobachevski's "imaginary geometry" became "a remarkable example of the theory that has arisen as a result of internal development of mathematics...It is an example of the geometry, which overcame a belief in the permanence of the axioms, consecrated millennial development of mathematics, and gave a comprehension of the possibility of creating significant new mathematical theories... [2].As we know, the "hyperbolic geometry" in its origins dates back to Euclid's 5th postulate.For several centuries, from Ptolemy and Proclus, mathematicians tried to prove this postulate.First, a brilliant solution to the problem was given by Russian mathematician Nikolai Lobachevski in the first half of the 19th century.This became the beginning of contemporary stage in the development of mathematics.
2) At the turn of the 19th and 20th century, the eminent mathematician David Hilbert formulated 23 mathematical problems, which largely stimulated the development of mathematics in the 20 century.One of them (Hilbert's Fourth Problem) refers directly to the hyperbolic geometry.Gilbert put forth for mathematicians the following fundamental problem [42]: "The more general question now arises: whether from other suggestive standpoints geometries may not be devised which, with equal right, stand next to Euclidean geometry."Hilbert's quote contains the formulation of a very important scientific problem, which has fundamental importance not only for mathematics, but also for all theoretical natural sciences: are there non-Euclidean geometries, which are close to the Euclidean geometry and are interesting from the "other suggestive standpoints?"If we consider it in the context of theoretical natural sciences, then Hilbert's Fourth Problem is about finding NEW HYPER-BOLIC WORLDS OF NATURE, which are close to the Euclidean geometry and reflect some new properties of Nature's structures and phenomena.Unfortunately, the efforts of mathematicians to solve this problem have not led to substantial progress.In modern mathematics there is no consensus on the solution to this problem.In mathematical literature Hilbert's Fourth Problem is sometimes considered as formulated very vague what makes difficult its final solution.As it is noted in Wikipedia [44], "the original statement of Hilbert, however, has also been judged too vague to admit a definitive answer." 3) Besides 5th postulate, Euclid's Elements contain another fundamental idea that permeates the entire history of science.We are talking about the "idea of the Universe Harmony," which in ancient Greece was associated with the "golden ratio" and Platonic solids."Proclus hypothesis," formulated in the 5th century AD by the famous Greek philosopher and mathematician Proclus Diadochus (412-485), contains the unexpected view on Euclid's "Elements".According to Proclus, Euclid's main goal was to build a full theory of regular polyhedra ("Platonic solids").This theory was set forth by Euclid in the XIII-th, that is, in the final book of the "Elements" what in itself is an indirect confirmation of "Proclus' hypothesis."To solve this problem, Euclid had included the necessary mathematical information into his Elements.The most curious thing is that he had introduced in Book II the "golden ratio" for the creation of geometric theory of the dodecahedron.
4) Starting with Euclid, the "golden ratio" and "Platonic solids" permeate by the "red thread" through the history of mathematics and theoretical natural sciences.In modern science, Platonic solids have become a source for new scientific discoveries, particularly fullerenes (Nobel Prize in Chemistry, 1996) and quasi-crystals (Nobel Prize in Chemistry, 2011).Publication of Stakhov's book "The Mathematics of Harmony, from Euclid to Contemporary Mathematics and Computer Science" [3] is a reflection of the very important trend in the development of modern science (including mathematics)-the revival of "harmonic ideas" of Pythagoras, Plato and Euclid.
6) New classes of hyperbolic functions, based on the "golden ratio" and Fibonacci numbers (hyperbolic Fibonacci and Lucas functions), became one of the most important results of the "mathematics of harmony" of direct relevance to the hyperbolic geometry.First this mathematical result has been obtained by the Ukrainian mathematicians Alexey Stakhov, Ivan Tkachenko, Boris Rosin [14]- [17].Further development of the theory of hyperbolic functions becomes hyperbolic lambda Fibonacci and Lucas functions, based on the "metallic proportions."Hyperbolic Fibonacci and Lucas λ -functions, based on the "metallic proportions" and introduced by Alexey Stakhov in 2006 [18], are a further development of the general theory of hyperbolic functions [19].
7) Researches of the Ukrainian architect Oleg Bodnar are a significant result in the development of the "hyperbolic geometry".Bodnar showed [8] that a special type of hyperbolic geometry, based on the "golden" hyperbolic functions (128), is distributed widely in Nature and is the basis of the "phyllotaxis geometry" (pine cones, cacti, pineapples, sunflower heads, etc.).
8) The original solution of Hilbert's Fourth Problem, based on the "mathematics of harmony" by Alexey Stakhov [3], in particular, on Spinadel's "metallic proportions" and hyperbolic Fibonacci λ -functions [18] [19], is the main result of this article and the previous works of the authors [20]- [23].It is proved in these works that there are an infinite number of new hyperbolic geometries that "with equal right, stand next to Euclidean geometry" (David Hilbert).This is the original solution of Hilbert's Fourth Problem, developed in this article and the articles [20]- [23].This approach poses in front to theoretical natural sciences (physics, chemistry, biology, genetics and so on) the theoretical problem of finding new ("harmonic") worlds of Nature, which can objectively exist in the world around us.In this regard, we should pay a special attention to the fact that the new hyperbolic geometry, based on the "silver" hyperbolic functions (129) with the base 2 1 2 2.414 Φ = + ≈ , is the closest to Lobachevski's geometry, based on the classical hyperbolic functions (15) with the base 2.71 e ≈ . Its distance to Lobachevski's geometry is equal 12 0.1677 ρ ≈ what is the lowest among all the distances for Lobachevski's metric ( ) , λ µ -forms.We may assume that the "silver" hyperbolic functions (129) and the generating by them "silver" hyperbolic geometry can take its rightful place in modern science next to "Bodnar's geometry," based on the "golden" hyperbolic functions (128).9) A study in this article is of considerable interest from the standpoint of the mathematics history and prospects of its development in close association with the theoretical natural sciences.This study unites the ancient "golden ratio," described in Euclid's Elements, with Lobachevski's hyperbolic geometry, rising back in its origins to Euclid's 5th postulate.This union led to the original solution of Hilbert's Fourth Problem what is the very important mathematical result, which opens the new ("harmonic") stage in the development of hyperbolic geometry and its applications in theoretical natural sciences.

Figure 1 .
Figure 1.A division of a line segment in extreme and mean ratio (the "golden ratio").
define the Fibonacci λ-numbers ( ) F n λ by recursion.We can represent the numbers ( ) F n λ in the explicit form through the "metallic mean" λ Φ .
February 23, 1826  on the meeting of the Mathematics and Physics Faculty of Kazan University the Russian mathematician Nikolai Lobachevski (1792-1856) had proclaimed on the creation of new geometry named imaginary geometry.This geometry was based on the traditional Euclid's postulates, excepting Euclid's Fifth Postulate about parallels.New Fifth Postulate about parallels was formulated by Lobachevski as follows: "At the plane through a point outside a given straight line, we can conduct two and only two straight lines parallel to this line, as well as an endless set of straight lines, which do not overlap with this line and are not parallel to this line, and the endless set of straight lines, intersecting the given straight line."For the first time, a new geometry was published by Lobachevski in 1829 in the article About the Foundations of Geometry in the magazine Kazan Bulletin.

Figure 4
gives a visual representation of the surface 2 M .The surface 2 M belongs to the so-called time-homothetic domain, bounded by the upper half of the isotropic (in other terminology, light) cone K 2 : , Z > 0.
the Euclidean plane ( ) , x y , the absolute is the so-called "infinity circle" + < along of any ray to the "infinity circle" . It follows from the above Poincare's metric form, that the absolute is a circumference2

12. 2 .
Presentation of the Geodesic Lines in the Terms of the "Metallic Proportions" and "Fibonacci Hyperbolic Geometry"

13 .
Poincare's Model of Lobachevski's Plane on the Unit Disc and Connection between Poincare's Model of Lobachevski's Plane and the (λ, µ)-Models of Lobachevski's Plane 13.1.The Angles between the Curves for the Metrical Forms of General Form + < , proposed in 1882 by the great French mathematician, physicist and astronomer Henri Poincare.We show its relationship to Lobachevski's metric ( ) , λ µ -forms.Let us remind the basic facts of Lobachevski's geometry for Poincare's realization on the disc an arc element in the space (X, Y, Z) for the sur- < < +∞ is the domain of the definition of the two-parametric forms (90), for which the absolute is the union: = +∞ −∞ < < +∞  It follows from this that the comparison by using the transformations (110)-(112) of Poincare's metric form (108), defined on the disc , with the two-parametric forms (90), defined on the half-plane 0, is possible only for the condition, when Poincare's metric form (108) is considered in aginary unit.A module of the complex number z is equal to for the metric form (108), after sub- = , that is, the geodesic lines S are the line segments, belonging to the .Direct verification establishes that the circles (123) intersect with the absolute This means that for the case forms (95) are arbitrarily close to Lobachevski's metric form (59) and coincide with (59) for the case

Table 1 .
The extended Fibonacci numbers.