A tetrahedron ABCD is give. A line ℓ meets the planes ABC,BCD,CDA,DAB at points D0,A0,B0,C0 respectively. Let P be an arbitrary point not lying on ℓ and the planes of the faces, and A1,B1,C1,D1 be the second common points of lines PA0,PB0,PC0,PD0 with the spheres PBCD,PCDA,PDAB,PABC respectively. Prove P,A1,B1,C1,D1 lie on a circle. geometry3D geometrysphereConcyclicInversionSharygin Geometry OlympiadSharygin 2023