Geometry reasoning and proof