問答無用で分かりやすいのは
・P_kを解いてしまう
・Q_k:=P_k-m_k とおいて Q_k=0 (k=1,2,3...)を示す
辺りかな