在探索并证明三角形的内角和定理“三角形三个内角的和等于180°”时，圆圆同学添加的辅助线为“过点A作直线DE // BC”.请写出“已知”、“求证”，并补全证明.

已知：

求证：

证明：过点A作直线DE // BC.