L'objet de ce travail est de prouver des théorèmes de géométrie hyperbolique en utilisant des méthodes développées par Euler, Schubert et Steiner en géométrie sphérique. On donne des analogues hyperboliques de certaines formules trigonométriques en utilisant la méthode des variations et une formule pour l'aire d'un triangle. Euler utilisa cette idée en géométrie sphérique.On résout ensuite le problème de Lexell en géométrie hyperbolique. Cette partie est basée sur un travail en collaboration avec Weixu Su. En utilisant l'analogue hyperbolique des identités de Cagnoli, on prouve deux résultats classiques en géométrie hyperbolique. Ensuite, on donne les solutions aux problèmes de Schubert (en collaboration avec Vincent Alberge) et de Steiner. En suivant les idées de Norbert A'Campo, on donne l'ébauche de la preuve de la formule de Schlafli en utilisant la géométrie intégrale. Cette recherche peut être généralisée partiellement au cas de la dimension 3. / Our aim is to prove sorne theorems in hyperbolic geometry based on the methods of Euler, Schubert and Steiner in spherical geometry. We give the hyperbolic analogues of sorne trigonometrie formulae by method of variations and an a rea formula in terms of sides of triangles, both due to Euler in spherical case. We solve Lexell's problem. This is a joint work with Weixu Su. We give a shorter formula than Euler's a rea formula. Using hyperbolic analogues of Cagnoli's identities, we prove two classical results in hyperbolic geometry. Further, we give solutions of Schubert's and Steiner's problems. The study of Schubert's problem is a joint work with Vincent Alberge. Finally, following ideas of Norbert A' Campo, we give the sketch of the proof of Schlafli formula using integral geometry. The mentioned theorems can be generalized to the case of dimension 3 partially by means of the techniques used developed in this the sis.

Nous étudions les propriétés métriques locales des ensembles de niveau des applicationshorizontalement différentiables entre des groupes de Carnot, c'est-à-dire différentiable par rapport à la structure sous-riemannienne intrinsèque.Nous considérons des applications dont la différentielle horizontale est surjective,et notre étude peut être vue comme une généralisation du théorème des fonctions implicites pour les groupes de Carnot.Tout d'abord, nous présentons deux notions de tangence dans les groupes de Carnot:la première basée sur la condition de platitude au sens de Reifenberg et la deuxième issue de l'analyse convexe classique.Nous montrons que dans les deux cas, l'espace tangent à un ensemble de niveau coïncide avec le noyau de la différentielle horizontale.Nous montrons que cette condition de tangence caractérise en fait les ensembles de niveaudits ‘co-abéliens', c'est-à-dire ceux pour lesquels l'espace d'arrivée est abélien, et qu'une telle caractérisation n'est pas vraie en général.Ce résultat sur les espaces tangents a plusieurs conséquences remarquables.La plus importante est que la dimension de Hausdorff des ensembles de niveau est celle à laquelle l'on s'attend.Nous montrons également la connectivité locale des ensembles de niveau, et le fait que les ensembles de niveau de dimension 1 sont topologiquement des arcs simples.Pour les ensembles de niveau de dimension 1 nous trouvons une formule de l'aire qui permet d'exprimer la mesure de Hausdorff en termes d'intégrales de Stieltjes généralisées.Ensuite, nous menons une étude approfondie du cas particulier des ensembles de niveau dans les groupes d'Heisenberg.Nous montrons que les ensembles de niveau sont topologiquement équivalents à leurs espaces tangents.Il s'avère que la mesure de Hausdorff des ensembles de niveau de codimension élevée est souvent irrégulière, étant, par exemple, localement nulle ou infinie.Nous présentons une condition simple de régularité supplémentaire pour une application pour assurer la régularité au sens d'Ahlfors des ses ensembles de niveau.Parmi d'autres résultats, nous obtenons une nouvelle caractérisation généraledes graphes Lipschitziens associés à une décomposition en produit semi-direct d'un groupe de Carnot.Nous traitons, en particulier, le cas des groupes de Carnot dont le nombre de stratesest plus grand que $2$.Cette caractérisation nous permet de déduire une nouvelle caractérisation des ensemblesde niveau co-abéliens qui admettent une représentation en tant que graphe. / Metric properties of level sets of differentiable maps on Carnot groupsAbstract.We investigate the local metric properties of level sets of mappings defined between Carnot groups that are horizontally differentiable, i.e.with respect to the intrinsic sub-Riemannian structure. We focus on level sets of mapping having a surjective differential,thus, our study can be seen as an extension of implicit function theorem for Carnot groups.First, we present two notions of tangency in Carnot groups: one based on Reifenberg's flatness condition and another coming from classical convex analysis.We show that for both notions, the tangents to level sets coincide with the kernels of horizontal differentials.Furthermore, we show that this kind of tangency characterizes the level sets called ``co-abelian'', i.e.for which the target space is abelian andthat such a characterization may fail in general.This tangency result has several remarkable consequences.The most important one is that the Hausdorff dimension of the level sets is the expected one. We also show the local connectivity of level sets and, the fact that level sets of dimension one are topologically simple arcs.Again for dimension one level set, we find an area formula that enables us to compute the Hausdorff measurein terms of generalized Stieltjes integrals.Next, we study deeply a particular case of level sets in Heisenberg groups. We show that the level sets in this case are topologically equivalent to their tangents.It turns out that the Hausdorff measure of high-codimensional level sets behaves wildly, for instance, it may be zero or infinite.We provide a simple sufficient extra regularity condition on mappings that insures Ahlfors regularity of level sets.Among other results, we obtain a new general characterization of Lipschitz graphs associated witha semi-direct splitting of a Carnot group of arbitrary step.We use this characterization to derive a new characterization of co-ablian level sets that can be represented as graphs.

The theoretical part of the thesis includes introduction of Riemann integral and its qualities, introduction of function of more variables, introduction of double and triple Riemann integral and physical applications of integral. The practical part includes derivation of general area formulas for different shapes and volume formulas for different solids, in some examples there are shown different ways of solution. The practical part also includes the use of Riemann integral for the determination of centre of mass, of statical moments and moments of inertia of objects.