要在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>
请记住，您需要将视频文件的路径指定为正确的文件路径，以便浏览器能够找到并加载视频文件。