Skip to content
Back to exploration
Mathematical modeling / English

Geometry Proofs Explained! Triangle Congruence

Mashup Math · YouTube · 9:29

Open original
READ & KEEP

The explanation, unpacked.

Saves 0

Reviewed learning material · Video analysis · English
Read the full overview

This 160-second introductory geometry clip presents one worked two-column proof. After a brief branded intro, the screen shows a diagram with intersecting segments GJ‾\overline{GJ} and HK‾\overline{HK} meeting at F, the given that they bisect each other, and the goal Δ\Delta GFK ≅Δ\cong \Delta HFJ. The narrator explains the general proof setup, highlights the purple and pink target triangles, then fills the table row by row: first the given, next the congruent half-segments from the definition of bisect, then the congruent vertical angles at F, and finally the triangle congruence by SAS. Visual tick marks and angle arcs are synchronized with the algebraic statements, making the logical dependencies explicit. This 160-second clip works through a geometry two-column proof showing that ΔRSV ≅ ΔRUV. After introducing the problem structure, the narrator uses the given that R is the midpoint of SU to obtain SR ≅ UR, records the given SV ≅ UV, then adds the shared side VR ≅ VR by the Reflexive Property. With three pairs of congruent corresponding sides established, the proof concludes by the SSS postulate. This 160-second clip works through a geometry two-column proof whose goal is to show AE‾≅DE‾\overline{AE} \cong \overline{DE}. After introducing the diagram and the givens ∠A≅∠D\angle A \cong \angle D and ∠2≅∠3\angle 2 \cong \angle 3, the narrator explains that a segment-congruence target requires an extra step beyond triangle congruence. The proof first uses the congruent base angles to show △BCE\triangle BCE is isosceles, then derives BE‾≅CE‾\overline{BE} \cong \overline{CE}. Next it identifies vertical angles ∠5≅∠6\angle 5 \cong \angle 6 in the two lower triangles, applies ASA to obtain △BEA≅△CED\triangle BEA \cong \triangle CED, and finishes with CPCTC to conclude AE‾≅DE‾\overline{AE} \cong \overline{DE}. This clip completes a two-column geometry proof. The visible proof table shows the final steps: ΔBAE ≅ ΔCDE by AAS, then AE ≅ DE by CPCTC. The narrator explains that once the two yellow triangles are congruent, their corresponding parts are congruent, which finishes the original Prove statement. After the proof ends, the video switches to a promotional outro.

Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.

Chapters

0:00Intro logo0:02Lesson introduction and proof setup0:45Identify the triangles to compare1:04Use the given bisection statement1:24Derive congruent segment pairs1:49Mark congruent vertical angles2:09Finish the proof with SAS2:40Transition from the previous example2:49New proof setup and goal3:14Identifying the two triangles3:36Using the midpoint given4:04Recording the second given4:25Shared side and reflexive property5:05Conclusion by SSS5:20Previous proof wrap-up and transition5:29New practice proof introduced5:56Target segments AE and DE identified6:10Givens entered into the table6:33Triangle BCE shown isosceles6:52Deriving BE congruent CE7:11Why to keep intermediate facts7:33Vertical angles in the lower triangles7:49ASA and CPCTC finish the proof8:00AAS congruence step8:11From triangle congruence to target segments8:24CPCTC conclusion and lesson wrap-up8:53Promotional outro

Learning script

Generated from the video's visuals and explanation; not verbatim speech.

The clip opens with a short Mashup Math logo animation and then cuts to a whiteboard-style geometry slide titled Practice With Proofs.

The narrator frames the task in general terms: every proof starts from a diagram, a given statement, and a conclusion to prove, organized in a statements-and-reasons table.

On the left, the diagram shows intersecting segments GJ‾\overline{GJ} and HK‾\overline{HK} meeting at F. The problem asks to prove ΔGFK≅ΔHFJ\Delta GFK \cong \Delta HFJ, and the two relevant triangles are visually distinguished by purple and pink shading.

The first row of the table records the only given fact: GJ‾\overline{GJ} and HK‾\overline{HK} bisect each other at FF. Its reason is simply Given.

The second row converts that wording into geometric consequences. Because bisection means cutting into two equal halves, the proof states GF‾≅JF‾\overline{GF} \cong \overline{JF} and KF‾≅HF‾\overline{KF} \cong \overline{HF}, justified by Def. of Bisect. Matching tick marks appear on the diagram.

The third row notices the opposite angles at the intersection point. The proof writes ∠GFK≅∠HFJ\angle GFK \cong \angle HFJ and cites Vertical Angles, while green arcs mark the two angles on the figure.

With two side pairs and the included angle pair now established, the final row concludes ΔGFK≅ΔHFJ\Delta GFK \cong \Delta HFJ by SAS. The narration emphasizes that the congruent angle lies between the two congruent sides, which is exactly the condition needed for the postulate.

The completed table and marked diagram together show the full logical chain from the given bisection statement to the triangle congruence conclusion.

The clip begins just after a previous example is finished. The narrator says that proof is done and announces a more challenging one, signaling that the lesson will continue in the same geometry-proof format.

A new problem appears with a diagram, two given facts, a statement to prove, and a blank two-column table labeled STATEMENTS and REASONS. The narrator explains that this proof has the same structure as the others: identify the diagram, use the givens, and prove two triangles congruent.

The target triangles are identified as △\triangle RSV and △\triangle RUV. On screen, △\triangle RSV is shaded pink and △\triangle RUV is shaded light green, making clear which two regions are being compared. The narrator also observes that together they form a larger right triangle.

The proof starts with the first given: R is the midpoint of SU‾\overline{SU}. The narrator explains that a midpoint cuts a segment in half, so the immediate consequence is SR‾≅UR‾\overline{SR} \cong \overline{UR}. This statement is entered in the table with the reason Def. of Midpoint, and matching tick marks are added to the diagram.

Since no further information follows from the first given, the narrator moves to the second given, SV‾≅UV‾\overline{SV} \cong \overline{UV}. That statement is copied directly into the proof table with reason Given, and double tick marks are placed on the corresponding sides in the diagram.

After the explicit givens are used, the narrator turns to facts already known from geometry. The key observation is that the pink and light green triangles share side VR‾\overline{VR}. Because it is the same segment in both triangles, the proof records VR‾≅VR‾\overline{VR} \cong \overline{VR} with reason Reflexive Property.

At this point three pairs of corresponding congruent sides have been established: SR‾≅UR‾\overline{SR} \cong \overline{UR}, SV‾≅UV‾\overline{SV} \cong \overline{UV}, and VR‾≅VR‾\overline{VR} \cong \overline{VR}. The final row therefore states △\triangle RSV ≅△\cong \triangle RUV with reason SSS, completing the two-column proof.

The clip opens by finishing the previous example with a reference to corresponding congruent sides, then announces one more practice proof.

A new geometry problem appears with the same two-column layout: a diagram on the left and a blank STATEMENTS/REASONS table on the right. The narrator says this proof is more challenging but structurally similar.

The key difference is the goal. Instead of proving two triangles congruent directly, the problem asks to prove two segments congruent, so the method will need an additional final step.

The target is AE‾≅DE‾\overline{AE} \cong \overline{DE}. The diagram highlights AE‾\overline{AE} in blue and DE‾\overline{DE} in green so the viewer can see exactly which parts must eventually be matched.

The proof begins by entering the givens. First, ∠A≅∠D\angle A \cong \angle D is written in the table and marked on the diagram. Second, ∠2≅∠3\angle 2 \cong \angle 3 is entered and marked at vertices B and C.

With the givens used up, the narrator shifts to extracting new information from the figure. The congruent angles ∠2\angle 2 and ∠3\angle 3 are recognized as base angles of △BCE\triangle BCE.

That observation triggers the Base Angle Theorem in the direction used here: if a triangle has two congruent base angles, then the triangle is isosceles. Therefore the third row states △BCE\triangle BCE is isosceles.

From the isosceles-triangle definition, the proof derives the congruence of the sides opposite those angles, namely BE‾≅CE‾\overline{BE} \cong \overline{CE}. Matching tick marks are added to the diagram.

The narrator pauses to explain proof strategy: even if it is not yet obvious how BE‾≅CE‾\overline{BE} \cong \overline{CE} will help, it is worth recording justified intermediate facts because they often become the missing pieces later.

Attention then moves to the two lower triangles, △BEA\triangle BEA and △CED\triangle CED. At their shared vertex E, the proof identifies a pair of vertical angles, ∠5\angle 5 and ∠6\angle 6, and uses the Vertical Angles theorem to conclude ∠5≅∠6\angle 5 \cong \angle 6.

Now each lower triangle contains the ASA pattern: one angle congruence from the givens, the included side congruence derived from the isosceles triangle, and another angle congruence from vertical angles. Thus △BEA≅△CED\triangle BEA \cong \triangle CED by ASA.

The final step applies CPCTC. Since the two triangles are congruent, their corresponding sides are congruent, giving the desired conclusion AE‾≅DE‾\overline{AE} \cong \overline{DE}.

The clip opens on a finished geometry board: a colored diagram on the left and a two-column proof table on the right. The visible proof already contains the earlier statements ∠A ≅ ∠D (Given), ∠2 ≅ 3 (Given), ΔBCE is isosceles (Base Angle Theorem), BE ≅ CE (Def. of Isosceles Triangle), and ∠5 ≅ 6 (Vertical Angles).

At this point the narrator identifies the next logical move: the two yellow triangles, ΔBAE and ΔCDE, are congruent by AAS. The mathematical basis is that two corresponding angle pairs and one corresponding non-included side pair have already been established in the table.

The explanation then shifts from the whole-triangle congruence to the specific goal of the problem. Because AE and DE are parts of the now-congruent triangles, the proof can move toward the original Prove statement rather than stopping at triangle congruence alone.

The final row is completed with AE ≅ DE, justified by CPCTC. In other words, once ΔBAE ≅ ΔCDE has been proved, matching parts of those triangles inherit congruence, so the target segments are congruent.

The narrator restates the dependency in plain language: the yellow triangles were shown congruent in the second-to-last step, and that is what licenses the conclusion about their corresponding parts. This makes the proof order explicit: first triangle congruence, then segment congruence.

