I'm trying to prove the claim:
Two triangles inscribed in a conic section, there must be another conic tangent to the six edges of the two triangles.
The problem looks simpler than this question: A conic inside a hexagon , but I haven't found a way to use Pascal + Desargues + Brianchon directly.
Here is my approach:
- Pascal's theorem tells us that AD∩BE lies on line GJ;
- Pappus's theorem applying on ALE and BHD tells us that G, AD∩BE and LD∩HE are collinear, so LD∩HE lies on GJ;
- Pappus's theorem applying on LKE and HID tells us that LI∩HK, LD∩HE and J are collinear, so LI∩HK lies on GJ, i.e. GJ, HK and LI are concurrent;
- The converse of Brianchon's theorem tells us that there must be a conic tangent to the hexagon GHIJKL.
Are there any simple ways to prove it?
