AB+CD=BC+AD⇒四角形ABCDが円に外接する

自明?