The lesson content ends here. The board remains on the completed proof briefly while the speaker gives closing remarks.

The video then cuts to a promotional outro with a presenter and channel links. No further geometry reasoning is added in this remaining interval.

Knowledge cards

01

Two-column proof structure

The video presents a geometry proof as a table with two columns, STATEMENTS and REASONS, supported by a diagram, a given condition, and a target conclusion. This example uses that structure to move from one given fact to a triangle congruence result.

02

Problem setup: prove triangle congruence

Given: GJ‾\overline{GJ} and HK‾\overline{HK} bisect each other at FF. Prove: ΔGFK≅ΔHFJ\Delta GFK \cong \Delta HFJ. The purple and pink shaded triangles identify the two objects being compared.

GJ‾ and HK‾ bisect each other at F.ΔGFK≅ΔHFJ\overline{GJ}\text{ and }\overline{HK}\text{ bisect each other at }F.\quad \Delta GFK \cong \Delta HFJ
03

Definition of bisect

When two segments bisect each other at a point, that point splits each segment into two congruent halves. In this problem, that gives GF‾≅JF‾\overline{GF} \cong \overline{JF} and KF‾≅HF‾\overline{KF} \cong \overline{HF}.

GF‾≅JF‾ & KF‾≅HF‾\overline{GF} \cong \overline{JF}\ \&\ \overline{KF} \cong \overline{HF}
04

Vertical angles are congruent

The opposite angles formed at the intersection point FF are vertical angles. The proof uses the fact that vertical angles are congruent to establish ∠GFK≅∠HFJ\angle GFK \cong \angle HFJ.

∠GFK≅∠HFJ\angle GFK \cong \angle HFJ
05

SAS triangle congruence

After obtaining two congruent side pairs and one congruent included angle pair, the proof applies the Side-Angle-Side postulate to conclude ΔGFK≅ΔHFJ\Delta GFK \cong \Delta HFJ.

ΔGFK≅ΔHFJ(SAS)\Delta GFK \cong \Delta HFJ\quad(\text{SAS})
06

Completed proof sequence

The full argument proceeds in four rows: 1) state the given bisection; 2) derive congruent half-segments by definition of bisect; 3) identify congruent vertical angles; 4) conclude triangle congruence by SAS.

GJ‾,HK‾ bisect at FGivenGF‾≅JF‾, KF‾≅HF‾Def. of Bisect∠GFK≅∠HFJVertical AnglesΔGFK≅ΔHFJSAS\begin{aligned} &\overline{GJ},\overline{HK}\text{ bisect at }F &&\text{Given}\\ &\overline{GF}\cong\overline{JF},\ \overline{KF}\cong\overline{HF} &&\text{Def. of Bisect}\\ &\angle GFK\cong\angle HFJ &&\text{Vertical Angles}\\ &\Delta GFK\cong\Delta HFJ &&\text{SAS} \end{aligned}
07

Two-column proof setup

This example is presented as a standard geometry two-column proof. The screen shows a diagram, the givens, the statement to prove, and a table with columns for statements and reasons. The narrator emphasizes that the structure is the same as earlier proofs: start from the diagram and givens, then build toward the congruence conclusion.

08

Goal: prove ΔRSV ≅ ΔRUV

The problem asks to prove that triangle RSV is congruent to triangle RUV. In the diagram, these are the two smaller triangles inside a larger right triangle, distinguished visually by pink and light green shading.

△RSV≅△RUV\triangle RSV \cong \triangle RUV
09

Midpoint gives congruent subsegments

The first given says that R is the midpoint of segment SU. By the definition of midpoint, R divides SU into two congruent parts, so the proof obtains SR congruent to UR. This becomes the first derived side congruence in the table.

R is the midpoint of SU‾⇒SR‾≅UR‾R \text{ is the midpoint of } \overline{SU} \Rightarrow \overline{SR} \cong \overline{UR}
10

Second given: SV ≅ UV

The second given is used directly as a statement in the proof. It supplies another pair of congruent corresponding sides for the two triangles, and the diagram marks these sides with double ticks.

SV‾≅UV‾\overline{SV} \cong \overline{UV}
11

Shared side and reflexive property

Both triangles contain the same side VR. Since a segment is congruent to itself, the proof adds VR congruent to VR and justifies it by the Reflexive Property. This step is important because it provides the third pair of congruent sides needed for SSS.

VR‾≅VR‾\overline{VR} \cong \overline{VR}
12

Finish the proof with SSS

Once three pairs of corresponding sides are congruent, the triangles are congruent by the Side-Side-Side postulate. The completed proof uses SR ≅ UR, SV ≅ UV, and VR ≅ VR to conclude that triangle RSV is congruent to triangle RUV.

SR‾≅UR‾, SV‾≅UV‾, VR‾≅VR‾⇒△RSV≅△RUV\overline{SR} \cong \overline{UR},\ \overline{SV} \cong \overline{UV},\ \overline{VR} \cong \overline{VR} \Rightarrow \triangle RSV \cong \triangle RUV
13

Proof goal: segment congruence needs an extra step

This example proves AE‾≅DE‾\overline{AE} \cong \overline{DE}, not just a pair of congruent triangles. The video explains that the route is to prove the lower triangles congruent first and then extract the desired side congruence as a corresponding part.

14

Given facts entered directly into the table

The first two proof rows are the assumptions supplied by the problem: ∠A≅∠D\angle A \cong \angle D and ∠2≅∠3\angle 2 \cong \angle 3. They are written as Given and also marked on the diagram with colored angle arcs.

∠A≅∠D,∠2≅∠3\angle A \cong \angle D,\quad \angle 2 \cong \angle 3
15

Base Angle Theorem makes △BCE\triangle BCE isosceles

Because ∠2\angle 2 and ∠3\angle 3 are congruent base angles of △BCE\triangle BCE, the proof concludes that △BCE\triangle BCE is isosceles. This is the first derived fact beyond the givens.

∠2≅∠3⇒△BCE is isosceles\angle 2 \cong \angle 3 \Rightarrow \triangle BCE \text{ is isosceles}
16

Isosceles triangle gives BE‾≅CE‾\overline{BE} \cong \overline{CE}

Once △BCE\triangle BCE is known to be isosceles, the sides opposite the congruent angles are congruent. The proof records BE‾≅CE‾\overline{BE} \cong \overline{CE} and later reuses this as the included side for the lower triangles.

BE‾≅CE‾\overline{BE} \cong \overline{CE}
17

Vertical angles supply the second angle pair

In the two smaller triangles, angles 5 and 6 at point E are vertical angles. The proof uses the theorem that vertical angles are congruent to add ∠5≅∠6\angle 5 \cong \angle 6.

∠5≅∠6\angle 5 \cong \angle 6
18

ASA proves the lower triangles congruent

The collected facts form an angle-side-angle pattern in △BEA\triangle BEA and △CED\triangle CED: ∠A≅∠D\angle A \cong \angle D, BE‾≅CE‾\overline{BE} \cong \overline{CE}, and ∠5≅∠6\angle 5 \cong \angle 6. Therefore the triangles are congruent by ASA.

△BEA≅△CED\triangle BEA \cong \triangle CED
19

CPCTC finishes the segment proof

After triangle congruence is established, the desired conclusion follows from corresponding parts of congruent triangles being congruent. This yields the final statement AE‾≅DE‾\overline{AE} \cong \overline{DE}.

△BEA≅△CED⇒AE‾≅DE‾\triangle BEA \cong \triangle CED \Rightarrow \overline{AE} \cong \overline{DE}
20

Strategy: label useful intermediate facts early

The narrator explicitly advises writing down justified consequences as soon as they are noticed, even if their role is not yet clear. In this proof, BE‾≅CE‾\overline{BE} \cong \overline{CE} seems indirect at first but becomes essential for ASA.

21

AAS step proving ΔBAE ≅ ΔCDE

The proof table uses AAS to conclude that the two yellow triangles are congruent. The visible ingredients are the angle congruences ∠A ≅ ∠D and 5 ≅ ∠6 together with the side congruence BE ≅ CE. This is the second-to-last statement in the worked proof.

ΔBAE≅ΔCDE\Delta BAE \cong \Delta CDE
22

What CPCTC does in the final step

CPCTC stands for Corresponding Parts of Congruent Triangles are Congruent. After the triangles have already been proved congruent, matching parts such as AE and DE can be concluded congruent. The clip uses this principle to finish the original Prove statement.

AE‾≅DE‾\overline{AE} \cong \overline{DE}
23

How the isosceles triangle supplies the side for AAS

The upper green triangle BCE is identified as isosceles, and the definition of an isosceles triangle gives BE ≅ CE. That side congruence is then one of the three pieces needed for the AAS argument about ΔBAE and ΔCDE.

BE‾≅CE‾\overline{BE} \cong \overline{CE}
24

Vertical angles at point E

Angles 5 and 6 are opposite angles formed at the intersection point E. The proof cites Vertical Angles to justify ∠5 ≅ 6, providing one of the two angle pairs used in the AAS step.

∠5≅∠6\angle 5 \cong \angle 6

Detailed learning notes

Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.

Symbols · 43

GJ‾\overline{GJ},\ HK‾\overline{HK}

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The given statement and the first table row use GJ‾\overline{GJ} and HK‾\overline{HK}.

  2. Diagram
    Observation

    The diagram shows two intersecting segments with endpoints G, J and H, K meeting at F.

Symbol

GJ‾\overline{GJ},\ HK‾\overline{HK}

Meaning

Line segments joining G to J and H to K; they intersect at F.

Domain

Geometric segments in the proof diagram.

F

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The given says the segments bisect each other at F.

  2. Diagram
    Observation

    F is labeled at the intersection point of the two diagonals.

Symbol

F

Meaning

The common intersection point of GJ‾\overline{GJ} and HK‾\overline{HK}.

Domain

Point in the plane of the diagram.

Δ\Delta GFK,\ Δ\Delta HFJ

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The Prove line reads Δ\Delta GFK ≅Δ\cong \Delta HFJ.

  2. Diagram
    Observation

    The left triangle is shaded purple and the right triangle is shaded pink.

