Monge's Theorem
Beautiful result about 3 circles in the plane. Easy to construct in GeoGebra since the tangent command can have two circles as an argument. Can you figure out if there are any conditions for when G, H and I are collinear?
Part I of a request by @solvemymaths