Assertion: triangle's square | /r/HasAspect | rational sides
Facets:
Source sentences:
text: Any square inscribed in a Heronian triangle has rational sides: For a general triangle the inscribed square on side of length a has length