その式が解を持つ」ことは「式の左辺と右辺の値が同一である」ことではないでしょうか？。