已知:如图所示,三角形ABC、三角形ADE都为等腰直角三角形.求证:DC垂直BE