Assertion: right triangle's leg | /r/HasProperty | congruent
Facets:
value: in an isosceles right triangle
type: LOCATION
value: to the corresponding leg
type: TRANSITIVE-OBJECT
value: both
type: DEGREE
Source sentences:
text: Therefore, if we can prove that the hypotenuses of the triangles and one leg of each triangle are congruent, we will be able to apply the HL Theorem.
text: If the legs of one right triangle are congruent to the legs of another right triangle, then the two right triangles are congruent.
text: If a leg and an acute angle of one right triangle are congruent to the corresponding parts of another right triangle, then the two right triangles are congruent.
text: The LA Theorem states: If the leg and an acute angle of one right triangle are both congruent to the corresponding leg and acute angle of another right triangle, the two triangles are congruent.
text: The Leg Leg Theorem says: If the legs of one right triangle are congruent to the legs of another right triangle, the two triangles are congruent.
text: Thus, in an isosceles right triangle, two legs and the two acute angles are congruent.