Not too long after I posted this, I noticed that the water level in one toilet bowl fluctuated when I flushed the other, which led me to the same conclusion about the vent. As it turns out, my wife already called a plumber, so I told her what to tell him. I may write it down.