小编教你html如何改变视频大小不变。

在HTML中，我们可以通过使用HTML5的<video>标签来嵌入视频，HTML本身并不能直接改变视频的大小，视频的大小是由其源文件（mp4或.webm文件）决定的，如果你想要改变视频的大小，你需要在视频源文件上进行编辑或者使用一些JavaScript库来实现。

（图片来源网络，侵删）

这里，我将向你展示如何使用JavaScript库Video.js来改变HTML5视频的大小，Video.js是一个非常流行的开源JavaScript库，它提供了丰富的API和插件来控制视频播放器的行为和外观。

你需要在你的HTML文件中引入Video.js的CSS和JS文件，你可以从Video.js的官方网站下载这些文件，或者使用CDN链接。

<link href="https://vjs.zencdn.net/7.8.4/videojs.css" rel="stylesheet" />
<script src="https://vjs.zencdn.net/7.8.4/video.min.js"></script>

你可以在你的HTML文件中添加一个<video>标签，并设置datasetup属性为{}，这样就可以使用Video.js的默认配置，你也可以在<video>标签中添加其他属性来自定义Video.js的行为。

<video id="myvideo" class="videojs vjsdefaultskin" controls preload="auto" width="640" height="264" datasetup=\'{}\'>
  <source src="myvideo.mp4" type=\'video/mp4\' />
  <p class="vjsnojs">
    要查看此视频，请启用JavaScript，并考虑升级到支持HTML5视频的Web浏览器
  </p>
</video>

在上面的例子中，视频的宽度被设置为640像素，高度被设置为264像素，你可以根据需要调整这些值。

接下来，你需要在你的JavaScript文件中初始化Video.js播放器，你可以使用Video.js提供的videojs()函数来实现这一点，这个函数接受一个选择器字符串作为参数，该字符串指定了你想要初始化的视频元素的ID。

var player = videojs(\'myvideo\');

现在，你可以使用Video.js提供的API来改变视频的大小，你可以使用player().width()和player().height()函数来获取和设置视频的宽度和高度，你也可以使用player().style()函数来直接修改视频元素的样式。

// 获取当前视频的大小
var width = player().width();
var height = player().height();
console.log(\'Current video size: \' + width + \'x\' + height);
// 改变视频的大小
player().width(800).height(400);
console.log(\'New video size: \' + player().width() + \'x\' + player().height());

注意，改变视频的大小可能会影响视频的纵横比，导致视频变形，为了避免这种情况，你可能需要计算新的宽度和高度，使其保持正确的纵横比，你可以将宽度和高度设置为原始宽度和高度的某个比例，或者将宽度设置为某个固定值，高度根据宽度按比例计算。

以上就是如何在HTML中使用JavaScript库Video.js来改变视频的大小的方法，希望这个教程对你有所帮助！如果你有任何问题，欢迎随时向我提问。