4 . 我们知道，矩形的面积等于这个矩形的长乘宽，小明想用其验证一个底为a，高为h的三角形的面积公式为．想法是：以为边作矩形，点A在边上，再过点A作的垂线，将其转化为证三角形全等，由全等图形面积相等来得到验证．按以上思路完成下面的作图与填空：证明：用直尺和圆规过点A作的垂线交于点D．（只保留作图痕迹）

在和中，
∵，
∴．
∵，
∴______①____．
∵，
∴______②_____．
又∵____③______．
∴（）．
同理可得：_____④______．
．