Symbol

Δ\Delta GFK,\ Δ\Delta HFJ

Meaning

The two triangles whose congruence is to be proved.

Domain

Triangles formed by the intersecting segments and outer sides.

GF‾≅JF‾\overline{GF} \cong \overline{JF},KF‾≅HF‾\quad \overline{KF} \cong \overline{HF}

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Row 2 states GF‾≅JF‾\overline{GF} \cong \overline{JF} \& KF‾≅HF‾\overline{KF} \cong \overline{HF}.

  2. Diagram
    Observation

    Tick marks are added to the paired halves of the intersecting segments.

Symbol

GF‾≅JF‾\overline{GF} \cong \overline{JF},KF‾≅HF‾\quad \overline{KF} \cong \overline{HF}

Meaning

Congruent segment pairs obtained from mutual bisection at F.

Domain

Subsegments of GJ‾\overline{GJ} and HK‾\overline{HK}.

∠\angle GFK,\ ∠\angle HFJ

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Row 3 states ∠\angle GFK ≅∠\cong \angle HFJ.

  2. Diagram
    Observation

    Green angle arcs appear at F on opposite sides of the intersection.

Symbol

∠\angle GFK,\ ∠\angle HFJ

Meaning

The pair of vertical angles at F used as the included angles in the two triangles.

Domain

Angles formed by intersecting segments at F.

△\triangle RSV

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The statement to prove is written as ΔRSV ≅ ΔRUV.

  2. Diagram
    Observation

    Triangle RSV is the pink triangle formed by vertices R, S, and V.

Symbol

△\triangle RSV

Meaning

Triangle with vertices R, S, and V; in the diagram it is the pink triangle.

Domain

Geometric figure in the proof diagram

△\triangle RUV

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The statement to prove is written as ΔRSV ≅ ΔRUV.

  2. Diagram
    Observation

    Triangle RUV is the light green triangle formed by vertices R, U, and V.

Symbol

△\triangle RUV

Meaning

Triangle with vertices R, U, and V; in the diagram it is the light green triangle.

Domain

Geometric figure in the proof diagram

SU‾\overline{SU}

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Given text states: R is the midpoint of SU‾\overline{SU}.

  2. Diagram
    Observation

    Segment SU is the hypotenuse-like side of the larger right triangle, with R on it.

Symbol

SU‾\overline{SU}

Meaning

Line segment with endpoints S and U, containing point R.

Domain

Segment in the diagram

R

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Given text states: R is the midpoint of SU‾\overline{SU}.

  2. Diagram
    Observation

    Point R lies on segment SU between S and U.

Symbol

R

Meaning

Point on segment SU identified as its midpoint.

Domain

Point in the diagram

SR‾\overline{SR}

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The proof table writes SR‾≅UR‾\overline{SR} \cong \overline{UR}.

  2. Diagram
    Observation

    Tick marks appear on SR and UR after the midpoint step.

Symbol

SR‾\overline{SR}

Meaning

Subsegment of SU‾\overline{SU} from S to the midpoint R.

Domain

Segment in the diagram

UR‾\overline{UR}

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The proof table writes SR‾≅UR‾\overline{SR} \cong \overline{UR}.

  2. Diagram
    Observation

    Tick marks appear on SR and UR after the midpoint step.

Symbol

UR‾\overline{UR}

Meaning

Subsegment of SU‾\overline{SU} from the midpoint R to U.

Domain

Segment in the diagram

SV‾\overline{SV}

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Given text states SV‾≅UV‾\overline{SV} \cong \overline{UV}.

  2. Diagram
    Observation

    Double tick marks are shown on SV and UV.

Symbol

SV‾\overline{SV}

Meaning

Side shared by the large triangle and triangle RSV.

Domain

Segment in the diagram

Knowledge points · 23

Two-column proof format

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says proofs have a diagram, given information, something to prove, and a statement-and-reason table.

  2. Diagram
    Observation

    The screen shows a geometry problem layout with Given, Prove, and a two-column table labeled STATEMENTS and REASONS.

Definition
Explanation

The video introduces a geometry proof as a logical argument built from a diagram, a given statement, a target conclusion, and a table pairing each statement with its reason.

Conditions
  1. Used for the worked example in this clip.

Definition of bisect

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator explains that when segments bisect each other, they cut each other into two equal halves.

  2. Formula
    Observation

    The second row reason is written as Def. of Bisect.

Definition
Explanation

If two segments bisect each other at a point, that point divides each segment into two congruent parts. In this problem, that gives GF‾≅JF‾\overline{GF} \cong \overline{JF} and KF‾≅HF‾\overline{KF} \cong \overline{HF}.

Conditions
  1. Applies when the given states mutual bisection at F.

Prerequisites
  1. GJ‾\overline{GJ},\ HK‾\overline{HK}
  2. F

Vertical angles fact used in the proof

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says all vertical angles are congruent.

  2. Formula
    Observation

    Row 3 states ∠\angle GFK ≅∠\cong \angle HFJ with reason Vertical Angles.

  3. Diagram
    Observation

    Opposite angles at F are marked with matching green arcs.

Method
Explanation

The proof uses the standard fact that opposite angles formed by intersecting lines or segments are congruent, here applied to ∠\angle GFK and ∠\angle HFJ.

Conditions
  1. Requires two intersecting segments or lines forming opposite angles at the intersection.

Prerequisites
  1. ∠\angle GFK,\ ∠\angle HFJ

Side-Angle-Side congruence method

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says there are two congruent sides and one congruent angle in between them, so the side-angle-side postulate can be used.

  2. Formula
    Observation

    The final row reason is SAS.

  3. Diagram
    Observation

    The diagram already shows two marked side pairs and one marked angle pair before the final conclusion.

Method
Explanation

The clip applies SAS by combining two pairs of congruent sides with the congruent included angle to conclude triangle congruence.

Conditions
  1. The congruent angle must lie between the two congruent sides in each triangle.

Prerequisites
  1. Definition of bisect
  2. Vertical angles fact used in the proof
  3. Δ\Delta GFK,\ Δ\Delta HFJ

Two-column proof setup for this example

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The screen shows a diagram, Given/Prove text, and a blank table headed STATEMENTS and REASONS.

  2. Audio
    Observation

    The narrator says the proof has the same structure as earlier ones: a diagram, two pieces of given information, and a goal to prove two triangles congruent.

Method
Explanation

The video presents a geometry proof in a standard two-column format. The left side lists statements, the right side lists reasons, and the problem supplies a diagram plus given facts and a target conclusion.

Formula
Conditions
  1. A diagram is provided.

  2. Given information is listed separately from the statement to prove.

  3. The proof is organized as statements with matching reasons.

Definition of midpoint used in the proof

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says a midpoint cuts a segment in half.

  2. Formula
    Observation

    The table records SR‾≅UR‾\overline{SR} \cong \overline{UR} with reason Def. of Midpoint.

  3. Diagram
    Observation

    Tick marks are added to SR and UR after the midpoint statement.

Definition
Explanation

If a point is the midpoint of a segment, then it divides that segment into two congruent subsegments. In this problem, because R is the midpoint of SU‾\overline{SU}, the proof concludes SR‾≅UR‾\overline{SR} \cong \overline{UR}.

Formula
R is the midpoint of SU‾⇒SR‾≅UR‾R \text{ is the midpoint of } \overline{SU} \Rightarrow \overline{SR} \cong \overline{UR}
Conditions
  1. The point must lie on the segment.

  2. The conclusion is congruence of the two subsegments determined by the midpoint.

Prerequisites
  1. SU‾\overline{SU}
  2. R
  3. SR‾\overline{SR}
  4. UR‾\overline{UR}
  5. ≅\cong

Reflexive property applied to a shared side

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator explains that both triangles share side VR, so VR has the same length in each triangle.

  2. Formula
    Observation

    The table records VR‾≅VR‾\overline{VR} \cong \overline{VR} with reason Reflexive Property.

  3. Diagram
    Observation

    Segment VR is visually emphasized as the common side between the pink and light green triangles.

Method
Explanation

When two triangles share the same side, that side is congruent to itself. Here the shared side VR‾\overline{VR} supplies the third pair of congruent sides needed for triangle congruence.

Formula
VR‾≅VR‾\overline{VR} \cong \overline{VR}
Conditions
  1. The same segment must belong to both triangles being compared.

  2. This step is used after the explicitly given congruences have been recorded.

Prerequisites
  1. VR‾\overline{VR}
  2. ≅\cong

SSS triangle congruence postulate

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says the triangles are congruent by using the side-side-side postulate and that each triangle shares three pairs of congruent sides.

  2. Formula
    Observation

    The final row states △\triangle RSV ≅△\cong \triangle RUV with reason SSS.

  3. Diagram
    Observation

    Three pairs of corresponding sides are marked before the final conclusion.

Formula
Explanation

If three pairs of corresponding sides of two triangles are congruent, then the triangles are congruent. The proof first establishes SR‾≅UR‾\overline{SR} \cong \overline{UR}, SV‾≅UV‾\overline{SV} \cong \overline{UV}, and VR‾≅VR‾\overline{VR} \cong \overline{VR}, then applies SSS to conclude △\triangle RSV ≅△\cong \triangle RUV.

Formula
SR‾≅UR‾, SV‾≅UV‾, VR‾≅VR‾⇒△RSV≅△RUV\overline{SR} \cong \overline{UR},\ \overline{SV} \cong \overline{UV},\ \overline{VR} \cong \overline{VR} \Rightarrow \triangle RSV \cong \triangle RUV
Conditions
  1. Three corresponding side pairs must be congruent.

  2. The correspondence of vertices must match the order in the triangle names.

Prerequisites
  1. Definition of midpoint used in the proof
  2. Reflexive property applied to a shared side
  3. △\triangle RSV
  4. △\triangle RUV
  5. SSS

Two-column proof setup for a segment-congruence goal

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says this proof has the same structure: diagram, givens, and prove statement.

  2. Diagram
    Observation

    A geometry figure appears on the left and a blank two-column table labeled STATEMENTS and REASONS appears on the right.

  3. Formula
    Observation

    The problem text lists Given: ∠A≅∠D\angle A \cong \angle D, ∠2≅∠3\angle 2 \cong \angle 3; Prove: AE‾≅DE‾\overline{AE} \cong \overline{DE}.

