在一块等腰直角三角形铁皮上截一块矩形铁皮，如图，已有的铁皮是等腰直角三角形ABC，它的底边AB长20厘米．要截得的矩形EFGD的边FG在AB上，顶点E、D分别在边CA、CB上，设EF的长为x厘米，矩形EFGD的面积为y平方厘米，试写出y关于x的函数解析式及定义域，并求当EF的长为4厘米时所截得的矩形的面积，