Complex Geometry Riders, Proving a Cyclic Quadrilateral, Proving a Tangent