video要素のビデオサイズ（表示ピクセルサイズ）に合わせて、取得する動画データを縮小したい。

Question

video要素の描画サイズよりも大きい動画ファイルをその描画サイズに縮小してから、
取得したい。
理由は、帯域の節約です。
例えば、スマホでアクセスする場合、
スマホの画面サイズを考えれば表示される動画のサイズは高々480P程度ですから、
720Pや1080Pの動画を受信するのは帯域の無駄になるので、
480Pに縮小してから取得したいなどです。
もしかしたら、video要素あるいはvideo.jsなどではそのような機能はすでに実装されているのであれば、そのソースとなるページをください。
また、そうであるとしたら、全画面表示や特定の描画サイズに再生中変更した場合、
その描画サイズに従って縮小されるのか教えてください。

また、それの一般化として、
動画サイズ（例えば720×480など）を指定して、そのサイズで取得したいです。

また、html5のvideo要素のデフォルトは、プログレッシブダウンロードであるのかについても教えてください。

！注釈
php,sqlite,js,css,html,json,左記のあらゆるライブラリのみで実装する方法にしてください。

Comments

[ikadzuchi]

帯域の節約ということは動画ファイルを縮小・再圧縮するのはサーバー側の機能ということになりますが、video要素やvideo.jsはユーザー側で解釈されるものですので無関係ではありませんか? また、スマホで480pというのは現実に即していません。最近のスマホはフルHD程度が一般的だと思います。