Assertion: right triangle's length | /r/CapableOf | sum to the semiperimeter
Facets:
Source sentences:
text: One of the triangle area formulas involving the semiperimeter also applies to tangential quadrilaterals, which have an incircle and in which (according to Pitot's theorem) pairs of opposite sides have lengths summing to the semiperimeter—namely, the area is the product of the inradius and the semiperimeter: