In Euclidean geometry, two objects are similar if they have the same shape, or if one has the same shape as the mirror image of the other. More precisely, one can be obtained from the other by uniformly scaling (enlarging or reducing), possibly with additional translation, rotation and reflection. This means that either object can be rescaled, repositioned, and reflected, so as to coincide precisely with the other object. If two objects are similar, each is congruent to the result of a particular uniform scaling of the other. For example, all circles are similar to each other, all squares are similar to each other, and all equilateral triangles are similar to each other. On the other hand, ellipses are not all similar to each other, rectangles are not all similar to each other, and isosceles triangles are not all similar to each other. This is because two ellipses can have different width to height ratio, two rectangle can also have a different length to breadth ratio, and two isosceles triangle can have different base angles. If two angles of a triangle have measures equal to the measures of two angles of another triangle, then the triangles are similar. Corresponding sides of similar polygons are in proportion, and corresponding angles of similar polygons have the same measure. Two congruent shapes are similar, with a scale factor of 1. However, some school textbooks specifically exclude congruent triangles from their definition of similar triangles by insisting that the sizes must be different if the triangles are to qualify as similar. Similar triangles Two triangles, and are similar if and only if corresponding angles have the same measure: this implies that they are similar if and only if the lengths of corresponding sides are proportional. It can be shown that two triangles having congruent angles (equiangular triangles) are similar, that is, the corresponding sides can be proved to be proportional. This is known as the AAA similarity theorem. Note that the "AAA" is a mnemonic: each one of the three A's refers to an "angle". Due to this theorem, several authors simplify the definition of similar triangles to only require that the corresponding three angles are congruent. There are several criteria each of which is necessary and sufficient for two triangles to be similar: Any two pairs of angles are congruent, which in Euclidean geometry implies that all three angles are congruent: If is