inner Soddy circle

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:butter
gptkb:geometry
gptkbp:alsoKnownAs gptkb:Soddy_inner_circle
gptkbp:hasEquation radius = (r1*r2*r3)/(r1*r2 + r2*r3 + r3*r1 + 2*sqrt(r1*r2*r3*(r1 + r2 + r3))) (where r1, r2, r3 are excircle radii)
gptkbp:hasProperty center is called inner Soddy center
tangent to all three excircles of triangle
tangent to all three sides of triangle externally
https://www.w3.org/2000/01/rdf-schema#label inner Soddy circle
gptkbp:namedAfter gptkb:Frederick_Soddy
gptkbp:relatedTo gptkb:train
gptkb:Soddy_circles
gptkb:outer_Soddy_circle
tangent circle
gptkbp:tangentTo excircle of triangle
incircle of triangle
gptkbp:bfsParent gptkb:Soddy_circle
gptkbp:bfsLayer 6