理由はちょっとわかりませんが、
　platex: /usr/bin/platex /usr/bin/X11/platex
と二つあるのは不思議です。通常、/usr/bin/platexしか存在しないはずです。
dpkg -S /usr/bin/X11/platex
を実行するとどういうメッセージが表示されるでしょうか。

Shibata　様

　返答、ありがとうございます。
　anoir 様への返信で述べたのですが、sudoを実行したところ.dviファイルは形成されました。
　Shibata様から教えていただいたことを実行すると以下の

usr1@usr1-desktop:/usr$ dpkg -S /usr/bin/X11/platex
dpkg: /usr/bin/X11/platex が見つかりません。

が出力されました。これは、どういったことなんでしょうか？これ自体は、空なんでしょうか？

　

Shibata　様

　返答、ありがとうございます。
　わかりました。では、ほっとく（？）ということにします。
　また、質問を投稿した際には、御指導よろしくお願いします。