Method
Explanation

The video introduces a new practice proof with the standard layout: a diagram, a list of givens, a prove statement, and a two-column table. The method emphasized here is that when the goal is to prove two segments congruent rather than two triangles congruent, the proof needs an extra stage: first establish triangle congruence, then extract the desired segment congruence.

Formula
Conditions
  1. The proof uses a diagram plus givens.

  2. The final target is a pair of congruent segments, not directly a pair of congruent triangles.

First given: ∠A≅∠D\angle A \cong \angle D

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    First table row: ∠A≅∠D\angle A \cong \angle D with reason Given.

  2. Audio
    Observation

    The narrator says, use our first given, that angle A and angle D are congruent.

  3. Animation
    Observation

    Orange arcs appear at A and D.

Definition
Explanation

The first supplied fact is entered directly into the proof table as a given. It marks one angle in each of the two lower triangles and becomes part of the eventual ASA pattern.

Formula
∠A≅∠D\angle A \cong \angle D
Conditions
  1. This is an assumption stated in the problem, not derived within the clip.

Second given: ∠2≅∠3\angle 2 \cong \angle 3

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Second table row: ∠2≅∠3\angle 2 \cong \angle 3 with reason Given.

  2. Audio
    Observation

    The narrator says the second given tells us angle 2 and angle 3 are congruent.

  3. Animation
    Observation

    Purple arcs appear at B and C.

Definition
Explanation

The second supplied fact is also entered directly as a given. These are the two base angles of the upper triangle △BCE\triangle BCE, and the proof immediately uses them to infer that the upper triangle is isosceles.

Formula
∠2≅∠3\angle 2 \cong \angle 3
Conditions
  1. This is an assumption stated in the problem, not derived within the clip.

Base Angle Theorem applied to △BCE\triangle BCE

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says triangle BCE has two congruent base angles, so it is isosceles because of the base angle theorem.

  2. Formula
    Observation

    Third table row: △BCE\triangle BCE is isosceles with reason Base Angle Theorem.

  3. Animation
    Observation

    Triangle BCE is shaded to identify the triangle under discussion.

Method
Explanation

The video uses the converse direction of the base-angle idea: if a triangle has two congruent base angles, then the triangle is isosceles. Here ∠2≅∠3\angle 2 \cong \angle 3 are identified as the base angles of △BCE\triangle BCE, so the triangle is labeled isosceles in the proof table.

Formula
∠2≅∠3⇒△BCE is isosceles\angle 2 \cong \angle 3 \Rightarrow \triangle BCE \text{ is isosceles}
Conditions
  1. The two congruent angles must be the base angles of the same triangle.

  2. In this clip, the relevant triangle is △BCE\triangle BCE.

Prerequisites
  1. Second given: ∠2≅∠3\angle 2 \cong \angle 3
Claims and conditions · 11

Vertical angles are congruent

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator explicitly says all vertical angles are congruent.

  2. Formula
    Observation

    The table records ∠\angle GFK ≅∠\cong \angle HFJ with reason Vertical Angles.

Theorem
Statement

If two angles are vertical angles, then they are congruent. In this example, ∠\angle GFK ≅∠\cong \angle HFJ.

Hypotheses
  1. The angles are formed by intersecting segments at F.

  2. They are opposite (vertical) angles.

Quantifiers

For the specific pair of vertical angles shown in the diagram.

SAS triangle congruence criterion

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says two congruent sides and one congruent angle in between them justify using the side-angle-side postulate.

  2. Formula
    Observation

    The final row concludes Δ\Delta GFK ≅Δ\cong \Delta HFJ with reason SAS.

Theorem
Statement

If two sides and the included angle of one triangle are congruent to two sides and the included angle of another triangle, then the triangles are congruent. Here this yields Δ\Delta GFK ≅Δ\cong \Delta HFJ.

Hypotheses
  1. GF‾≅JF‾\overline{GF} \cong \overline{JF}

  2. KF‾≅HF‾\overline{KF} \cong \overline{HF}

  3. ∠\angle GFK ≅∠\cong \angle HFJ

  4. The congruent angle is the included angle between the two congruent sides.

Quantifiers

Applied to the two triangles named in the proof.

Midpoint implication used in the proof

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator states that a midpoint cuts a segment in half.

  2. Formula
    Observation

    The proof table writes SR‾≅UR‾\overline{SR} \cong \overline{UR} with reason Def. of Midpoint.

Proposition
Statement

If R is the midpoint of SU‾\overline{SU}, then SR‾≅UR‾\overline{SR} \cong \overline{UR}.

Hypotheses
  1. R is the midpoint of SU‾\overline{SU}.

Quantifiers

For the specific points R, S, and U in the diagram.

Reflexive property claim for the common side

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says whatever the length of VR is in one triangle, it has to be the same length in the other triangle.

  2. Formula
    Observation

    The proof table writes VR‾≅VR‾\overline{VR} \cong \overline{VR} with reason Reflexive Property.

Proposition
Statement

Because VR‾\overline{VR} is shared by △\triangle RSV and △\triangle RUV, VR‾≅VR‾\overline{VR} \cong \overline{VR}.

Hypotheses
  1. The two triangles share side VR‾\overline{VR}.

Quantifiers

For the segment VR‾\overline{VR} appearing in both triangles.

Final congruence conclusion by SSS

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says the triangles are congruent by using the side-side-side postulate.

  2. Formula
    Observation

    The final row states △\triangle RSV ≅△\cong \triangle RUV with reason SSS.

Theorem
Statement

If SR‾≅UR‾\overline{SR} \cong \overline{UR}, SV‾≅UV‾\overline{SV} \cong \overline{UV}, and VR‾≅VR‾\overline{VR} \cong \overline{VR}, then △\triangle RSV ≅△\cong \triangle RUV by SSS.

Hypotheses
  1. SR‾≅UR‾\overline{SR} \cong \overline{UR}

  2. SV‾≅UV‾\overline{SV} \cong \overline{UV}

  3. VR‾≅VR‾\overline{VR} \cong \overline{VR}

Quantifiers

For triangles RSV and RUV with the stated correspondence.

If a triangle has two congruent base angles, then it is isosceles

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator states that because triangle BCE has two congruent base angles, it is isosceles.

  2. Formula
    Observation

    Table row: △BCE\triangle BCE is isosceles, reason Base Angle Theorem.

Theorem
Statement

In △BCE\triangle BCE, from ∠2≅∠3\angle 2 \cong \angle 3 the video concludes △BCE\triangle BCE is isosceles.

Hypotheses
  1. ∠2\angle 2 and ∠3\angle 3 are angles of the same triangle △BCE\triangle BCE.

  2. ∠2≅∠3\angle 2 \cong \angle 3 is given.

Quantifiers

For the specific triangle △BCE\triangle BCE in the diagram.

Vertical angles are congruent

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says all vertical angles are congruent.

  2. Formula
    Observation

    Table row: ∠5≅∠6\angle 5 \cong \angle 6, reason Vertical Angles.

Theorem
Statement

Because ∠5\angle 5 and ∠6\angle 6 are vertical angles, ∠5≅∠6\angle 5 \cong \angle 6.

Hypotheses
  1. ∠5\angle 5 and ∠6\angle 6 are formed as vertical angles at the intersection point E.

Quantifiers

Universal statement invoked for this particular pair of vertical angles.

ASA proves the lower triangles congruent

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says the two yellow triangles have two consecutive congruent angles followed by a congruent side.

  2. Formula
    Observation

    Table row: △BEA≅△CED\triangle BEA \cong \triangle CED, reason ASA.

Theorem
Statement

From ∠A≅∠D\angle A \cong \angle D, BE‾≅CE‾\overline{BE} \cong \overline{CE}, and ∠5≅∠6\angle 5 \cong \angle 6, the video concludes △BEA≅△CED\triangle BEA \cong \triangle CED by ASA.

Hypotheses
  1. The three named correspondences hold in the two triangles.

  2. The side congruence lies between the two angle congruences in the ASA order.

Quantifiers

Applied to the specific pair △BEA\triangle BEA and △CED\triangle CED.

Corresponding parts of congruent triangles are congruent

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator explicitly names CPCTC as corresponding parts of congruent triangles are congruent.

  2. Formula
    Observation

    Final table row: AE‾≅DE‾\overline{AE} \cong \overline{DE}, reason CPCTC.

Theorem
Statement

Since △BEA≅△CED\triangle BEA \cong \triangle CED, their corresponding sides satisfy AE‾≅DE‾\overline{AE} \cong \overline{DE}.

Hypotheses
  1. △BEA≅△CED\triangle BEA \cong \triangle CED has already been proved.

  2. AE‾\overline{AE} and DE‾\overline{DE} are corresponding sides under that congruence.

Quantifiers

Applied to the specific corresponding pair in the proved triangle congruence.

Triangle congruence conclusion by AAS

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The proof table states ΔBAE ≅ ΔCDE with reason AAS.

  2. Audio
    Observation

    The narrator explicitly says the two triangles are congruent by the angle-angle-side postulate.

Proposition
Statement

From the displayed proof, ΔBAE ≅ ΔCDE follows by the AAS postulate using ∠A ≅ ∠D, ∠5 ≅ 6, and BE CE.

Hypotheses
  1. A ≅ ∠D is given.

  2. ∠5 ≅ ∠6 because they are vertical angles.

  3. BE ≅ CE because ΔBCE is isosceles.

Quantifiers

For the specific triangles ΔBAE and ΔCDE in the shown diagram.

Final segment congruence by CPCTC

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The last row of the proof table states AE ≅ DE with reason CPCTC.

  2. Audio
    Observation

    The narrator says AE is congruent to DE because corresponding parts of congruent triangles are congruent.

Proposition
Statement

After proving ΔBAE ≅ ΔCDE, the corresponding segments AE and DE are congruent.

Hypotheses
  1. ΔBAE ≅ ΔCDE has already been proved.

  2. AE and DE are corresponding parts under that triangle congruence.

Quantifiers

