Discovering the Area Formula for Triangles