)式のようなもので、オイラーによって解かれた.こうすることで、式番号を正確に参照することが出来ます。一度のコンパイルでは正確な出力になりません。相互参照を用いたときは必ず2回コンパイルする癖をつけましょう.この現象の原因は、LaTeXの相互参照番号の管理の仕方にあります。気付いている人もいるでしょうが、コンパイルをしたときに出来るファイルはdviファイルだけではありません。?auxファイルも同時に生成されます。logファイルはコンパイルのログをとっています。auxファイルには相互参照についての情報が書き込まれます。texファイル内で相互参照が行われた場合、LaTeXはこのauxファイルを参照して式番号などを決定します。初回コンパイル時にはauxファイルは未だ存在しないため、式番号が決定できません。そこで、とりあえず相互参照の部分を??にしたdviファイルを出力して、その後にauxファイルを新しく生成します。指定されたラベル名が存在しないときにも、同じように取りあえず分からない式番号を??にして、新しいauxファイルを再生成します。この挙動によって一度のコンパイルだけでは式番号が正確に出力されなくなるわけです。気になる人はauxファイルをテキストエディタで開いてみると面白いですよ。