For the specific corresponding segments AE and DE in the proved triangle congruence.

Derivations and proofs · 5

Proof that Δ\Delta GFK ≅Δ\cong \Delta HFJ

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The table is filled row by row: Given; Def. of Bisect; Vertical Angles; SAS.

  2. Audio
    Observation

    The narrator explains each step in the same order as the rows appear.

  3. Diagram
    Observation

    Tick marks and angle arcs are added as corresponding statements are introduced.

Proof
Steps
  1. Expression
    GJ‾ and HK‾ bisect each other at F.\overline{GJ}\text{ and }\overline{HK}\text{ bisect each other at }F.
    Explanation

    Start from the single given statement in the problem.

    Justification

    Given

    Shown in the video
  2. Expression
    GF‾≅JF‾ & KF‾≅HF‾\overline{GF} \cong \overline{JF}\ \&\ \overline{KF} \cong \overline{HF}
    Explanation

    Mutual bisection at F means each segment is split into two congruent halves.

    Justification

    Definition of bisect

    Shown in the video
  3. Expression
    ∠GFK≅∠HFJ\angle GFK \cong \angle HFJ
    Explanation

    The opposite angles at the intersection point F are vertical angles, so they are congruent.

    Justification

    Vertical angles theorem

    Shown in the video
  4. Expression
    ΔGFK≅ΔHFJ\Delta GFK \cong \Delta HFJ
    Explanation

    Each triangle now has two congruent sides and the included angle congruent, so the triangles are congruent by SAS.

    Justification

    SAS postulate

    Shown in the video
Conclusion

The proof establishes Δ\Delta GFK ≅Δ\cong \Delta HFJ using the given bisection, the definition of bisect, vertical angles, and SAS.

Two-column derivation of triangle congruence

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The proof table is filled row by row with statements and reasons.

  2. Audio
    Observation

    The narrator explains each step in order: use the givens, identify the shared side, then apply SSS.

  3. Diagram
    Observation

    Corresponding side marks are added as each congruence is established.

Proof
Steps
  1. Expression
    R is the midpoint of SU‾R \text{ is the midpoint of } \overline{SU}
    Explanation

    Record the first given fact in the statements column.

    Justification

    Given

    Shown in the video
  2. Expression
    SR‾≅UR‾\overline{SR} \cong \overline{UR}
    Explanation

    Convert the midpoint information into a congruence of the two subsegments of SU‾\overline{SU}.

    Justification

    Def. of Midpoint

    Shown in the video
  3. Expression
    SV‾≅UV‾\overline{SV} \cong \overline{UV}
    Explanation

    Record the second given fact directly as a pair of congruent sides.

    Justification

    Given

    Shown in the video
  4. Expression
    VR‾≅VR‾\overline{VR} \cong \overline{VR}
    Explanation

    Identify the side shared by both triangles and state that it is congruent to itself.

    Justification

    Reflexive Property

    Shown in the video
  5. Expression
    △RSV≅△RUV\triangle RSV \cong \triangle RUV
    Explanation

    Use the three established pairs of congruent corresponding sides to conclude the triangles are congruent.

    Justification

    SSS

    Shown in the video
Conclusion

The proof establishes △\triangle RSV ≅△\cong \triangle RUV by first obtaining three pairs of congruent corresponding sides and then applying the SSS postulate.

Full proof that AE‾≅DE‾\overline{AE} \cong \overline{DE}

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The completed two-column table lists seven rows from the givens through CPCTC.

  2. Audio
    Observation

    The narrator explains each row in sequence and names the reasons Given, Base Angle Theorem, Def. of Isosceles Triangle, Vertical Angles, ASA, and CPCTC.

  3. Animation
    Observation

    Angles and sides are progressively marked as each statement is added.

Proof
Steps
  1. Expression
    ∠A≅∠D\angle A \cong \angle D
    Explanation

    Enter the first given into the proof table.

    Justification

    Given.

    Shown in the video
  2. Expression
    ∠2≅∠3\angle 2 \cong \angle 3
    Explanation

    Enter the second given into the proof table.

    Justification

    Given.

    Shown in the video
  3. Expression
    △BCE is isosceles\triangle BCE \text{ is isosceles}
    Explanation

    Use the congruent base angles of the upper triangle to classify it as isosceles.

    Justification

    Base Angle Theorem.

    Shown in the video
  4. Expression
    BE‾≅CE‾\overline{BE} \cong \overline{CE}
    Explanation

    From the isosceles triangle, conclude that the sides opposite the congruent angles are congruent.

    Justification

    Def. of Isosceles Triangle.

    Shown in the video
  5. Expression
    ∠5≅∠6\angle 5 \cong \angle 6
    Explanation

    Identify the opposite angles at E in the two lower triangles as vertical angles.

    Justification

    Vertical Angles.

    Shown in the video
  6. Expression
    △BEA≅△CED\triangle BEA \cong \triangle CED
    Explanation

    Combine the two angle congruences and the included side congruence in each lower triangle.

    Justification

    ASA.

    Shown in the video
  7. Expression
    AE‾≅DE‾\overline{AE} \cong \overline{DE}
    Explanation

    Extract the desired segment congruence as a pair of corresponding parts of the congruent triangles.

    Justification

    CPCTC.

    Shown in the video
Conclusion

The proof establishes the required result AE‾≅DE‾\overline{AE} \cong \overline{DE} by first proving △BEA≅△CED\triangle BEA \cong \triangle CED and then applying CPCTC.

Strategic note about gathering intermediate facts

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says you may not know whether BE congruent CE will help, but you should label as much as you can because more information makes proofs easier.

Intuitive argument
Steps
  1. Expression
    Explanation

    After deriving BE‾≅CE‾\overline{BE} \cong \overline{CE}, the narrator acknowledges that its usefulness may not yet be obvious.

    Justification

    Pedagogical commentary during proof construction.

    Shown in the video
  2. Expression
    Explanation

    The advice is to keep labeling available consequences on the diagram and in the table, even before seeing exactly how each fact will be used.

    Justification

    Heuristic for proof planning.

    Shown in the video
Conclusion

The clip presents proof building as partly exploratory: record justified intermediate facts, then look for how they combine into a congruence criterion.

Completion of the two-column proof from triangle congruence to AE ≅ DE

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The proof table visibly contains the ordered statements ∠A ≅ ∠D, ∠2 ≅ 3, ΔBCE is isosceles, BE ≅ CE, ∠5 ≅ ∠6, ΔBAE ≅ ΔCDE, and AE ≅ DE with their reasons.

  2. Audio
    Observation

    The narrator explains the AAS step and then the CPCTC step that finishes the proof.

Uncertainties
  1. The clip begins with the proof already partly filled in, so the exact earlier setup before 0 seconds is not available in this excerpt.

Proof
Steps
  1. Expression
    ∠A≅∠D\angle A \cong \angle D
    Explanation

    The first listed statement is the given congruence of angle A and angle D.

    Justification

    Given

    Shown in the video
  2. Expression
    ∠2≅∠3\angle 2 \cong \angle 3
    Explanation

    The second listed statement is the given congruence of angle 2 and angle 3.

    Justification

    Given

    Shown in the video
  3. Expression
    ΔBCE is isosceles\Delta BCE \text{ is isosceles}
    Explanation

    The proof then identifies the upper green triangle as isosceles.

    Justification

    Base Angle Theorem

    Shown in the video
  4. Expression
    BE‾≅CE‾\overline{BE} \cong \overline{CE}
    Explanation

    From the isosceles-triangle identification, the two equal sides are concluded congruent.

    Justification

    Def. of Isosceles Triangle

    Shown in the video
  5. Expression
    ∠5≅∠6\angle 5 \cong \angle 6
    Explanation

    The angles at point E opposite one another are declared congruent.

    Justification

    Vertical Angles

    Shown in the video
  6. Expression
    ΔBAE≅ΔCDE\Delta BAE \cong \Delta CDE
    Explanation

    With two angle pairs and a corresponding non-included side pair established, the two yellow triangles are proved congruent.

    Justification

    AAS

    Shown in the video
  7. Expression
    AE‾≅DE‾\overline{AE} \cong \overline{DE}
    Explanation

    Once the triangles are congruent, the target corresponding segments are concluded congruent, completing the proof.

    Justification

    CPCTC

    Shown in the video
Conclusion

The displayed proof ends with AE ≅ DE, which matches the original Prove statement.

Worked examples · 4

Worked example: proving Δ\Delta GFK ≅Δ\cong \Delta HFJ

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The slide title is Practice With Proofs, with Given: GJ‾\overline{GJ} and HK‾\overline{HK} bisect each other at F. Prove: Δ\Delta GFK ≅Δ\cong \Delta HFJ.

  2. Audio
    Observation

    The narrator works through this as the first example of the lesson.

  3. Diagram
    Observation

    A quadrilateral-like figure with intersecting diagonals is shown, and the two side triangles are highlighted.

Uncertainties
  1. The outer figure resembles a square or rectangle visually, but the video does not state that it is a square or rectangle, so no such property should be assumed.

Problem

Given that GJ‾\overline{GJ} and HK‾\overline{HK} bisect each other at F, prove that Δ\Delta GFK ≅Δ\cong \Delta HFJ.

Given
  1. GJ‾\overline{GJ} and HK‾\overline{HK} bisect each other at F.

Goal

Prove Δ\Delta GFK ≅Δ\cong \Delta HFJ.

Steps
  1. Expression
    GJ‾ and HK‾ bisect each other at F.\overline{GJ}\text{ and }\overline{HK}\text{ bisect each other at }F.
    Explanation

    Record the given information as the first statement in the proof table.

    Justification

    Given

    Shown in the video
  2. Expression
    GF‾≅JF‾ & KF‾≅HF‾\overline{GF} \cong \overline{JF}\ \&\ \overline{KF} \cong \overline{HF}
    Explanation

    Translate the bisection condition into congruent half-segments.

    Justification

    Def. of Bisect

    Shown in the video
  3. Expression
    ∠GFK≅∠HFJ\angle GFK \cong \angle HFJ
    Explanation

    Identify the opposite angles at F as vertical angles and mark them congruent.

    Justification

    Vertical Angles

    Shown in the video
  4. Expression
    ΔGFK≅ΔHFJ\Delta GFK \cong \Delta HFJ
    Explanation

    Use the two side pairs and the included angle pair to conclude triangle congruence.

    Justification

    SAS

    Shown in the video
