Assertion: triangle's altitude | /r/HasProperty | rational
Facets:
Source sentences:
text: then a decomposition into right triangles with rational sides always exists, because every altitude of a Heronian triangle is rational (since it equals twice the integer area divided by the integer base).
text: All the altitudes of a Heronian triangle are rational.