Solid mensuration: a modest contribution to a solution 016

Example 016: Radius of sphere circumscribing a regular triangular pyramid

I would like to add a modest contribution to a solution 016.
Radius of inscribbed sphere can be obtained directly (without slope angle determination):

√((AE)^2+(OE)^2 ) = ED-OE → OE = r = ((ED)^2-(AE)^2)/(2*(ED) ) and so on

Best regards !

Matija Oblak