Answer

Δ\Delta GFK ≅Δ\cong \Delta HFJ

Verification

The completed table matches the visual markings on the diagram: two congruent side pairs and one congruent included angle pair.

Practice proof: show ΔRSV ≅ ΔRUV

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The new problem shows a large right triangle with point R on hypotenuse SU‾\overline{SU} and segment VR‾\overline{VR} drawn inside.

  2. Formula
    Observation

    Given: R is the midpoint of SU‾\overline{SU}; SV‾≅UV‾\overline{SV} \cong \overline{UV}. Prove: △\triangle RSV ≅△\cong \triangle RUV.

  3. Audio
    Observation

    The narrator introduces this as a more challenging proof and works through it completely.

Problem

Given that R is the midpoint of SU‾\overline{SU} and SV‾≅UV‾\overline{SV} \cong \overline{UV}, prove that △\triangle RSV ≅△\cong \triangle RUV.

Given
  1. R is the midpoint of SU‾\overline{SU}.

  2. SV‾≅UV‾\overline{SV} \cong \overline{UV}.

Goal

Prove △\triangle RSV ≅△\cong \triangle RUV.

Steps
  1. Expression
    R is the midpoint of SU‾R \text{ is the midpoint of } \overline{SU}
    Explanation

    Start with the first given statement.

    Justification

    Given

    Shown in the video
  2. Expression
    SR‾≅UR‾\overline{SR} \cong \overline{UR}
    Explanation

    From the midpoint condition, the two parts of SU‾\overline{SU} are congruent.

    Justification

    Def. of Midpoint

    Shown in the video
  3. Expression
    SV‾≅UV‾\overline{SV} \cong \overline{UV}
    Explanation

    Use the second given statement directly.

    Justification

    Given

    Shown in the video
  4. Expression
    VR‾≅VR‾\overline{VR} \cong \overline{VR}
    Explanation

    Notice that VR‾\overline{VR} is the common side of the two triangles.

    Justification

    Reflexive Property

    Shown in the video
  5. Expression
    △RSV≅△RUV\triangle RSV \cong \triangle RUV
    Explanation

    With three pairs of congruent corresponding sides established, conclude triangle congruence.

    Justification

    SSS

    Shown in the video
Answer

△\triangle RSV ≅△\cong \triangle RUV

Verification

The completed two-column table lists exactly the three side congruences required for SSS, and the diagram marks those corresponding sides before the final conclusion.

Practice proof: from two angle givens to a segment congruence

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Problem text: Given ∠A≅∠D\angle A \cong \angle D, ∠2≅∠3\angle 2 \cong \angle 3; Prove AE‾≅DE‾\overline{AE} \cong \overline{DE}.

  2. Audio
    Observation

    The narrator calls this one more challenging practice proof and works through it completely.

  3. Diagram
    Observation

    The figure shows intersecting segments forming △BCE\triangle BCE, △BEA\triangle BEA, and △CED\triangle CED.

Problem

Given ∠A≅∠D\angle A \cong \angle D and ∠2≅∠3\angle 2 \cong \angle 3, prove AE‾≅DE‾\overline{AE} \cong \overline{DE}.

Given
  1. ∠A≅∠D\angle A \cong \angle D

  2. ∠2≅∠3\angle 2 \cong \angle 3

  3. Diagram with triangles △BCE\triangle BCE, △BEA\triangle BEA, and △CED\triangle CED meeting at E

Goal

Prove the two lower-triangle sides AE‾\overline{AE} and DE‾\overline{DE} are congruent.

Steps
  1. Expression
    ∠A≅∠D\angle A \cong \angle D
    Explanation

    Write the first given in the statements column.

    Justification

    Given.

    Shown in the video
  2. Expression
    ∠2≅∠3\angle 2 \cong \angle 3
    Explanation

    Write the second given in the statements column.

    Justification

    Given.

    Shown in the video
  3. Expression
    △BCE is isosceles\triangle BCE \text{ is isosceles}
    Explanation

    Recognize ∠2\angle 2 and ∠3\angle 3 as congruent base angles of the upper triangle.

    Justification

    Base Angle Theorem.

    Shown in the video
  4. Expression
    BE‾≅CE‾\overline{BE} \cong \overline{CE}
    Explanation

    Convert the isosceles-triangle conclusion into congruence of the opposite sides.

    Justification

    Def. of Isosceles Triangle.

    Shown in the video
  5. Expression
    ∠5≅∠6\angle 5 \cong \angle 6
    Explanation

    Mark the opposite angles at E in the two lower triangles.

    Justification

    Vertical Angles.

    Shown in the video
  6. Expression
    △BEA≅△CED\triangle BEA \cong \triangle CED
    Explanation

    Use the two angle congruences and the included side congruence to prove the lower triangles congruent.

    Justification

    ASA.

    Shown in the video
  7. Expression
    AE‾≅DE‾\overline{AE} \cong \overline{DE}
    Explanation

    Take the desired segments as corresponding parts of the congruent triangles.

    Justification

    CPCTC.

    Shown in the video
Answer

AE‾≅DE‾\overline{AE} \cong \overline{DE}

Verification

The final table row matches the original Prove statement, and each prior row is justified by a named theorem, definition, or given.

Worked proof that AE ≅ DE

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The screen shows a geometry diagram with points A, B, C, D, E and a two-column proof table.

  2. Formula
    Observation

    The given/prove area reads Given: ∠A ≅ ∠D, 2 ≅ ∠3; Prove: AE ≅ DE.

  3. Audio
    Observation

    The narrator walks through the last two proof steps and states the final conclusion.

Uncertainties
  1. Only the ending portion of the worked proof is present in this clip; earlier instructional setup is outside the excerpt.

Problem

Given the displayed figure with Given: ∠A ≅ ∠D and 2 ≅ ∠3, prove that AE ≅ DE.

Given
  1. ∠A ≅ ∠D

  2. 2 ≅ ∠3

  3. Diagram with triangles BAE, CDE, and BCE meeting at point E

Goal

Prove AE‾≅DE‾\overline{AE} \cong \overline{DE}.

Steps
  1. Expression
    ΔBCE is isosceles\Delta BCE \text{ is isosceles}
    Explanation

    The proof uses the base-angle information to identify triangle BCE as isosceles.

    Justification

    Base Angle Theorem

    Shown in the video
  2. Expression
    BE‾≅CE‾\overline{BE} \cong \overline{CE}
    Explanation

    Because triangle BCE is isosceles, its equal sides are congruent.

    Justification

    Def. of Isosceles Triangle

    Shown in the video
  3. Expression
    ∠5≅∠6\angle 5 \cong \angle 6
    Explanation

    The opposite angles at intersection point E are congruent.

    Justification

    Vertical Angles

    Shown in the video
  4. Expression
    ΔBAE≅ΔCDE\Delta BAE \cong \Delta CDE
    Explanation

    Using the two angle pairs and the side pair just established, the two yellow triangles are congruent.

    Justification

    AAS

    Shown in the video
  5. Expression
    AE‾≅DE‾\overline{AE} \cong \overline{DE}
    Explanation

    The desired segments are corresponding parts of the congruent triangles, so they are congruent.

    Justification

    CPCTC

    Shown in the video
Answer

AE‾≅DE‾\overline{AE} \cong \overline{DE}

Verification

The final statement in the proof table exactly matches the Prove line shown at the lower left of the screen.

Visual events · 18

Color highlighting of the two triangles

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The left triangle becomes purple and the right triangle becomes pink.

  2. Audio
    Observation

    The narrator refers to the purple triangle and the pink triangle while explaining the goal.

Objects
  1. Δ\Delta GFK

  2. Δ\Delta HFJ

Changes
  1. The left triangle is filled purple.

  2. The right triangle is filled pink.

Invariants
  1. The underlying diagram and labels remain unchanged.

Interpretation

The color coding identifies exactly which two triangles the proof must show congruent.

Segment congruence marks from bisection

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The intersecting segments are emphasized and tick marks are added to paired halves.

  2. Formula
    Observation

    The second row states GF‾≅JF‾\overline{GF} \cong \overline{JF} \& KF‾≅HF‾\overline{KF} \cong \overline{HF}.

Uncertainties
  1. The exact tick style varies slightly across frames, but the paired equality relation is clear.

Objects
  1. GF‾\overline{GF}

  2. JF‾\overline{JF}

  3. KF‾\overline{KF}

  4. HF‾\overline{HF}

Changes
  1. Matching tick marks are added to the two halves of each intersecting segment.

Invariants
  1. The intersection point remains F.

  2. The overall quadrilateral outline stays fixed.

Interpretation

The visual marks encode the consequence of the given bisection: each segment is split into congruent parts.

Vertical angle arcs at F

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Green arcs appear on opposite angles at F.

  2. Formula
    Observation

    The third row states ∠\angle GFK ≅∠\cong \angle HFJ.

Objects
  1. ∠\angle GFK

  2. ∠\angle HFJ

Changes
  1. Opposite angles at F receive matching green arc marks.

Invariants
  1. The previously added segment marks remain visible.

Interpretation

The arcs identify the included angle pair needed for SAS.

Sequential construction of the two-column proof

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The STATEMENTS/REASONS table fills in one row at a time until four rows are present.

  2. Formula
    Observation

    Final visible rows are Given; Def. of Bisect; Vertical Angles; SAS.

Objects
  1. Statements column

  2. Reasons column

Changes
  1. Row 1 appears with the given statement.

  2. Row 2 adds the congruent segment pairs.

  3. Row 3 adds the congruent vertical angles.

  4. Row 4 adds the triangle congruence conclusion with SAS.

Invariants
  1. The diagram remains on the left while the table is built on the right.

Interpretation

The animation demonstrates how a formal proof is assembled step by step from givens to conclusion.

Transition from previous example to the new practice proof

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    The previous completed proof disappears and a new diagram with a blank STATEMENTS/REASONS table appears.

