Ta có:
$a=g(sin\alpha-\mu cos\alpha)$
`<=>` $a=gsin\alpha-g\mu cos\alpha$
`<=>` $\mu gcos\alpha=gsin\alpha-a$
`<=>` $\mu=\dfrac{gsin\alpha-a}{gcos\alpha}$
`<=>` $\mu=\dfrac{gsin\alpha}{gcos\alpha}-\dfrac{a}{gcos\alpha}$
`=>` $\mu=tan\alpha-\dfrac{a}{gcos\alpha}$ (đpcm)