Commentary for Kiddushin 129:16

The Talmud now explains that there was no dispute. Rather, these halakhot go in tandem. First of all, the court asks him to divorce her, but they cannot compel him. But if he divorces her of his own accord, without being asked, then we can assume that he did betroth her and therefore the court forces him to pay the ketubah.