AB + CD = BC + DA
je dis qu’il est circonscriptible à la circonférence. Décrivons , eu effet, une circonférence qui soit tangente aux trois droites AD, AB et BC (141); soit F son point de contact avec AB, et O son centre. J’abaisse de ce centre, OI perpendiculaire sur.DC, et je dis que 01 = OF. S’il n’en est pas ainsi, nous pourrons prendre , sur cette perpendiculaire , une distance OI' = OF; et en menant D'C' parallèlement à DC par le point F, on formera un quadrilatère ABC D' qui sera circonscrit à la circonférence KG F, puisque ses quatre côtés sont équidistants du centre O. Nous aurons donc (1 “) :
DUS QUADRILATÈRES. SI