要在HTML中插入视频，可以使用<video>元素。以下是插入视频的基本方法：

html

<video src="路径/到/视频文件.mp4" width="宽度" height="高度" controls></video>

在上面的代码中，src属性指定了视频文件的路径。您可以将其替换为您实际视频文件的路径。width和height属性可

以用于设置视频播放器的宽度和高度。

此外，controls属性会显示视频播放器的控制条，允许用户播放、暂停、调整音量等操作。如果不希望显示控制条，可以

删除controls属性。

如果您的视频格式不是MP4，还可以使用其他支持的格式，如WebM和Ogg。只需要使用<source>元素来添加不同格式

的视频源，浏览器会自动选择适合的格式进行播放。

以下是带有多个视频源的示例代码：

html

<video width="宽度" height="高度" controls>

  <source src="路径/到/视频文件.mp4" type="video/mp4">

  <source src="路径/到/视频文件.webm" type="video/webm">

  <source src="路径/到/视频文件.ogg" type="video/ogg">

</video>

请记住，您需要将视频文件的路径指定为正确的文件路径，以便浏览器能够找到并加载视频文件。