Question

自動車の補助輪

高校物理の電磁気の分野です
ローレンツ力の公式F=qvB
電磁力の公式F=IBL
それぞれの式の導出はどのようなものになるのでしょうか？
それともこの式は定義式として暗記するしかないのでしょうか？