Theo mình biết thì công thức này được suy ra từ thực nghiệm.
Nếu có chứng minh thì mình chỉ có ý kiến này là từ công thức chuẩn của lực Lorentz:
$F=q[v\times B]$ ($[v\times B]$ là tích có hướng của vector $v$ và $B$)
Ta suy ra được công thức như đề bài.