等腰直角三角形的一条直角边为4,则它斜边上的高线是