Pour cette figure, on a choisi  a = 4.

Plan médiateur de [AB]

Plan médiateur de [BC]

Point Ω

Sphère circonscrite à ABCD

On peut tracer les quatre segments 
ΩA, ΩB, ΩC et ΩD 
et vérifier dans la fenêtre “Algèbre” 
qu'ils ont la même longueur.

A = (4, 0, 0)
B = (0, 4, 0)
C = (0, 0, 4)
O = (0, 0, -0.00233763569535661)
OAB, b, o, a = Polygon(O, A, B)
I = Midpoint(A, B)
d = Segment(C, I)
c, OAC, ABC_1, BCO, arêteCO, arêteAC_1, arêteBC_1 = Pyramid(OAB, C)
e = OrthogonalLine(O, ABC_1)
H = Intersect(e, ABC_1)
f = Segment(O, H)
g = Segment(O, I)
α = Angle(C, H, O, xOyPlane)
D = Mirror(H, O)
ADB, d_1, a_1, b_1 = Polygon(A, B, D)
h, ABC, BCD, ACD, arêteAC, arêteBC, arêteCD = Pyramid(ADB, C)
i = Segment(O, D)
j = Segment(O, B)
J = Midpoint(B, C)
k = OrthogonalPlane(I, d_1)
l = OrthogonalPlane(J, arêteBC)
m = false
n = false
Ω = Midpoint(O, H)
S = Sphere(Ω, A)
q = false
r = false