将直角三角形ABC沿直角边AB向右平移2个单位得到直角三角形DEF(如图5-144),若AB=4,∠ABC=90°,且△