La notion de barycentre ou de centre de masse est directement empruntée à la physique. Etant donné un ensemble de points massiques, un champ (homogène!) de pesanteur définit en chacun des points une force (le poids) d'intensité proportionnelle à la masse. Le barycentre ou centre de masse est le point d'application de la résultante de cet ensemble de forces parallèles. La résultante a une intensité correspondant à une masse égale à la somme des masses de tous les points du système.

On peut généraliser cette notion en considérant des masses négatives, c'est-à-dire que la force appliquée en un point de masse négative est dirigée en sens opposé à celle appliquée à un point de masse positive.

Si a₁, a₂, ..., a_n sont n points respectivement affectés de masses m₁, m₂, ..., m_n, le barycentre du système sera le point g affecté de la masse (nous supposerons que cette masse m n'est pas nulle), défini par:

Pour des raisons physiques évidentes, la définition de ce point g doit être indépendante du choix du point o. Vérifions-le par calcul: si

On peut donc adopter la notation abrégée .

Si l'on a deux points a et b affectés de masses  α et  β, le barycentre g sera le point ( α +  β).g =  α.a +  β.b et sera situé sur la droite ab. Il divisera le segment ab dans le rapport  β/ α (cf.la théorie des leviers)

Un simple calcul montre que pour calculer le barycentre d'un ensemble de points massiques, on peut remplacer un sous-ensemble quelconque de points par son barycentre affecté de la masse somme (supposée non nulle).

Appliquons cette propriété au calcul du barycentre de trois points a, b, c non alignés affectés de masses égales que nous prendrons comme unité de masse.
Le barycentre de b, c est le milieu m affecté d'une masse 2. Le barycentre de m et a sera situé sur la médiane am du triangle abc et situé aux 2/3 de celle-ci. De même si l'on regroupe les points c et a, on peut les remplacer par leur milieu n affecté d'une masse 2. De nouveau le barycentre du système b, n sera sur la médiane bn; de même pour la dernière médiane et l'on retrouve le théorème bien connu:

Les trois médianes d'un triangle concourent en un même point (le barycentre) situé aux 2/3 de chacune d'elles.

Généralisons légèrement le cas traité ci-dessus et calculons le barycentre de trois points a, b, c non alignés affectés de masses  α,  β,  γ (de somme non nulle).

Le barycentre de ab est le point p (affecté de la masse  α +  β) qui partage le segment ab dans le rapport de section  β/ α. Le barycentre du système des trois points est situé sur la droite cp. De même il est situé sur la droite am, où m est le barycentre des points bc qui partage le segment bc dans le rapport  γ/ β; enfin il est encore situé sur la droite bn où n partage le segment ca dans le rapport  α/ γ. Les trois droites am, bn et cp sont concourantes en un point g, barycentre du système. Inversement si trois droites issues des sommets d'un triangle concourent en un point g, ce point peut être considéré comme le barycentre des trois sommets affectés de masses convenablement choisies en fonction des trois rapports de section dans lesquels les points p, m et n partagent les segments ab, bc et ca.

Ceci est en fait le théorème de Céva:

Trois droites issues des sommets d'un triangle sont concourantes si et seulement si elles déterminent sur les côtés opposés des points partageant ceux-ci dans des rapports de section dont le produit est égal à 1.

Passons à présent au barycentre de 4 points a, b, c, d affectés de masses que nous supposerons égales à 1,  λ,  μ,  λ μ

Procédons de deux manières différentes en groupant tout d'abord les points ab et cd et ensuite les points ac et bd. Dans le premier cas les barycentres partiels m, n seront situés sur les côtés ab et cd et les partageront dans les mêmes rapports de section  λ.
Le barycentre est un point de la droite joignant les deux points m et n. Dans le deuxième cas il sera situé sur la droite joignant les deux points p, q partageant les côtés ac et bd dans le même rapport  μ. Il est par conséquent situé à l'intersection de ces deux droites.

Cette propriété serait inintéressante si l'on travaillait dans le plan, mais rien jusqu'ici ne nous a imposé cette restriction. Nous pouvons fort bien supposer que ces quatre points a, b, c, d ne sont pas situés dans un même plan. Dès lors la propriété devient remarquable, car en général deux droites de l'espace ne se rencontrent pas.

Supposons à présent que nous faisons varier  λ. La droite mn varie donc en rencontrant constamment la droite pq. De même si nous faisons varier  μ c'est la droite pq qui variera en rencontrant constamment la droite mn. Nous obtenons donc ainsi une surface engendrée par l'ensemble de ces droites: il s'agit d'un paraboloïde hyperbolique.

Remarquons pour terminer que toutes les droites mn sont parallèles au plan parallèle à ab et cd et que les droites pq sont parallèles au plan parallèle à ac et bd.