Deductive reasoning facilitates the organization and presentation of a mathematical proof by allowing the logical development of assertions from established premises or known truths. In geometry, it ensures that conclusions follow systematically from axioms, definitions, and previously proven theorems. By using deductive reasoning, every step in the reasoning is justified by previous statements, maintaining the logical flow and validity of the proof. For instance, it organizes the sequence of statements and reasons in a two-column proof, helping make clear the progression from given data to conclusions like congruency or equality .

The Congruent Supplement Theorem demonstrates angle congruency by using the property that if two angles are supplementary to the same or congruent angles, then those two angles must be congruent. The logical steps involved include 1) stating that angles <1 and <2 are supplementary and angles <2 and <3 are supplementary; 2) Equating the sum of their measures to 180 degrees due to being supplementary; 3) Applying the transitive property to relate the measures; 4) Using the subtraction property of equality to deduce that the measure of angle <1 equals the measure of angle <3; and 5) Concluding from the definition of congruent angles that <1 is congruent to <3 .

The purpose of using a two-column proof to demonstrate the Vertical Angle Theorem is to clearly organize statements and supporting reasons in a structured manner. This approach enhances clarity by separating factual statements or given information on one side from the logical reasoning or mathematical principles on which those statements are based on the other side . This methodical presentation helps in carefully tracking each step of the argument, ensuring that each conclusion is justified by a preceding statement and its corresponding reason.

The transitive property of equality is immensely beneficial in proving relationships between angle measures as it allows for the chain linking of equal measures. If an angle measure can be expressed as equal to another measure that is equal to a third, the transitive property assures us that the first and third are equal. This property is instrumental in geometric theorems because it enables the linkage of multiple angle relationships to prove congruence or equality. For instance, if m<1 = m<2 and m<2 = m<3, then by the transitive property, m<1 = m<3, which can be used to demonstrate congruency between angles <1 and <3 .

The proof strategy involves using the fact that congruent angles have equal measures and supplementary angles sum up to 180 degrees. If the two angles, say <1 and <2, are both congruent (m<1 = m<2) and supplementary (m<1 + m<2 = 180), the only possibility is that each angle measures 90 degrees because m<1 + m<2 = 180 becomes 2m<1 = 180. Solving this gives m<1 = 90. Thus, <1 and <2 both being 90 degrees identifies them as right angles .

The theorem that all right angles are congruent has significant implications in mathematical arguments and geometric proofs as it establishes a universal truth about angles measuring 90 degrees. It becomes an essential basis for proving other properties and relationships within geometric figures where right angles are involved, providing a standardized measure for comparison. This theorem allows for the straightforward argument that any angle proven to be right is immediately congruent to any other right angle used or introduced in a geometric proof, thereby simplifying the reasoning involving right angles .

The proof of congruence between angles <1 and <3 is simplified by using supplementary angle theorems which assert that if two angles are each supplementary to the same angle, they are congruent. The logic stems from the fact that the sums of their measures with a common angle are equal, thereby making the angles themselves equal. Specifically, for <1 and <3, given m<1 + m<2 = 180 and m<2 + m<3 = 180, the equality m<1 + m<2 = m<2 + m<3 allows for the inference m<1 = m<3 when subtracting m<2. This indicates that <1 is congruent to <3 by the definition of congruent angles .

Within geometric proofs, the definition of congruent angles is applied to finalize a proof by establishing that two angles with equal measures are congruent. When proving that vertical angles <1 and <2 are congruent, the proof concludes by confirming their congruence using this definition. Initially, it is shown that each pair of opposite vertical angles is supplementary to the same or equivalent angles. By equating these pairs (via properties like the transitive and subtraction properties of equality), the measures of <1 and <2 are proven equal. Thus, according to the definition of congruent angles (angles with equal measure are congruent), <1 is declared congruent to <2 .

The Linear Pair Theorem states that if two angles form a linear pair, their measures sum to 180 degrees. To apply this theorem in the problem where m<1 = m<2 and m<1 = 105, the logical steps start by recognizing that angles <1 and <2 are a linear pair, thus m<1 + m<2 = 180. Since m<1 equals m<2 and m<1 is given as 105, we deduce m<1 + m<1 = 210 which contradicts linear pair requirements. Instead, one must consider that m<3 should satisfy supplementary conditions such that m<1 + m<3 = 180. Thus, solving the equation 105 + m<3 = 180, gives m<3 = 75 .

The subtraction property of equality is used within geometric proof as a tool to isolate equal measures and show congruence. When angles are identified as supplementary—such as <1 and <2, and <2 and <3—it implies their measures have a combined total of 180 degrees. Using the subtraction property: m<1 + m<2 = m<2 + m<3 [as known from the supplement definition], subtracting m<2 from both sides gives m<1 = m<3. This equality of measures is what directly leads to the conclusion that <1 is congruent to <3 by definition of congruent angles .