How to prove similar triangles<br>Define the angle-angle (aa) theorem. Two triangles can be proved similar by the angle-angle theorem which states: if two triangles have two congruent angles, then those triangles are similar. [substeps] This theorem is also called the angle-angle-angle (aaa) theorem because if two angles of the triangle are congruent, the third angle must also be congruent.
If 2 of the angles are the same, the last angle has to be the same
( z1 have-condition :ARG1 ( z2 obligate :ARG2 ( z3 same :ARG1 ( z4 angle :mod ( z5 last ) ) ) ) :ARG2 ( z6 same :ARG1 ( z7 angle :quant 2 :ARG1-of ( z8 include :ARG2 ( z9 angle ) ) ) ) )