Y by Adventure10, Mango247
Given a trihedral angle Sxyz. A plane (P) not through S cuts Sx,Sy,Sz respectively at A,B,C. On the plane (P), outside triangle ABC, construct triangles DAB,EBC,FCA which are confruent to the triangles SAB,SBC,SCA respectively. Let (T) be the sphere lying inside Sxyz, but not inside the tetrahedron SABC, toucheing the planes containing the faces of SABC. Prove that (T) touches the plane (P) at the circumcenter of triangle DEF.