摩擦力の垂直抗力比例は重力下で質量を倍にしても、
方程式が不変て要請からの仮定だよ。ラグランジュ
方程式で、散逸関数は勝手に定義できるし、摩擦が
非線形になる物質も良く知られている。