G.24 congruent triangles by SAS — Heath

I.4

If two triangles have the two sides equal to two sides respectively, and have the angles contained by the equal straight lines equal, they will also have the base equal to the base, the triangle will be equal to the triangle, and the remaining angles will be equal to the remaining angles respectively, namely those which the equal sides subtend.
A B C D E F

Let < A B C >, < D E F > be two triangles having the two sides / A B /, / A C / equal to the two sides / D E /, / D F / respectively, namely / A B / to / D E / and / A C / to / D F /, and the angle < B A C ) equal to the angle < E D F ).

I say that the base / B C / is also equal to the base / E F /, the triangle < A B C > will be equal to the triangle < D E F >, and the remaining angles will be equal to the remaining angles respectively, namely those which the equal sides subtend, that is, the angle < A B C ) to the angle < D E F ), and the angle < A C B ) to the angle < D F E ).

For, if the triangle < A B C > be applied to the triangle < D E F >, and if the point A be placed on the point D and the straight line / A B / on / D E /, then the point B will also coincide with E, because / A B / is equal to / D E /.

Again, / A B / coinciding with / D E /, the straight line / A C / will also coincide with / D F /, because the angle < B A C ) is equal to the angle < E D F ); hence the point C will also coincide with the point F, because / A C / is again equal to / D F /.

But B also coincided with E; hence the base / B C / will coincide with the base / E F / [For if, when B coincides with E and C with F, the base / B C / does not coincide with the base / E F /, two straight lines will enclose a space: which is impossible. Therefore the base / B C / will coincide with / E F /] and will be equal to it. [G.23]

Thus the whole triangle < A B C > will coincide with the whole triangle < D E F >,

and will be equal to it.

And the remaining angles will also coincide with the remaining angles and will be equal to them,

the angle < A B C ) to the angle < D E F ),
and the angle < A C B ) to the angle < D F E ).

Therefore etc.

(Being) what it was required to prove.

Dependency Graph