Objects
  1. Previous completed proof table

  2. New triangle diagram

  3. Blank two-column table

Changes
  1. The screen switches from a finished example to a new unsolved problem.

  2. A blank proof table replaces the previously filled table.

Invariants
  1. The overall lesson format remains a geometry proof with diagram plus two-column table.

Interpretation

This visual transition marks the start of a harder practice problem after the narrator says they will move on to a more challenging one.

Color identification of the two triangles

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    Triangle RSV is filled pink and triangle RUV is filled light green.

  2. Audio
    Observation

    The narrator identifies the two triangles to be proved congruent and notes that together they form a larger right triangle.

Objects
  1. Pink triangle RSV

  2. Light green triangle RUV

  3. Larger right triangle SUV

Changes
  1. The two smaller triangles are colored differently to distinguish them.

  2. Their union is visually recognized as the larger triangle.

Invariants
  1. Vertex labels R, S, U, and V remain fixed.

  2. The shared side VR belongs to both colored triangles.

Interpretation

The coloring clarifies which two triangles are the objects of the congruence proof and how they sit inside the larger figure.

Diagram marking for the midpoint consequence

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    Single tick marks appear on SR‾\overline{SR} and UR‾\overline{UR} after the midpoint statement is entered.

  2. Formula
    Observation

    The table shows SR‾≅UR‾\overline{SR} \cong \overline{UR} with reason Def. of Midpoint.

Objects
  1. Segment SR‾\overline{SR}

  2. Segment UR‾\overline{UR}

  3. Point R

Changes
  1. Tick marks are added to SR and UR.

  2. The proof table gains the congruence statement derived from the midpoint.

Invariants
  1. R remains on segment SU.

  2. The larger diagram geometry does not change.

Interpretation

The visual tick marks encode the mathematical consequence that the midpoint divides SU‾\overline{SU} into two congruent pieces.

Diagram marking for the second given congruence

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    Double tick marks appear on SV‾\overline{SV} and UV‾\overline{UV}.

  2. Formula
    Observation

    The table records SV‾≅UV‾\overline{SV} \cong \overline{UV} with reason Given.

Objects
  1. Segment SV‾\overline{SV}

  2. Segment UV‾\overline{UV}

Changes
  1. Double tick marks are added to SV and UV.

  2. The second given is transferred into the proof table.

Invariants
  1. The side labels and triangle positions remain unchanged.

Interpretation

The double tick marks distinguish this given pair of congruent sides from the earlier midpoint-derived pair.

Visual emphasis on the shared side VR

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    Segment VR‾\overline{VR} is highlighted as the shared side of the pink and light green triangles.

  2. Formula
    Observation

    The table records VR‾≅VR‾\overline{VR} \cong \overline{VR} with reason Reflexive Property.

Objects
  1. Segment VR‾\overline{VR}

  2. Triangle RSV

  3. Triangle RUV

Changes
  1. The common side is visually singled out.

  2. The reflexive congruence statement is added to the table.

Invariants
  1. VR is the same segment in both triangles.

  2. No new external information is introduced; the step comes from the diagram structure.

Interpretation

The highlight makes explicit the geometric observation that the two triangles share a side, which justifies using the reflexive property.

Completion of the proof by SSS

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    The final row of the table fills in with △\triangle RSV ≅△\cong \triangle RUV and reason SSS.

  2. Diagram
    Observation

    All three pairs of corresponding sides are already marked before the conclusion.

Objects
  1. Completed two-column table

  2. Marked side pairs

  3. Triangles RSV and RUV

Changes
  1. The conclusion statement appears in the last row.

  2. The reason SSS is written beside it.

Invariants
  1. The three side congruences established earlier remain the basis for the conclusion.

Interpretation

The visual completion of the table shows that once three corresponding side pairs are congruent, the triangle congruence follows immediately by SSS.

Transition from finished example to new practice proof

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    The previous completed proof disappears and a new diagram with a blank two-column table appears.

  2. Audio
    Observation

    The narrator says they are done with this proof and have one more.

Objects
  1. previous completed proof table

  2. new geometry diagram

  3. blank STATEMENTS/REASONS table

Changes
  1. Old proof is removed.

  2. New problem with Given and Prove text appears.

  3. Table resets to empty rows.

Invariants
  1. The lesson continues in the same two-column proof format.

Interpretation

The visual reset signals a new worked example rather than a continuation of the previous argument.

Color coding the target congruent segments

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    Segment AE turns blue and segment DE turns green while the Prove line is emphasized.

  2. Audio
    Observation

    The narrator says they will label AE in blue and DE in green.

Objects
  1. segment AE

  2. segment DE

  3. Prove statement

Changes
  1. AE is highlighted blue.

  2. DE is highlighted green.

Invariants
  1. The underlying diagram geometry does not change.

Interpretation

The color coding isolates the exact conclusion to be proved before the intermediate triangle work begins.

Misconceptions · 7

Do not assume extra properties from the picture

Clear evidence
Supplementary explanation
Evidence
  1. Diagram
    Observation

    The outer figure looks like a square or rectangle, but the only stated given is that GJ‾\overline{GJ} and HK‾\overline{HK} bisect each other at F.

Misconception

Because the diagram resembles a square or rectangle, one might incorrectly use right angles, equal outer sides, or diagonal perpendicularity.

Clarification

Only the explicitly given bisection information is used in the proof; no additional quadrilateral properties are stated in this clip.

SAS requires the included angle

Clear evidence
Supplementary explanation
Evidence
  1. Audio
    Observation

    The narrator specifically says the congruent angle is in between the two congruent sides.

  2. Formula
    Observation

    The proof uses ∠\angle GFK and ∠\angle HFJ together with the adjacent side pairs.

Misconception

Any congruent angle plus two congruent sides would prove triangle congruence.

Clarification

The video's reasoning depends on the angle being between the two marked sides; that is why SAS applies here.

Do not skip directly to a theorem before using the given information

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says that once the givens are all used up, we have to apply what we already know about geometry.

  2. Diagram
    Observation

    The first two rows come from the givens, and only afterward is the shared side identified.

Misconception

One might try to jump straight to a congruence postulate without first translating the given statements into usable side congruences.

Clarification

The video's method is to record and transform the givens first, then add geometric facts such as the shared side, and only then apply SSS.

A common side still needs an explicit proof line

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator explicitly points out that both triangles share side VR.

  2. Formula
    Observation

    The proof includes a separate row VR‾≅VR‾\overline{VR} \cong \overline{VR} with reason Reflexive Property.

Misconception

Because the shared side is obvious in the diagram, one might think it does not need to be written in the proof.

Clarification

The video treats the common side as a formal step: it must be stated as VR‾≅VR‾\overline{VR} \cong \overline{VR} and justified by the Reflexive Property.

Thinking a segment-congruence proof ends at triangle congruence

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says unlike the last examples, this one asks to prove two line segments congruent, not just two triangles, so there is an extra step.

Misconception

Assuming the proof is complete once two triangles are shown congruent.

Clarification

The video explicitly states that when the target is AE‾≅DE‾\overline{AE} \cong \overline{DE}, triangle congruence is only an intermediate result; one more step, CPCTC, is needed.

Discarding an intermediate fact too early

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says you may not be sure whether BE congruent CE will help, but you should label as much as you can because more information makes proofs easier.

Misconception

Believing a derived statement is useless just because its role is not immediately visible.

Clarification

The clip advises recording justified intermediate conclusions first; BE‾≅CE‾\overline{BE} \cong \overline{CE} later becomes the side needed for ASA.

CPCTC cannot be used before triangle congruence is proved

Approximate timing
Derived from the video
Evidence
  1. Audio
    Observation

    The narrator emphasizes that AE and DE are congruent because the triangles are already congruent.

  2. Formula
    Observation

    CPCTC appears only after the row ΔBAE ≅ ΔCDE.

Misconception

A learner might try to conclude AE ≅ DE directly from scattered angle facts without first proving the whole triangles congruent.

Clarification

In the displayed proof, CPCTC is valid only after ΔBAE ≅ ΔCDE has been established by AAS. The segment congruence is a consequence of the triangle congruence, not a substitute for proving it.

Concept relations · 19

Definition of bisect → Proof that Δ\Delta GFK ≅Δ\cong \Delta HFJ

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator derives congruent half-segments directly from the phrase bisect each other.

  2. Formula
    Observation

    The reason Def. of Bisect is attached to the segment congruence row.

Application
Explanation

The definition of bisect supplies the two congruent side pairs used inside the proof.

Vertical angles fact used in the proof → Proof that Δ\Delta GFK ≅Δ\cong \Delta HFJ

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Row 3 records ∠\angle GFK ≅∠\cong \angle HFJ with reason Vertical Angles.

Application
Explanation

The vertical angles fact provides the included angle congruence needed before the final SAS step.

Side-Angle-Side congruence method → Proof that Δ\Delta GFK ≅Δ\cong \Delta HFJ

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator checks whether enough information is available and then cites two sides and the angle between them.

  2. Formula
    Observation

    The final row uses SAS after the previous three rows have been established.

Proof dependency
Explanation

The SAS conclusion depends on the earlier segment congruences and vertical-angle congruence already proved in the table.

Two-column proof format → Worked example: proving Δ\Delta GFK ≅Δ\cong \Delta HFJ

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator describes the general proof structure before working the example.

  2. Diagram
    Observation

    The example is carried out in a STATEMENTS/REASONS table.

Application
Explanation

The worked example is presented using the two-column proof format introduced at the start.

Definition of midpoint used in the proof → SSS triangle congruence postulate

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The midpoint step produces SR‾≅UR‾\overline{SR} \cong \overline{UR}, which later appears as one of the three side pairs used for SSS.

Application
Explanation

The definition of midpoint supplies one of the three required pairs of congruent corresponding sides for the SSS conclusion.

Reflexive property applied to a shared side → SSS triangle congruence postulate

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The reflexive step produces VR‾≅VR‾\overline{VR} \cong \overline{VR}, which is then used in the final SSS row.

Application
Explanation

The shared-side congruence obtained from the reflexive property provides the third pair of congruent sides needed to apply SSS.

