在HTML5中，我们可以使用<audio>标签来添加背景音乐，以下是详细的技术教学：

1、我们需要在HTML文件中创建一个<audio>标签，这个标签有一个src属性，用于指定音乐文件的路径，我们可以将音乐文件放在与HTML文件相同的目录下，并使用相对路径来引用它。

<audio id="backgroundMusic" src="music.mp3"></audio>

2、接下来，我们需要使用JavaScript来控制音乐的播放，我们可以创建一个函数，当页面加载时自动播放音乐，为了实现这一点，我们可以将autoplay属性添加到<audio>标签中。

<audio id="backgroundMusic" src="music.mp3" autoplay></audio>

3、我们可能希望在用户与页面交互时暂停音乐，为此，我们可以监听pause和play事件，并在这些事件发生时调用相应的JavaScript函数。

var music = document.getElementById("backgroundMusic");
function pauseMusic() {
  music.pause();
}
function playMusic() {
  music.play();
}

4、现在，我们需要将这些函数绑定到相应的事件上，我们可以使用addEventListener方法来实现这一点，我们可以在用户点击页面时暂停音乐，再次点击时恢复播放。

document.addEventListener("click", pauseMusic);

5、我们需要确保在用户离开页面时停止音乐，为此，我们可以监听beforeunload事件，并在该事件发生时调用pauseMusic函数。

window.addEventListener("beforeunload", pauseMusic);

现在，我们已经成功地在HTML5页面中添加了背景音乐，当用户打开页面时，音乐将自动播放；当用户与页面交互时，音乐将暂停；当用户离开页面时，音乐将停止。

注意：为了提高用户体验，建议将音乐文件压缩到合适的大小，根据浏览器的不同，可能需要对代码进行一些调整，某些浏览器可能不支持autoplay属性，或者需要在用户与页面交互后才能自动播放音乐，在这种情况下，可以考虑使用第三方库（如Howler.js）来实现更复杂的音频控制功能。