Eとmとcを使って関係式をいろいろ作ってみる。
E=mc、E^2=mc、E^2=m/c, E=mc^3, E=m log(c), などなど

次元解析から否定されるべき式は除外できる。すると候補を絞れる。