An Inductive Manual of the Straight Line and the Circle