4 . 《几何原本》是古希腊数学家欧几里得得所著的一部数学著作，在《几何原本》第六卷给出了内角平分线定理，其内容为：在一个三角形中，三角形一个内角的角平分线内分对边所成的两条线段，与这个角的两邻边对应成比例.例如，在中（图1），为的平分线，则有.

   

(1)试证明角平分线定理；
(2)如图2，已知的重心为，内心为，若的连线.求证：.

9 . 小明在学习矩形时发现：在矩形中，点是边上一点，过点作交边于点，若，则平分.他的证明思路是：利用矩形的性质得三角形全等，再利用边角转化使问题得以解决.请根据小明的思路完成以下作图与填空.
   

(1)用直尺和圆规，过点作的垂线交于点；（只保留作图痕迹）
(2)已知：如图，在矩形中，点是边上一点，过点作交边于点.求证：平分；
证明：四边形是矩形，
，
①_________________.
，
，
，
②_________________.
又，③_________________，
④_________________.
.
又，
，
.
⑤_________________，
.
.
平分.