Two-column proof setup for this example → Practice proof: show ΔRSV ≅ ΔRUV

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The entire example is carried out inside a STATEMENTS/REASONS table.

Application
Explanation

The general two-column proof format is the organizing method used to present the worked example.

Second given: ∠2≅∠3\angle 2 \cong \angle 3 → Base Angle Theorem applied to △BCE\triangle BCE

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Row 2 gives ∠2≅∠3\angle 2 \cong \angle 3 and row 3 concludes △BCE\triangle BCE is isosceles.

  2. Audio
    Observation

    The narrator directly connects the congruent base angles to the isosceles conclusion.

Proof dependency
Explanation

The second given is the premise used to invoke the Base Angle Theorem for △BCE\triangle BCE.

Base Angle Theorem applied to △BCE\triangle BCE → Definition of isosceles triangle gives BE‾≅CE‾\overline{BE} \cong \overline{CE}

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Row 3 states △BCE\triangle BCE is isosceles and row 4 states BE‾≅CE‾\overline{BE} \cong \overline{CE}.

  2. Audio
    Observation

    The narrator says the sides opposite the congruent angles are congruent because that is the definition of an isosceles triangle.

Application
Explanation

The classification of △BCE\triangle BCE as isosceles is what licenses the deduction BE‾≅CE‾\overline{BE} \cong \overline{CE}.

Definition of isosceles triangle gives BE‾≅CE‾\overline{BE} \cong \overline{CE} → ASA congruence for △BEA\triangle BEA and △CED\triangle CED

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Row 4 provides BE‾≅CE‾\overline{BE} \cong \overline{CE} and row 6 applies ASA to △BEA\triangle BEA and △CED\triangle CED.

  2. Audio
    Observation

    The narrator later says the yellow triangles have two consecutive congruent angles followed by a congruent side.

Proof dependency
Explanation

The derived side congruence becomes the included side needed for the ASA argument in the lower triangles.

Vertical Angles Theorem gives ∠5≅∠6\angle 5 \cong \angle 6 → ASA congruence for △BEA\triangle BEA and △CED\triangle CED

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Row 5 gives ∠5≅∠6\angle 5 \cong \angle 6 and row 6 concludes △BEA≅△CED\triangle BEA \cong \triangle CED by ASA.

  2. Audio
    Observation

    The narrator explicitly uses the vertical-angle pair as part of the angle-side-angle pattern.

Proof dependency
Explanation

The vertical-angle congruence supplies the second angle needed for ASA.

ASA congruence for △BEA\triangle BEA and △CED\triangle CED → CPCTC yields the target segment congruence

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Row 6 states △BEA≅△CED\triangle BEA \cong \triangle CED and row 7 states AE‾≅DE‾\overline{AE} \cong \overline{DE} by CPCTC.

  2. Audio
    Observation

    The narrator says the last step is CPCTC.

Application
Explanation

Triangle congruence is the premise that allows extraction of the corresponding side congruence.

Find an answer · 20

How do you start a two-column geometry proof from the given information?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator explains that a proof begins from the diagram, given information, and what must be proved.

  2. Formula
    Observation

    The first table row is the given statement with reason Given.

Knowledge points
  1. Two-column proof format
  2. Worked example: proving Δ\Delta GFK ≅Δ\cong \Delta HFJ

Why does “bisect each other at F” imply GF‾≅JF‾\overline{GF} \cong \overline{JF} and KF‾≅HF‾\overline{KF} \cong \overline{HF}?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says bisecting segments cut each other into two equal halves.

  2. Formula
    Observation

    The row states GF‾≅JF‾\overline{GF} \cong \overline{JF} \& KF‾≅HF‾\overline{KF} \cong \overline{HF} with reason Def. of Bisect.

Knowledge points
  1. Definition of bisect
  2. Proof that Δ\Delta GFK ≅Δ\cong \Delta HFJ

Why are ∠\angle GFK and ∠\angle HFJ congruent in this diagram?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator identifies the opposite angles at F as vertical angles and says they are congruent.

  2. Diagram
    Observation

    Matching green arcs mark ∠\angle GFK and ∠\angle HFJ.

Knowledge points
  1. Vertical angles fact used in the proof
  2. Vertical angles are congruent

Why can SAS be used to prove Δ\Delta GFK ≅Δ\cong \Delta HFJ here?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says there are two congruent sides and one congruent angle in between them.

  2. Formula
    Observation

    The last row concludes Δ\Delta GFK ≅Δ\cong \Delta HFJ with reason SAS.

Knowledge points
  1. Side-Angle-Side congruence method
  2. SAS triangle congruence criterion
  3. Proof that Δ\Delta GFK ≅Δ\cong \Delta HFJ

Why does the proof conclude SR‾≅UR‾\overline{SR} \cong \overline{UR} from the given information?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The table shows SR‾≅UR‾\overline{SR} \cong \overline{UR} with reason Def. of Midpoint.

Knowledge points
  1. Definition of midpoint used in the proof
  2. Midpoint implication used in the proof

Why is VR‾\overline{VR} congruent to itself in this triangle proof?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The table shows VR‾≅VR‾\overline{VR} \cong \overline{VR} with reason Reflexive Property.

Knowledge points
  1. Reflexive property applied to a shared side
  2. Reflexive property claim for the common side

Which triangle congruence postulate is used to finish the proof, and why?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The final reason written in the table is SSS.

Knowledge points
  1. SSS triangle congruence postulate
  2. Final congruence conclusion by SSS

What is the logical order of steps in the two-column proof for ΔRSV ≅ ΔRUV?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The rows appear in the order: given midpoint, midpoint consequence, given side congruence, reflexive side, SSS conclusion.

Knowledge points
  1. Two-column proof setup for this example
  2. Two-column derivation of triangle congruence

How does identifying the shared side help complete the congruence proof?

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Segment VR is highlighted as the common side of the pink and light green triangles.

Knowledge points
  1. Reflexive property applied to a shared side
  2. Visual emphasis on the shared side VR

Why does proving two segments congruent require an extra step beyond proving triangles congruent?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says this proof has an extra step because the goal is two line segments, not just two triangles.

Knowledge points
  1. Two-column proof setup for a segment-congruence goal
  2. CPCTC yields the target segment congruence

How is the Base Angle Theorem used to show that triangle BCE is isosceles?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator says triangle BCE is isosceles because of the base angle theorem.

  2. Formula
    Observation

    Table row: △BCE\triangle BCE is isosceles, reason Base Angle Theorem.

Knowledge points
  1. Second given: ∠2≅∠3\angle 2 \cong \angle 3
  2. Base Angle Theorem applied to △BCE\triangle BCE

Why prove BE‾≅CE‾\overline{BE} \cong \overline{CE} if the final goal is AE‾≅DE‾\overline{AE} \cong \overline{DE}?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator first derives BE congruent CE, then later uses it in the ASA pattern for the yellow triangles.

  2. Formula
    Observation

    Rows 4 and 6 connect BE‾≅CE‾\overline{BE} \cong \overline{CE} to △BEA≅△CED\triangle BEA \cong \triangle CED.

Knowledge points
  1. Definition of isosceles triangle gives BE‾≅CE‾\overline{BE} \cong \overline{CE}
  2. ASA congruence for △BEA\triangle BEA and △CED\triangle CED
Coverage and review notes

Covered · Intro logo animation with no mathematical content.

Covered · Title slide and spoken introduction to the lesson and its purpose.

Covered · Explanation of proof structure and identification of the two triangles to compare.

Covered · First two proof rows: given statement and congruent half-segments from bisection.

Covered · Third proof row: vertical angles at F are congruent.

Covered · Final proof row and conclusion by SAS.

Covered · Trailing end of the clip after the proof is complete; no new mathematical content.

Covered · The clip opens on the tail end of a previous completed proof while the narrator says that example is done and introduces a more challenging one; this functions as transition context for the new proof format.

Covered · The new problem is displayed with diagram, givens, prove statement, and blank two-column table; the narrator describes the structure of the proof.

Covered · The narrator identifies the two triangles to compare, and the diagram colors triangle RSV pink and triangle RUV light green.

Covered · The first given is entered, then converted into SR‾≅UR‾\overline{SR} \cong \overline{UR} by the definition of midpoint, with matching tick marks added.

Covered · The narrator checks off the first given and records the second given SV‾≅UV‾\overline{SV} \cong \overline{UV}, adding double tick marks to the diagram.

Covered · After the givens are used, the narrator identifies the shared side VR‾\overline{VR} and writes VR‾≅VR‾\overline{VR} \cong \overline{VR} by the Reflexive Property.

Covered · With three pairs of congruent corresponding sides established, the final row states △\triangle RSV ≅△\cong \triangle RUV with reason SSS.

Covered · Opening seconds finish the previous example with the phrase about corresponding congruent sides and announce one more proof; no new mathematical content from the next problem is developed yet.

Covered · New problem is introduced with diagram, two givens, and a segment-congruence goal requiring an extra step.

Covered · Target segments AE and DE are identified and color-coded on the diagram.

Covered · The two given angle congruences are entered into the proof table and marked on the figure.

Covered · The narrator shifts from using givens to extracting more information and proves △BCE\triangle BCE is isosceles.

Covered · From the isosceles triangle, the proof derives BE‾≅CE‾\overline{BE} \cong \overline{CE}.

Covered · Strategic commentary explains why it is useful to record intermediate facts even before seeing their final role.

Covered · The two lower triangles are identified and their vertical angles at E are proved congruent.

Covered · ASA is applied to prove △BEA≅△CED\triangle BEA \cong \triangle CED, then CPCTC yields AE‾≅DE‾\overline{AE} \cong \overline{DE}.

Covered · The narrator states that ΔBAE and ΔCDE are congruent by AAS while the proof table shows the corresponding row and reason.

Covered · The speaker transitions from the triangle-congruence result to the target segments AE and DE, explaining that they are parts of the congruent triangles.

Covered · The final proof step is completed: AE ≅ DE is justified by CPCTC, and the narrator closes the lesson.

Covered · Promotional outro with presenter and channel links; no additional mathematical content for the triangle-congruence proof.

Explore the knowledge in this video

Reviewed subject paths