Yo creo lo que pasa es que tu código javascript se esta ejecutando antes de que cargue el body de tu documento, trata de poner tu código en un evento (onload), de tal manera que cuando cargue completamente se invoque.
Código:
window.onload = function(){
document.images["imagen1"].height=document.getElementById('div1').offsetHeight;
}