一道含多余条件的几何题

• A Geometry Problem with Superfluous Condition