Assertion: right triangle's side | /r/HasProperty | a chord of the circumcircle
Facets:
Source sentences:
text: f and share the same circumcircle, so that the side of length f is a chord of the circumcircle and the triangles have side lengths (a, b, f) and (c, d, f), with the two triangles together forming a cyclic quadrilateral with side lengths in sequence (a, b, c, d).