digraph { bgcolor="transparent"; node [shape=box, style="rounded,filled", fontname="Helvetica", fontsize=11, color="#d6d3cd", fontcolor="#ffffff"]; edge [color="#8c857b", fontcolor="#8c857b", arrowsize=0.75]; rankdir="TB"; "G.1" [label="G.1", tooltip="G.1 (I.def.1): A point A is that which has no part.", fillcolor="#224422", URL="../G.1/index.html", target="_top"]; "G.2" [label="G.2", tooltip="G.2 (I.def.2): A line [ A B ] is a projection of a relationship of two points A, B.", fillcolor="#224422", URL="../G.2/index.html", target="_top"]; "G.3" [label="G.3", tooltip="G.3 (I.def.3): The extremities of a segment / A B / are points A, B.", fillcolor="#224422", URL="../G.3/index.html", target="_top"]; "G.4" [label="G.4", tooltip="G.4 (I.def.4): A segment / A B / is a portion of a line [ A B ] between two points A, B on the line.", fillcolor="#224422", URL="../G.4/index.html", target="_top"]; "G.5" [label="G.5", tooltip="G.5 (I.def.5): A surface is that which has length and breadth only.", fillcolor="#224422", URL="../G.5/index.html", target="_top"]; "G.7" [label="G.7", tooltip="G.7 (I.def.7): A plane surface lies evenly with the lines on itself.", fillcolor="#224422", URL="../G.7/index.html", target="_top"]; "G.8" [label="G.8", tooltip="G.8 (I.def.13): A boundary is the extremity of anything.", fillcolor="#224422", URL="../G.8/index.html", target="_top"]; "G.9" [label="G.9", tooltip="G.9 (I.def.14): A figure is that which is contained by any boundary or boundaries.", fillcolor="#224422", URL="../G.9/index.html", target="_top"]; "G.12" [label="G.12", tooltip="G.12 (I.def.19): Rectilineal figures are contained by segments: trilateral by three, quadrilateral by four, and multilateral by more than four.", fillcolor="#224422", URL="../G.12/index.html", target="_top"]; "G.22" [label="G.22", tooltip="G.22 (I.def.8): A plane angle is the inclination to one another of two lines or arcs in a plane that meet and do not lie on the same line.", fillcolor="#224422", URL="../G.22/index.html", target="_top"]; "G.23" [label="G.23", tooltip="G.23 (I.cn.4): Things / A B /, / D E / that coincide with one another are equal to one another.", fillcolor="#442222", URL="../G.23/index.html", target="_top"]; "G.24" [label="G.24", tooltip="G.24 (I.4): Triangles with two sides and the included angle equal are congruent (SAS).", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"]; "G.2" -> "G.1"; "G.3" -> "G.1"; "G.4" -> "G.1"; "G.24" -> "G.1"; "G.3" -> "G.2"; "G.4" -> "G.2"; "G.7" -> "G.2"; "G.22" -> "G.2"; "G.4" -> "G.3"; "G.8" -> "G.3"; "G.7" -> "G.4"; "G.12" -> "G.4"; "G.22" -> "G.4"; "G.24" -> "G.4"; "G.7" -> "G.5"; "G.22" -> "G.7"; "G.9" -> "G.8"; "G.12" -> "G.9"; "G.24" -> "G.12"; "G.24" -> "G.22"; "G.24" -> "G.23"; }

Required for

G.25, G.27, G.28, G.29, G.31, G.32, G.34, G.35, G.37, G.39, G.40, G.41, G.42, G.43, G.44, G.45, G.46, G.47, G.48, G.49, G.50, G.51, G.53, G.54, G.56, G.57, G.58, G.59, G.60, G.62, G.64, G.65, G.66, G.67, G.68, G.69, G.70, G.71, G.72, G.73, G.74, G.75, G.79, G.80, G.82, G.83, G.84, G.85, G.87, G.88, G.89, G.90, G.91, G.92, G.93, G.94, G.95, G.97, G.98, G.99, G.100, G.101, G.105, G.106, G.107, G.108, G.110, G.112, G.114, G.116, G.118, G.119, G.120, G.121, G.123, G.124, G.125, G.128, G.129, G.130, G.133, G.134, G.135, G.136, G.137, G.139, G.140, G.141, G.142, G.143, G.144, G.145, G.149, G.151, G.154, G.157, G.158, G.159, G.160, G.161, G.162, G.163, G.164, G.165, G.166, G.167, G.168, G.210, G.211, G.212, G.213, G.214, G.215, G.216, G.218, G.219, G.220, G.221, G.222, G.223, G.225, G.226, G.227, G.228, G.229, G.231, G.232, G.234, G.235, G.236, G.237, G.238, G.239, G.240, G.241, G.243, G.244, G.245, G.246, G.345, G.377, G.378, G.381, G.382, G.383, G.384, G.385, G.386, G.389, G.390, G.393, G.394, G.395, G.396, G.397, G.398, G.399, G.400, G.401, G.402, G.403, G.404, G.405, G.406, G.407, G.408, G.409, G.410, G.411, G.412, G.413, G.414, G.415, G.416, G.417, G.418, G.419, G.420, G.421, G.423, G.425, G.427, G.429, G.431, G.433, G.434, G.435, G.436, G.437, G.438, G.439, G.440, G.441, G.442, G.443, G.444, G.445, G.446, G.447, G.448, G.449, G.450, G.451, G.452, G.453, G.455, G.457, G.458, G.459, G.460, G.461, G.462, G.463, G.464, G.465, G.466, G.467, G.468, G.470, G.472, G.474, G.476, G.477, G.478, G.479, G.480, G.481, G.482, G.483, G.484, G.485, G.486, G.487, G.488, G.489, G.490, G.491, G.492, G.493, G.494, G.495, G.496, G.497, G.498, G.499, G.500, G.501, G.506, G.507, G.508, G.510, G.511, G.512, G.513, G.514, G.517, G.518, G.520, G.522, G.525, G.526, G.527, G.528, G.530, G.531, G.532, G.536, G.538, G.539, G.540, G.541, G.542, G.543, G.544, G.545, G.546, G.547, G.549, G.550, G.551, G.552, G.554, G.555, G.556, G.557, G.558, G.559, G.560, G.563, G.565, G.570, G.571, G.572, G.573, G.574, G.577, G.578, G.579, G.580, G.582, G.583, G.584, G.585, G.586, G.587, G.588, G.589, G.590, G.592, G.594, G.595, G.597, G.600, G.601