Bonsoir,
On pose SA = SB = SC = a
Il faut montrer que les longueurs ES, FS, GS, EF, FG, GE sont égales.
Calcul de AB :
ABS est un triangle rectangle isocèle en S. Théorème de pythagore :
SA² + SB² = AB²
2a² = AB²
donc AB = Racine(2) a
On peut montrer de manière similaire que :
BC = AC = Racine(2) a
Calcul de ES :
E est le milieu de BC.
BE = BC/2 = Racine(2)/2 a
BES est donc un triangle rectangle en E. On applique encore une fois le théorème de pythagore :
BE² + ES² = BS²
ES² = BS² - BE²
ES² = a² - a²/2 = a²/2
Donc ES = Racine(2)/2 a
On peut démontrer de la même manière que FS = GS = Racine(2)/2 a
Calcul de EF :
ABC est la base du tétraèdre SABC. On a démontré précedemment que :
AB = BC = AC = Racine(2) a
ABC est donc un triangle équilatéral de coté Racine(2) a.
On peut démontrer que EFG est également un triangle équilatéral.
Soit O le centre du triangle ABC.
E est le milieu de BC se traduit par la relation vectorielle :
 / 2)
De même F est le milieu de AC se traduit par la relation vectorielle :
 / 2)
/2|| = ||\vec{BA}||/2 = AB/2 = Racine(2)/2 a)
On peut démontrer de manière similaire que :
FG = GE = Racine(2)/2 a
On a donc démontré finalement que :
ES = FS = GS = EF = FG = GE = Racine(2)/2 a
SEFG est donc un tétraèdre régulier.