Skip to content
Back to exploration
Mathematical modeling / English

Law of Cosines Proof

Mr. Raymond · YouTube · 8:25

Open original
READ & KEEP

The explanation, unpacked.

Saves 0

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

This 150-second clip begins a whiteboard proof of the law of cosines. The speaker first states that the law of cosines is valuable for solving non-right triangles, then presents a triangle with given sides c and b and given angle A, aiming to derive an expression for side a. The main construction is to drop an altitude from the top vertex to the base, thereby splitting the original oblique triangle into two right triangles. These are visually emphasized in blue and yellow. The altitude is labeled h, the right base segment is labeled x, and the left base segment is therefore c-x. By the end of the clip, the speaker explains that this decomposition makes the Pythagorean theorem and right-triangle trigonometric ratios (SOHCAHTOA) available for the next algebraic steps, but the actual equations are not yet written within this excerpt. This 150-second whiteboard excerpt begins a proof of the law of cosines by dropping an altitude h inside a triangle with sides a, b, c and angle A at the lower-right vertex. The presenter first applies the Pythagorean theorem to the left right triangle, obtaining a2=(c−x)2+h2a^2 = (c-x)^2 + h^2, then expands (c-x)^2 to get a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2. He states that the next goal is to eliminate the auxiliary variables x and h so that an expression for a remains. To that end, he applies the Pythagorean theorem to the right triangle, writing b2=h2+x2b^2 = h^2 + x^2, and rearranges it to x2=b2−h2x^2 = b^2 - h^2. The clip stops before the final substitution that would complete the law-of-cosines formula. This 150-second whiteboard excerpt continues a geometric derivation of the Law of Cosines. Starting from two already-drawn right triangles formed by an altitude h, the presenter uses the displayed Pythagorean relations a2=(c−x)2+h2a^2=(c-x)^2+h^2 and b2=h2+x2b^2=h^2+x^2, rewrites x2x^2 as b2−h2b^2-h^2, substitutes it into the expanded first equation, and cancels the h2h^2 terms to reach a2=c2−2a^2=c^2-2cx+b2b^2. He then introduces the cosine ratio in the right triangle, cos⁡A=x/b\cos A=x/b, rearranges it to x=bcos⁡(A)x=b \cos (A), and performs a final substitution to obtain a2=c2−2a^2=c^2-2cb cos⁡(A)+b2\cos (A)+b^2. The clip emphasizes eliminating auxiliary variables step by step until a2a^2 is expressed only in terms of the given quantities b, c, and A. This 55-second whiteboard clip completes a derivation of the law of cosines for a labeled triangle. The screen already contains the geometric construction: an altitude h splits the base c into segments c-x and x, producing two right triangles. The visible algebra uses a2=(c−x)2+h2a^2=(c-x)^2+h^2 and b2=h2+x2b^2=h^2+x^2, together with cos⁡A=x/b\cos A=x/b, to eliminate h and x. During the clip, the presenter writes the final standard form a2=b2+c2−2a^2=b^2+c^2-2bc cos⁡(A)\cos (A), boxes it, and then recaps the method: split the triangle into two right triangles, apply the Pythagorean theorem twice, substitute, and use SOHCAHTOA on the right triangle. The proof shown corresponds to the drawn acute configuration with the altitude inside the base.

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

Chapters

0:00Motivation: why prove the law of cosines0:21Given triangle data and goal0:41Drop an altitude to create right triangles1:06Outline the two right triangles1:32Label h, x, and c-x2:06Why Pythagorean theorem and SOHCAHTOA apply next2:30Set up the left triangle equation2:51Expand (c-x)^2 and substitute back4:01State the elimination strategy for x and h4:20Use the right triangle to solve for x2x^25:00Starting point: two Pythagorean relations already on the board5:12Substitute x2=b2−h2x^2 = b^2 - h^2 into the expanded a2a^2 equation5:32Cancel -h^2 and +h2h^2 to reduce to one auxiliary unknown6:14Introduce cosine in the right triangle to express x6:54Final substitution gives the Law of Cosines form7:30Existing setup and start of rearrangement7:39Writing the final law-of-cosines formula7:56Boxing the result and summarizing the proof

Learning script

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

The clip opens with the title Law of Cosines Proof while the speaker explains that the law of cosines matters because it makes non-right triangles easier to solve and that understanding its origin is powerful.

A triangle is drawn with labels a, b, c, and angle A. On-screen text states: Given c, b, and A; find an expression to solve for a. The speaker identifies c, b, and A as the known quantities and a as the desired unknown.

Because the original triangle is not a right triangle, the speaker introduces the standard first move: drop an altitude from the top vertex straight down to the base, making a perpendicular segment.

That altitude immediately decomposes the oblique triangle into two right triangles. To make the structure clearer, the left one is outlined in blue and the right one in yellow.

The altitude is named h. The base c is split into two pieces: the right piece is called x, so the left piece must be c-x because the full base length remains c.

With two right triangles now available, the speaker says the proof can use the Pythagorean theorem and right-triangle trigonometry (SOHCAHTOA), but only within each smaller triangle separately. The excerpt ends just before any equation is actually written.

The scene opens on a hand-drawn triangle with base c, left side a, right side b, and angle A at the lower-right vertex. An altitude h drops perpendicularly to the base, splitting it into a left segment c-x and a right segment x. The immediate task is to relate a to the other quantities.

Focusing on the blue left sub-triangle, the presenter applies the Pythagorean theorem. Since its legs are c-x and h and its hypotenuse is a, the equation on the board is a2=(c−x)2+h2a^2 = (c-x)^2 + h^2. He explicitly notes that this is just the familiar right-triangle identity in a less familiar labeling.

To make the expression usable, he expands the squared binomial. Writing (c−x)(c−x)(c-x)(c-x) and using FOIL, the board shows c2−cx−cx+x2c^2 - cx - cx + x^2, which simplifies to c2−2cx+x2c^2 - 2cx + x^2.

Substituting that expansion back into the earlier equation gives a2=c2−2cx+x2+h2a^2 = c^2 - 2cx + x^2 + h^2. At this stage the formula is correct but still contains the auxiliary variables x and h, so it is not yet an expression for a alone.

The presenter states the strategic next step: eliminate x and h. This turns the current equation into a route toward solving for a, because only the given side lengths and angle should remain in the final relation.

He therefore shifts to the yellow right sub-triangle on the right. Applying the Pythagorean theorem again yields b2=h2+x2b^2 = h^2 + x^2, linking the same altitude h and base segment x to the known side b.

Finally, he rearranges that equation to isolate x2x^2, obtaining x2=b2−h2x^2 = b^2 - h^2. The clip ends here, before the subsequent substitution that would remove x and h from the formula for a2a^2 and complete the law-of-cosines derivation.

The board already shows a large triangle split by an altitude h into a blue left right triangle and a yellow right right triangle. The key starting formulas are visible: a2=(c−x)2+h2a^2=(c-x)^2+h^2 on the left and b2=h2+x2b^2=h^2+x^2 on the right. The speaker notices the x2x^2 term in the expanded left-side equation and prepares to eliminate it using the right-side relation.

From b2=h2+x2b^2=h^2+x^2, the derivation isolates x2x^2 as b2−h2b^2-h^2. That expression is substituted into the expanded equation a2=c2−2a^2=c^2-2cx+x2+h2x^2+h^2, producing the new line a2=c2−2a^2=c^2-2cx+b2−h2+h2b^2-h^2+h^2. Color is used to mark exactly which piece has been replaced.

Now the equation contains -h^2 and +h2h^2. These cancel, leaving a2=c2−2a^2=c^2-2cx+b2b^2. At this stage the auxiliary height h has disappeared completely, and the only remaining unknown introduced by the construction is x.

To remove x, the presenter turns to the right triangle containing the given angle A. By the definition of cosine, cos⁡A=x/b\cos A = x/b. Rearranging gives x=bcos⁡(A)x=b \cos (A), expressing the base segment x entirely in terms of the given side b and given angle A.

The final step substitutes x=bcos⁡(A)x=b \cos (A) into a2=c2−2a^2=c^2-2cx+b2b^2. This yields a2=c2−2a^2=c^2-2cb cos⁡(A)+b2\cos (A)+b^2, the Law of Cosines form for the side a in this triangle labeling. The clip ends immediately after this final expression is written.

The clip opens on a black digital whiteboard with a triangle already drawn at upper left. Its sides are labeled a, b, and c, the lower-right angle is labeled A, and a vertical altitude h meets the base, splitting the base into c-x on the left and x on the right. Below the figure, the board already shows the key intermediate equations a2=(c−x)2+h2a^2=(c-x)^2+h^2, its expansion, the substitution using b2−h2b^2-h^2 for x2x^2, the cancellation of h2h^2, and the cosine relation cos⁡A=x/b\cos A=x/b, equivalently bcos⁡(A)=xb \cos (A)=x.

The speaker says he is going to rearrange the result into the standard form. Mathematically, the preceding work has already reduced the expression to a2=c2−2a^2=c^2-2cx+b2b^2, and the remaining task is to replace x by b cos A and reorder the terms.

As he speaks, he writes the final formula in blue at the lower right: first a2a^2=, then b2b^2+, then c2c^2-, then 2bc, and finally cos⁡(A)\cos (A). This produces the standard law-of-cosines statement a2=b2+c2−2a^2=b^2+c^2-2bc\cos(A). The rearrangement is purely algebraic reordering of the previously obtained expression after substituting x=bcos⁡Ax=b\cos A.

He draws a blue box around the finished formula, marking it as the conclusion of the derivation. The boxed equation is the theorem form stated in the clip: for the labeled triangle, the square of side a equals the sum of the squares of b and c minus twice their product times the cosine of the included angle A.

The closing narration summarizes the proof strategy rather than adding new mathematics. First, the altitude splits the original triangle into two right triangles. Second, the Pythagorean theorem is applied to the left triangle to get a2=(c−x)2+h2a^2=(c-x)^2+h^2 and to the right triangle to get b2=h2+x2b^2=h^2+x^2. Third, x2x^2 is eliminated by substitution, causing the h2h^2 terms to cancel. Fourth, the right triangle’s cosine ratio gives x=bcos⁡Ax=b\cos A. Substituting that into a2=c2−2a^2=c^2-2cx+b2b^2 yields the final law of cosines.

One important scope note is that the visible construction assumes the altitude falls inside the base, as in the drawn acute picture. The clip itself does not separately treat obtuse or right-triangle configurations, even though the final formula is the familiar general law of cosines.

Knowledge cards

01

Purpose of the law of cosines

The video frames the law of cosines as a key tool for solving non-right triangles and announces that this clip will prove why the formula works rather than merely using it.

02

Given data and target unknown

The setup shows a triangle with known sides c and b and known angle A. The goal is to derive an expression for the remaining side a.

03

Altitude strategy for oblique triangles

Since direct right-triangle methods do not apply to the original non-right triangle, the first step is to drop a perpendicular altitude from the top vertex to the base.

04

Decomposition into two right triangles

The altitude splits the original triangle into two smaller right triangles, visually distinguished by blue and yellow outlines. This decomposition is the foundation of the proof.

05

Labels h, x, and c-x

The altitude is labeled h. The base c is divided into a right segment x and a left segment c-x, so each new right triangle has legs expressible in terms of these quantities.

c=x+(c−x)c = x + (c-x)
06

Why Pythagorean theorem and SOHCAHTOA become usable

Once the figure consists of two right triangles, the proof may apply the Pythagorean theorem and trigonometric ratios separately to each smaller triangle. The clip stops before the actual algebraic derivation begins.

07

Pythagorean theorem on the left sub-triangle

The altitude creates a right triangle on the left with legs c-x and h and hypotenuse a. Applying the Pythagorean theorem gives the starting relation for the proof.

a2=(c−x)2+h2a^2 = (c-x)^2 + h^2
08

Expanding the binomial (c-x)^2

Using distributivity / FOIL, the square of the binomial is rewritten as a polynomial so it can be substituted back into the equation for a2a^2.

(c−x)2=c2−2cx+x2(c-x)^2 = c^2 - 2cx + x^2
09

Expanded equation for a2a^2

After substitution, the left-triangle relation becomes an expanded expression that still contains the auxiliary variables x and h.

a2=c2−2cx+x2+h2a^2 = c^2 - 2cx + x^2 + h^2
10

Goal of eliminating x and h

The presenter explains that the current equation is only an intermediate form. To obtain an expression for a, the proof must remove x and h using relations from the rest of the triangle.

11

Pythagorean theorem on the right sub-triangle

The yellow right triangle has legs h and x and hypotenuse b, giving a second equation that connects the auxiliary variables to known side b.

b2=h2+x2b^2 = h^2 + x^2
12

Solve for x2x^2 from the right triangle

Rearranging the right-triangle equation isolates x2x^2, setting up the next elimination step in the law-of-cosines proof.

x2=b2−h2x^2 = b^2 - h^2
13

Two right triangles from the altitude

The proof begins from a triangle divided by an altitude h into two right triangles. The left one gives a2=(c−x)2+h2a^2=(c-x)^2+h^2, and the right one gives b2=h2+x2b^2=h^2+x^2. These two relations are the engine of the whole derivation.

a2=(c−x)2+h2,b2=h2+x2a^2 = (c-x)^2 + h^2,\quad b^2 = h^2 + x^2
14

Eliminating x2x^2 with the right triangle

Rearranging the right-triangle equation gives x2=b2−h2x^2=b^2-h^2. Substituting this into the expanded left-triangle equation replaces x2x^2 and creates opposite h2h^2 terms.

b2−h2=x2b^2 - h^2 = x^2
15

Cancellation of the altitude terms

After substitution, the equation becomes a2=c2−2a^2=c^2-2cx+b2−h2+h2b^2-h^2+h^2. The -h^2 and +h2h^2 cancel, leaving a simpler relation with only one auxiliary unknown, x.

a2=c2−2cx+b2a^2 = c^2 - 2cx + b^2
16

Using cosine to express x

In the right triangle containing angle A, cosine is adjacent over hypotenuse, so cos⁡A=x/b\cos A=x/b. Solving for x gives x=bcos⁡(A)x=b \cos (A), which rewrites the remaining auxiliary length in terms of given quantities.

cos⁡A=xb,x=bcos⁡(A)\cos A = \frac{x}{b},\quad x = b\cos(A)
17

Final Law of Cosines form

Substituting x=bcos⁡(A)x=b \cos (A) into a2=c2−2a^2=c^2-2cx+b2b^2 removes the last auxiliary variable and produces the final displayed formula for a2a^2.

a2=c2−2cbcos⁡(A)+b2a^2 = c^2 - 2cb\cos(A) + b^2
18

Geometric setup for the proof

A triangle with sides a, b, c and angle A is split by an altitude h into two right triangles. The base c is divided into segments c-x and x. This construction is what allows the proof to use the Pythagorean theorem twice and then a cosine relation.

19

Left-triangle Pythagorean equation

On the left right triangle, the hypotenuse is a and the legs are h and c-x, so the board writes a2=(c−x)2+h2a^2=(c-x)^2+h^2. Expanding gives a2=c2−2a^2=c^2-2cx+x2+h2x^2+h^2.

a2=(c−x)2+h2a^2 = (c-x)^2 + h^2
20

Right-triangle Pythagorean equation

On the right right triangle, the hypotenuse is b and the legs are h and x, so b2=h2+x2b^2=h^2+x^2. Rearranged, this gives x2=b2−h2x^2=b^2-h^2, which is substituted into the expanded left-triangle equation.

b2=h2+x2b^2 = h^2 + x^2
21

Cosine relation from the right triangle

Because angle A lies in the right triangle with adjacent side x and hypotenuse b, the cosine ratio is cos⁡A=x/b\cos A=x/b. Multiplying by b gives x=bcos⁡Ax=b \cos A, which is the trigonometric substitution used at the end of the algebra.

cos⁡A=xb,x=bcos⁡A\cos A = \frac{x}{b},\quad x = b\cos A
22

Cancellation of the altitude terms

After substituting x2=b2−h2x^2=b^2-h^2 into a2=c2−2a^2=c^2-2cx+x2+h2x^2+h^2, the expression becomes a2=c2−2a^2=c^2-2cx+b2−h2+h2b^2-h^2+h^2. The -h^2 and +h2h^2 cancel, leaving a2=c2−2a^2=c^2-2cx+b2b^2.

a2=c2−2cx+b2a^2 = c^2 - 2cx + b^2
23

Final standard form of the Law of Cosines

Substituting x=bcos⁡Ax=b \cos A into a2=c2−2a^2=c^2-2cx+b2b^2 gives a2=c2−2a^2=c^2-2cb cos⁡(A)+b2\cos (A)+b^2. Reordering the terms yields the familiar standard form a2=b2+c2−2a^2=b^2+c^2-2bc cos⁡(A)\cos (A), which the presenter boxes as the result.

a2=b2+c2−2bccos⁡(A)a^2 = b^2 + c^2 - 2bc\cos(A)
24

Proof method summary

The spoken recap identifies the method: split the triangle into two right triangles, apply the Pythagorean theorem to each, substitute to eliminate x2x^2 and h2h^2, then use SOHCAHTOA on the right triangle to replace x by b cos A. The final rearrangement produces the law of cosines.

Detailed learning notes

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

Symbols · 27

a

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Triangle side labeled a on the left slanted side.

  2. Audio
    Observation

    Speaker says the goal is to solve for side length a.

Symbol

a

Meaning

Side length opposite angle A; the unknown side to be solved for.

Domain

Positive real number (side length).

b

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Triangle side labeled b on the right slanted side.

  2. Audio
    Observation

    Speaker says we are given side length b.

Symbol

b

Meaning

Given side length adjacent to angle A on the right side of the triangle.

Domain

Positive real number (side length).

c

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Base of the triangle labeled c.

  2. Audio
    Observation

    Speaker says we are given side length c and later says the whole bottom part is c.

Symbol

c

Meaning

Given base side length of the non-right triangle.

Domain

Positive real number (side length).

A

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Angle at the lower-right vertex marked A.

  2. Audio
    Observation

    Speaker says we are given angle A.

Symbol

A

Meaning

Given interior angle at the lower-right vertex of the triangle.

Domain

Interior angle of a triangle.

h

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Vertical altitude segment labeled h.

  2. Audio
    Observation

    Speaker says, let's go ahead and call this altitude h for height.

Symbol

h

Meaning

Length of the altitude dropped from the top vertex perpendicular to the base c.

Domain

Positive real number (height).

x

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Right portion of the base labeled x.

  2. Audio
    Observation

    Speaker says we're going to go ahead and call this side length x.

Symbol

x

Meaning

Length of the right subsegment of the base cut off by the altitude foot.

Domain

Positive real number (segment length).

c-x

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Left portion of the base labeled c - x.

  2. Audio
    Observation

    Speaker says this side length over here has to be c minus x.

Symbol

c-x

Meaning

Length of the left subsegment of the base after splitting c into x and c-x.

Domain

Positive real number (segment length).

a

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The left slanted side of the large triangle is labeled a in blue.

  2. Audio
    Observation

    The speaker says he is ultimately looking for an expression for a.

Symbol

a

Meaning

Side length opposite angle A; the target unknown to solve for.

Domain

positive real length

b

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The right slanted side of the large triangle is labeled b in yellow.

  2. Formula
    Observation

    Appears in b2=h2+x2b^2 = h^2 + x^2 and b2−h2=x2b^2 - h^2 = x^2.

Symbol

b

Meaning

Side length adjacent to angle A on the right sub-triangle.

Domain

positive real length

c

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The full base of the large triangle is labeled c.

  2. Formula
    Observation

    Appears in (c-x)^2 and c2−2c^2 - 2cx + x2x^2.

Symbol

c

Meaning

Full base length of the large triangle, split into segments c-x and x by the altitude foot.

Domain

positive real length

A

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The lower-right vertex is labeled A.

  2. Caption evidence
    Observation

    Top text reads Given C, b, and A.

Uncertainties
  1. The top handwritten text uses uppercase C where the diagram uses lowercase c for the base; the spoken derivation consistently treats c as the base length.

Symbol

A

Meaning

Angle at the lower-right vertex of the large triangle.

Domain

triangle angle

h

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The vertical altitude from the top vertex to the base is labeled h.

  2. Formula
    Observation

    Appears in a2=(c−x)2+h2a^2 = (c-x)^2 + h^2 and b2=h2+x2b^2 = h^2 + x^2.

Symbol

h

Meaning

Height of the perpendicular dropped from the top vertex to the base.

Domain

positive real length

Knowledge points · 26

Purpose of the law of cosines

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker states that the law of cosines is important because it makes solving non-right triangles easier and motivates proving why the equation works.

  2. Diagram
    Observation

    Opening title reads Law of Cosines Proof.

Definition
Explanation

The video introduces the law of cosines as a tool for solving non-right triangles and frames the clip as a proof of where the formula comes from.

Conditions
  1. Applies to non-right triangles.

  2. Used when two sides and the included angle are known in this setup.

Given information and goal of the proof

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Text on screen: Given c, b, and A; find an expression to solve for a.

  2. Audio
    Observation

    Speaker says we are given side length c, side length b, and angle A, and the ultimate goal is to solve for side length a.

Definition
Explanation

The proof starts from a triangle with known sides c and b and known included angle A, and seeks an expression for the remaining side a.

Conditions
  1. Known quantities are c, b, and A.

  2. Target unknown is a.

Prerequisites
  1. Purpose of the law of cosines

Dropping an altitude to create right triangles

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says dealing with non-right triangles is difficult, so the first step is to drop an altitude from the very top to make a perpendicular line to the base.

  2. Diagram
    Observation

    A vertical segment is drawn from the top vertex to the base, with a right-angle mark at the foot.

Method
Explanation

The method converts one non-right triangle into two right triangles by drawing a perpendicular altitude from the top vertex to the base.

Conditions
  1. Start with a non-right triangle.

  2. Drop a perpendicular from the top vertex to the base.

Prerequisites
  1. Given information and goal of the proof

Two right triangles from one altitude

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says now we've created two right triangles from one non-right triangle and outlines them in bold lines.

  2. Diagram
    Observation

    Left triangle outlined in blue and right triangle outlined in yellow.

Definition
Explanation

After the altitude is drawn, the original triangle is decomposed into a left right triangle and a right right triangle, visually distinguished by blue and yellow outlines.

Conditions
  1. The altitude must meet the base perpendicularly.

  2. The decomposition is used to apply right-triangle tools.

Prerequisites
  1. Dropping an altitude to create right triangles

Naming the altitude and split base segments

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker names the altitude h, calls the right base piece x, and says the other piece must be c minus x because the whole length is c.

  2. Diagram
    Observation

    Labels h, x, and c-x appear on the altitude and the two base segments.

Definition
Explanation

The altitude is named h. The base c is split into a right segment x and a left segment c-x, so that the two new right triangles have legs expressible in terms of h, x, and c-x.

Conditions
  1. Whole base length is c.

  2. Right subsegment is x.

  3. Left subsegment is c-x.

Prerequisites
  1. Two right triangles from one altitude

Why Pythagorean theorem and trig ratios become available

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says because we have two right triangles, we're allowed to use Pythagorean theorem and trig functions, SOHCAHTOA, as long as we use them with separate right triangles.

  2. Diagram
    Observation

    Blue and yellow right triangles remain visible with labeled legs and hypotenuses.

Method
Explanation

Once the figure is decomposed into right triangles, the proof can use the Pythagorean theorem and right-triangle trigonometric ratios on each smaller triangle separately.

Conditions
  1. Must work within each right triangle separately.

  2. The altitude creates the required right angles.

Prerequisites
  1. Naming the altitude and split base segments

Pythagorean relation for the left sub-triangle

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    I know the hypotenuse squared is equal to the two legs of the triangle squared, c minus x squared added together, h squared.

  2. Formula
    Observation

    a2=(c−x)2+h2a^2 = (c-x)^2 + h^2 is written under the blue left sub-triangle.

Formula
Explanation

Applying the Pythagorean theorem to the blue right triangle gives the square of its hypotenuse a as the sum of the squares of its legs c-x and h.

Formula
a2=(c−x)2+h2a^2 = (c-x)^2 + h^2
Conditions
  1. The altitude from the top vertex meets the base at a right angle.

  2. a is the hypotenuse of the left sub-triangle.

Prerequisites
  1. Pythagorean theorem used as analogy

Pythagorean theorem used as analogy

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    This is essentially a squared plus b squared equals c squared, just looks a little bit more fancy.

Definition
Explanation

The speaker identifies the previous equation as an instance of the standard right-triangle identity, with the roles of the sides renamed by the geometry of the construction.

Formula
a2+b2=c2a^2 + b^2 = c^2
Conditions
  1. Applies to right triangles.

Expansion of (c-x)^2 by FOIL

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Let's go ahead and expand this. I'm going to multiply c minus x times c minus x.

  2. Formula
    Observation

    (c-x)(c-x) = c2c^2 - cx - cx + x2=c2−2x^2 = c^2 - 2cx + x2x^2 is written on the right.

Method
Explanation

The square of the binomial is expanded by distributing each term, producing two middle terms that combine into -2cx.

Formula
(c−x)2=c2−2cx+x2(c-x)^2 = c^2 - 2cx + x^2
Conditions
  1. Standard algebra over real numbers.

Substitute the expansion back into the left-triangle equation

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    And we still have that plus h squared off to the side.

  2. Formula
    Observation

    a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2 is written below the first equation.

Formula
Explanation

Replacing (c-x)^2 in the Pythagorean equation yields an expanded expression for a2a^2 that still contains the auxiliary variables x and h.

Formula
a2=c2−2cx+x2+h2a^2 = c^2 - 2cx + x^2 + h^2
Conditions
  1. Follows directly from a2=(c−x)2+h2a^2 = (c-x)^2 + h^2 and (c-x)^2=c2−22 = c^2 - 2cx + x2x^2.

Prerequisites
  1. Pythagorean relation for the left sub-triangle
  2. Expansion of (c-x)^2 by FOIL

Pythagorean relation for the right sub-triangle

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    So I'm going to start by looking at this yellow triangle over here now. And I'm going to go ahead and do Pythagorean theorem for that as well.

  2. Formula
    Observation

    b2=h2+x2b^2 = h^2 + x^2 is written under the yellow right sub-triangle.

Formula
Explanation

Applying the same theorem to the yellow right triangle relates its hypotenuse b to the altitude h and base segment x.

Formula
b2=h2+x2b^2 = h^2 + x^2
Conditions
  1. The altitude from the top vertex meets the base at a right angle.

  2. b is the hypotenuse of the right sub-triangle.

Prerequisites
  1. Pythagorean theorem used as analogy

Isolate x2x^2 from the right-triangle equation

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    If I solve for x squared, then I see that x squared is equal to this b squared minus h squared.

  2. Formula
    Observation

    b2−h2=x2b^2 - h^2 = x^2 is written beneath b2=h2+x2b^2 = h^2 + x^2.

Method
Explanation

Rearranging b2=h2+x2b^2 = h^2 + x^2 expresses x2x^2 in terms of b and h, preparing for elimination of auxiliary variables from the equation for a2a^2.

Formula
x2=b2−h2x^2 = b^2 - h^2
Conditions
  1. Equivalent algebraic rearrangement of b2=h2+x2b^2 = h^2 + x^2.

Prerequisites
  1. Pythagorean relation for the right sub-triangle
Claims and conditions · 7

Law of cosines simplifies non-right triangle solving

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says the law of cosines is extremely important because it makes solving non-right triangles a lot easier.

Proposition
Statement

The law of cosines is useful because it makes solving non-right triangles easier.

Hypotheses
  1. Working with non-right triangles.

Quantifiers

General statement about the utility of the law of cosines.

Altitude decomposition claim

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says dropping an altitude from the top perpendicular to the base creates two right triangles from one non-right triangle.

  2. Diagram
    Observation

    A perpendicular segment is drawn from the top vertex to the base, with a right-angle marker.

Proposition
Statement

Dropping an altitude from the top vertex perpendicular to the base of a non-right triangle creates two right triangles.

Hypotheses
  1. Start with a non-right triangle.

  2. Draw a perpendicular from the top vertex to the base.

Quantifiers

For the triangle shown in the proof setup.

Segment addition relation on the base

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says if the whole length is c and this part is x, then the other part has to be c minus x.

  2. Diagram
    Observation

    Base labeled c overall, with subsegments labeled x and c-x.

Proposition
Statement

If the full base length is c and one subsegment is x, then the other subsegment is c-x.

Hypotheses
  1. The altitude foot splits the base into two pieces.

  2. The whole base length is c.

  3. One piece is named x.

Quantifiers

For the two base subsegments in the diagram.

Applicability of Pythagorean theorem and SOHCAHTOA

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says because we have two right triangles, we're allowed to use Pythagorean theorem and trig functions, SOHCAHTOA, as long as we use them with separate right triangles.

Proposition
Statement

After the altitude is drawn, the Pythagorean theorem and right-triangle trigonometric ratios may be applied to each of the two smaller right triangles separately.

Hypotheses
  1. The original triangle has been split into two right triangles by an altitude.

Quantifiers

For each of the two right triangles created in the construction.

Strategy claim: eliminate x and h to obtain an expression for a

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Part of the reason that I know to do that is because I'm ultimately looking for an expression for a. Well now I have a squared equals something over here. So if I can find a way to get rid of these x's and h's, then I have an equation for a.

Proposition
Statement

Once a2a^2 has been rewritten in terms of c, x, and h, eliminating the auxiliary variables x and h will yield an equation involving only the desired side a and the given quantities.

Hypotheses
  1. The goal is to solve for a.

  2. The current equation is a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2.

Quantifiers

For the triangle setup shown, if x and h can be removed from the equation, then the remaining relation determines a.

Substitution reduces the equation from three auxiliary unknowns to one

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker explicitly says he went from having three unknowns in his equation to just one.

  2. Formula
    Observation

    The displayed progression moves from a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2 to a2=c2−2a^2 = c^2 - 2cx + b2b^2.

Proposition
Statement

Using x2=b2−h2x^2 = b^2 - h^2 to replace x2x^2 in the expanded left-triangle equation eliminates h and leaves only x as the remaining auxiliary unknown.

Hypotheses
  1. The two right-triangle Pythagorean relations are valid.

  2. Algebraic substitution and cancellation are allowed.

Quantifiers

For the triangle configuration shown on the board.

Law of Cosines for side a

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker calls the result the derivation or proof of the law of cosines.

  2. Formula
    Observation

    The final boxed equation is a2=b2+c2−2a^2 = b^2 + c^2 - 2bc cos⁡(A)\cos (A).

Uncertainties
  1. The visible proof is written for the drawn acute configuration with the altitude falling inside the base; the clip does not separately discuss obtuse or right cases.

Theorem
Statement

For the triangle shown, the side opposite angle A satisfies a2=b2+c2−2a^2 = b^2 + c^2 - 2bc\cos(A).

Hypotheses
  1. A triangle has side lengths a, b, c and angle A as labeled.

  2. An altitude h is dropped to the base, splitting the base into segments x and c-x.

Quantifiers

For the labeled triangle configuration shown in the clip.

Derivations and proofs · 6

Geometric setup for the law-of-cosines proof

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker explains the strategy: drop an altitude, create two right triangles, name the altitude h, and split the base into x and c-x.

  2. Diagram
    Observation

    Construction appears step by step: altitude, right-angle mark, blue/yellow outlines, labels h, x, c-x.

Visual argument
Steps
  1. Expression
    Explanation

    Start with a non-right triangle whose known parts are sides c and b and included angle A, with unknown side a.

    Justification

    This is the stated given information and goal of the proof.

    Shown in the video
  2. Expression
    Explanation

    Drop a perpendicular altitude from the top vertex to the base c.

    Justification

    The speaker says this is the usual first step for handling non-right triangles.

    Shown in the video
  3. Expression
    Explanation

    The altitude creates two right triangles inside the original triangle.

    Justification

    A perpendicular to the base produces right angles at the foot of the altitude.

    Shown in the video
  4. Expression
    hh
    Explanation

    Name the altitude h.

    Justification

    The speaker explicitly assigns this label for convenience.

    Shown in the video
  5. Expression
    xx
    Explanation

    Name the right-hand base subsegment x.

    Justification

    The speaker introduces x as a semi-arbitrary label for the proof.

    Shown in the video
  6. Expression
    c−xc-x
    Explanation

    Then the left-hand base subsegment is c-x.

    Justification

    Since the whole base is c and one part is x, the remaining part must be c-x.

    Shown in the video
Conclusion

The original non-right triangle has been rewritten as two right triangles with legs h and x on the right and h and c-x on the left, setting up the use of Pythagorean theorem and trigonometry.

Choosing which right-triangle tools to use next

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says because we have two right triangles, we're allowed to use Pythagorean theorem and trig functions, SOHCAHTOA, as long as we use them with separate right triangles.

  2. Diagram
    Observation

    Blue triangle on the left and yellow triangle on the right remain highlighted.

Intuitive argument
Steps
  1. Expression
    Explanation

    Recognize that the construction has produced two right triangles rather than one oblique triangle.

    Justification

    The altitude is perpendicular to the base, so each smaller triangle contains a right angle.

    Derived from the video
  2. Expression
    Explanation

    Therefore the Pythagorean theorem is now applicable to each smaller triangle separately.

    Justification

    Pythagorean theorem applies to right triangles.

    Shown in the video
  3. Expression
    Explanation

    Also, right-triangle trigonometric ratios such as SOHCAHTOA are applicable within each smaller triangle.

    Justification

    The speaker explicitly states that trig functions are fair game once separate right triangles are available.

    Shown in the video
Conclusion

The proof is ready to proceed by applying right-triangle relations to the blue and yellow triangles individually.

Derive the expanded equation for a2a^2 from the left sub-triangle

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board shows a2=(c−x)2+h2a^2 = (c-x)^2 + h^2, then (c-x)(c-x), then c2c^2 - cx - cx + x2x^2, then c2−2c^2 - 2cx + x2x^2, then a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2.

  2. Audio
    Observation

    The speaker narrates applying the Pythagorean theorem, expanding with distributive property or FOIL, and keeping + h2h^2 off to the side.

Proof
Steps
  1. Expression
    a2=(c−x)2+h2a^2 = (c-x)^2 + h^2
    Explanation

    Apply the Pythagorean theorem to the blue right triangle whose legs are c-x and h and whose hypotenuse is a.

    Justification

    Pythagorean theorem on a right triangle.

    Shown in the video
  2. Expression
    (c−x)2=(c−x)(c−x)(c-x)^2 = (c-x)(c-x)
    Explanation

    Rewrite the squared binomial as a product so it can be distributed.

    Justification

    Definition of squaring a binomial.

    Shown in the video
  3. Expression
    (c−x)(c−x)=c2−cx−cx+x2(c-x)(c-x) = c^2 - cx - cx + x^2
    Explanation

    Multiply term by term using FOIL / distributive property.

    Justification

    Distributive property of multiplication over addition/subtraction.

    Shown in the video
  4. Expression
    c2−cx−cx+x2=c2−2cx+x2c^2 - cx - cx + x^2 = c^2 - 2cx + x^2
    Explanation

    Combine the two identical middle terms.

    Justification

    Combining like terms.

    Shown in the video
  5. Expression
    a2=c2−2cx+x2+h2a^2 = c^2 - 2cx + x^2 + h^2
    Explanation

    Substitute the expanded form back into the original Pythagorean equation.

    Justification

    Substitution of equals for equals.

    Shown in the video
Conclusion

The left-side relation becomes a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2.

Derive x2=b2−h2x^2 = b^2 - h^2 from the right sub-triangle

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board shows b2=h2+x2b^2 = h^2 + x^2 and then b2−h2=x2b^2 - h^2 = x^2.

  2. Audio
    Observation

    The speaker says he will do Pythagorean theorem for the yellow triangle and then solve for x squared.

Proof
Steps
  1. Expression
    b2=h2+x2b^2 = h^2 + x^2
    Explanation

    Apply the Pythagorean theorem to the yellow right triangle with legs h and x and hypotenuse b.

    Justification

    Pythagorean theorem on a right triangle.

    Shown in the video
  2. Expression
    b2−h2=x2b^2 - h^2 = x^2
    Explanation

    Move h2h^2 to the other side to isolate x2x^2.

    Justification

    Subtract h2h^2 from both sides of the equation.

    Shown in the video
Conclusion

The auxiliary quantity x2x^2 is expressed as b2−h2b^2 - h^2.

Derivation of the Law of Cosines from two right triangles and a cosine substitution

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Continuous spoken derivation from substitution of x2x^2 through cosine elimination of x.

  2. Formula
    Observation

    Sequence of displayed equations: a2=(c−x)2+h2a^2=(c-x)^2+h^2, b2=h2+x2b^2=h^2+x^2, b2−h2=x2b^2-h^2=x^2, a2=c2−2a^2=c^2-2cx+x2+h2x^2+h^2, a2=c2−2a^2=c^2-2cx+b2−h2+h2b^2-h^2+h^2, a2=c2−2a^2=c^2-2cx+b2b^2, cos⁡A=x/b\cos A=x/b, bcos⁡(A)=xb \cos (A)=x, a2=c2−2a^2=c^2-2cb cos⁡(A)+b2\cos (A)+b^2.

Uncertainties
  1. The clip begins after some setup has already been written, so the initial construction of the altitude is not fully shown within this excerpt.

Proof
Steps
  1. Expression
    a2=(c−x)2+h2a^2 = (c-x)^2 + h^2
    Explanation

    Start from the left right triangle formed by the altitude.

    Justification

    Pythagorean theorem applied to the triangle with hypotenuse a and legs c-x and h.

    Shown in the video
  2. Expression
    b2=h2+x2b^2 = h^2 + x^2
    Explanation

    Write the corresponding relation for the right right triangle.

    Justification

    Pythagorean theorem applied to the triangle with hypotenuse b and legs h and x.

    Shown in the video
  3. Expression
    b2−h2=x2b^2 - h^2 = x^2
    Explanation

    Rearrange the second relation to isolate x2x^2.

    Justification

    Algebraic subtraction of h2h^2 from both sides.

    Shown in the video
  4. Expression
    a2=c2−2cx+x2+h2a^2 = c^2 - 2cx + x^2 + h^2
    Explanation

    Expand the square in the first relation.

    Justification

    Binomial expansion of (c-x)^2.

    Shown in the video
  5. Expression
    a2=c2−2cx+b2−h2+h2a^2 = c^2 - 2cx + b^2 - h^2 + h^2
    Explanation

    Replace x2x^2 by b2−h2b^2-h^2 in the expanded equation.

    Justification

    Substitution using the isolated expression for x2x^2.

    Shown in the video
  6. Expression
    a2=c2−2cx+b2a^2 = c^2 - 2cx + b^2
    Explanation

    Cancel the opposite h2h^2 terms.

    Justification

    Additive inverse cancellation: -h^2+h2=02 + h^2 = 0.

    Shown in the video
  7. Expression
    cos⁡A=xb\cos A = \frac{x}{b}
    Explanation

    Express x using trigonometry in the right triangle containing angle A.

    Justification

    Definition of cosine as adjacent over hypotenuse.

    Shown in the video
  8. Expression
    bcos⁡(A)=xb\cos(A) = x
    Explanation

    Solve the cosine equation for x.

    Justification

    Multiply both sides by b.

    Shown in the video
  9. Expression
    a2=c2−2cbcos⁡(A)+b2a^2 = c^2 - 2cb\cos(A) + b^2
    Explanation

    Substitute x=bcos⁡(A)x = b \cos (A) into the reduced equation.

    Justification

    Direct substitution into the term -2cx.

    Shown in the video
Conclusion

The displayed derivation obtains the Law of Cosines in the form a2=c2−2a^2 = c^2 - 2cb\cos(A) + b2b^2 for the triangle shown.

Derivation of the Law of Cosines from two right triangles

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board displays the sequence a2=(c−x)2+h2a^2=(c-x)^2+h^2, then expansion, substitution of b2−h2b^2-h^2 for x2x^2, cancellation of h2h^2, simplification to a2=c2−2a^2=c^2-2cx+b2b^2, and substitution x=bcos⁡(A)x=b \cos (A).

  2. Audio
    Observation

    The speaker narrates the rearrangement into standard form and summarizes the proof steps.

Uncertainties
  1. The earlier algebraic lines are already present at the start of the clip, so the exact moment when each prior line was first written is not visible in this excerpt.

Proof
Steps
  1. Expression
    a2=(c−x)2+h2a^2 = (c-x)^2 + h^2
    Explanation

    Apply the Pythagorean theorem to the left right triangle, whose legs are h and c-x and whose hypotenuse is a.

    Justification

    Pythagorean theorem on the left triangle.

    Shown in the video
  2. Expression
    a2=c2−2cx+x2+h2a^2 = c^2 - 2cx + x^2 + h^2
    Explanation

    Expand (c-x)^2 and keep the h2h^2 term.

    Justification

    Algebraic expansion of a square.

    Shown in the video
  3. Expression
    a2=c2−2cx+(b2−h2)+h2a^2 = c^2 - 2cx + (b^2 - h^2) + h^2
    Explanation

    Replace x2x^2 using the right-triangle relation b2=h2+x2b^2 = h^2 + x^2, which gives x2=b2−h2x^2 = b^2 - h^2.

    Justification

    Substitution from the Pythagorean theorem on the right triangle.

    Shown in the video
  4. Expression
    a2=c2−2cx+b2a^2 = c^2 - 2cx + b^2
    Explanation

    Cancel +h2h^2 and -h^2.

    Justification

    Algebraic simplification.

    Shown in the video
  5. Expression
    x=bcos⁡Ax = b\cos A
    Explanation

    From the right triangle containing angle A, use the cosine ratio cos⁡A=x/b\cos A = x/b.

    Justification

    Definition of cosine in a right triangle (SOHCAHTOA).

    Shown in the video
  6. Expression
    a2=c2−2cbcos⁡(A)+b2a^2 = c^2 - 2cb\cos(A) + b^2
    Explanation

    Substitute x=bcos⁡Ax = b \cos A into the previous line.

    Justification

    Direct substitution.

    Shown in the video
  7. Expression
    a2=b2+c2−2bccos⁡(A)a^2 = b^2 + c^2 - 2bc\cos(A)
    Explanation

    Reorder terms into the standard law-of-cosines form.

    Justification

    Commutative rearrangement of addition.

    Shown in the video
Conclusion

The clip derives the law of cosines in the form a2=b2+c2−2a^2 = b^2 + c^2 - 2bc\cos(A).

Visual events · 12

Title card

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Black background with handwritten white title Law of Cosines Proof.

Objects
  1. Handwritten title text

Changes
  1. Static title remains on screen while the speaker introduces the topic.

Invariants
  1. No triangle diagram yet.

Interpretation

The clip is framed as a proof of the law of cosines rather than just formula usage.

Initial triangle and problem statement

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A scalene triangle appears with labels a, b, c, and angle A; text reads Given c, b, and A and find an expression to solve for a.

Objects
  1. Triangle

  2. Labels a, b, c, A

  3. Prompt text

Changes
  1. The triangle and givens are introduced all at once.

Invariants
  1. The target unknown is side a.

  2. The known data are c, b, and A.

Interpretation

This establishes the SAS-style configuration used for deriving the law of cosines.

Dropping the altitude

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A vertical segment is drawn from the top vertex to the base, followed by a small square right-angle marker at the foot.

Objects
  1. Original triangle

  2. Altitude segment

  3. Right-angle marker

Changes
  1. A perpendicular segment is added from the top vertex to the base.

  2. A right-angle symbol marks the foot of the altitude.

Invariants
  1. The outer triangle sides a, b, c and angle A remain the same.

Interpretation

The construction converts the oblique triangle problem into a pair of right-triangle problems.

Highlighting the two right triangles

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The left inner triangle is outlined in blue and the right inner triangle in yellow.

Objects
  1. Blue-outlined left right triangle

  2. Yellow-outlined right right triangle

Changes
  1. Color emphasis separates the two newly formed right triangles.

Invariants
  1. Both share the same altitude as a common vertical side.

Interpretation

The color coding clarifies which parts belong to which right triangle for the upcoming algebra.

Labeling the altitude and split base

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Labels h, x, and c-x are written on the altitude and the two base segments.

Objects
  1. Altitude label h

  2. Right base label x

  3. Left base label c-x

Changes
  1. New symbolic labels are added to the geometric construction.

Invariants
  1. The total base remains c=x+(c−x)c = x + (c-x).

Interpretation

The diagram now expresses both right triangles entirely in terms of h, x, c-x, a, and b.

Static geometric setup for the proof

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A large triangle is drawn with base c, left side a, right side b, top vertex connected to the base by altitude h, and the base split into c-x on the left and x on the right; a right-angle mark appears at the foot of the altitude.

  2. Caption evidence
    Observation

    Top text reads Given C, b, and A and find an expression to solve for a.

Uncertainties
  1. The top text writes C while the diagram labels the base as c.

Objects
  1. large triangle

  2. left sub-triangle

  3. right sub-triangle

  4. altitude h

  5. base segments c-x and x

  6. right-angle marker

  7. labels a, b, c, A, h, x

Changes
  1. Equations are written sequentially beneath and beside the figure as the derivation proceeds.

Invariants
  1. The altitude remains perpendicular to the base throughout.

  2. The decomposition c=(c−x)+xc = (c-x) + x stays fixed in the diagram.

Interpretation

The picture encodes two right triangles sharing the same altitude h, which allows the law-of-cosines derivation to proceed by applying the Pythagorean theorem separately to each sub-triangle.

FOIL visualization for binomial expansion

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Curved arrows connect the terms in (c-x)(c-x) to show first, outer, inner, and last products.

Objects
  1. (c-x)(c-x)

  2. curved multiplication arrows

Changes
  1. Arrows indicate pairwise multiplication of terms before the expanded polynomial is written.

Invariants
  1. The product being expanded remains (c-x)(c-x).

Interpretation

The arrow diagram makes explicit that the middle terms arise from the outer and inner products, both equal to -cx.

Pointer emphasizes unwanted auxiliary variables

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The cursor points near the terms involving x and h in the equation a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2 while the speaker discusses getting rid of these x's and h's.

Objects
  1. equation a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2

  2. cursor

Changes
  1. Attention shifts to the x and h terms as the next algebraic target.

Invariants
  1. The equation itself does not change during this moment.

Interpretation

This visual cue marks the transition from deriving an expanded formula to planning variable elimination.

Static whiteboard geometry setup

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A large triangle is drawn with a vertical altitude splitting it into a blue left right triangle and a yellow right right triangle.

  2. Diagram
    Observation

    Labels a, b, c, h, x, c-x, and A remain visible throughout the clip.

Objects
  1. large triangle

  2. altitude h

  3. left right triangle

  4. right right triangle

  5. labels a,b,c,h,x,c-x,A

Changes
  1. New algebra lines are added below the diagram as the proof proceeds.

  2. The cosine relation is added on the right side of the board late in the clip.

Invariants
  1. The geometric decomposition into two right triangles stays fixed.

  2. The labels on the triangle do not change during the excerpt.

Interpretation

The visual layout encodes the proof strategy: use the altitude to create two right triangles, relate their sides by the Pythagorean theorem, then eliminate auxiliary lengths using the given angle A.

Color highlighting of substituted terms

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker says he will use color to help viewers see the substitution and later says 'wrong color, green'.

  2. Diagram
    Observation

    The substituted terms are written in contrasting colors on the new lines.

Uncertainties
  1. Exact color assignment of every symbol is not fully stable across frames, but the speaker clearly uses color to mark substituted pieces.

Objects
  1. x2x^2 term

  2. b2−h2b^2-h^2 substitution

  3. bcos⁡(A)b \cos (A) substitution

Changes
  1. The x2x^2 term is visually replaced by b2−h2b^2-h^2.

  2. Later the x in -2cx is replaced by bcos⁡(A)b \cos (A).

Invariants
  1. The underlying algebraic equality is unchanged except for the indicated substitutions.

Interpretation

Color is used pedagogically to track which subexpression is being replaced at each step of the derivation.

Overall whiteboard layout

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A black digital whiteboard shows a large triangle at upper left, a vertical altitude h, base segments c-x and x, and multiple handwritten equations below and to the right.

Objects
  1. Large triangle labeled a, b, c

  2. Altitude h

  3. Base segments c-x and x

  4. Angle A at lower right

  5. Handwritten equations below the triangle

  6. Green cosine relations at upper right

  7. Blue boxed final formula at lower right

Changes
  1. The main new writing during the clip is the blue final formula a2=b2+c2−2a^2 = b^2 + c^2 - 2bc cos⁡(A)\cos (A).

  2. A blue box is drawn around the final formula near the end.

Invariants
  1. The triangle diagram and earlier derivation lines remain visible throughout the clip.

Interpretation

The visual organization separates geometric setup, intermediate algebra, trigonometric substitution, and the final standard-form result.

Highlighting the final result

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    After the final formula is completed, a blue rectangular outline is drawn around it.

Objects
  1. Final formula a2=b2+c2−2a^2 = b^2 + c^2 - 2bc cos⁡(A)\cos (A)

  2. Blue rectangular box

Changes
  1. The completed formula becomes enclosed in a box.

Invariants
  1. The formula content itself does not change after boxing.

Interpretation

The boxing marks the formula as the concluding result of the proof.

Misconceptions · 6

Do not try to treat the original oblique triangle as a right triangle

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says dealing with non-right triangles is pretty difficult, so usually the first step is to take this non-right triangle and drop an altitude.

Misconception

One might expect to apply right-triangle formulas directly to the original non-right triangle.

Clarification

The video instead first converts the figure into two right triangles by dropping an altitude.

Use right-triangle tools only within each smaller triangle

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says we're allowed to use Pythagorean theorem and those trig functions, so SOHCAHTOA, both of those are fair game now as long as we use them with separate right triangles.

Misconception

After introducing trig ratios and Pythagorean theorem, one might mix relations across the whole original triangle.

Clarification

The speaker explicitly restricts their use to the separate right triangles created by the altitude.

Mistaking a relabeled Pythagorean equation for a new theorem

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    This is essentially a squared plus b squared equals c squared, just looks a little bit more fancy.

Misconception

Because the equation is written as a2=(c−x)2+h2a^2 = (c-x)^2 + h^2, one may think it is no longer the Pythagorean theorem.

Clarification

It is exactly the Pythagorean theorem applied to a right triangle whose legs are c-x and h and whose hypotenuse is a.

Skipping the binomial expansion step

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    I know that this is very counterintuitive, but let's go ahead and expand this.

Misconception

One might try to manipulate a2=(c−x)2+h2a^2 = (c-x)^2 + h^2 without expanding (c-x)^2 first.

Clarification

The video explicitly expands (c-x)^2 into c2−2c^2 - 2cx + x2x^2 so the later cancellation and substitution can be seen.

Confusing auxiliary variables with the target unknown

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker contrasts having x, x2x^2, and h2h^2 with ending at only one remaining unknown.

Misconception

One might think the equation still has several independent unknowns after expansion.

Clarification

The video emphasizes that substitution removes h2h^2 entirely and later removes x, leaving an expression for a2a^2 in terms of the given quantities b, c, and A.

Assuming the pictured proof automatically covers every triangle shape without comment

Clear evidence
Supplementary explanation
Evidence
  1. Diagram
    Observation

    The drawn altitude falls inside the base, matching an acute-angle picture.

  2. Audio
    Observation

    The speaker summarizes the proof without discussing other configurations.

Misconception

One might think the displayed argument explicitly treats all possible triangle shapes in this clip.

Clarification

The clip visibly proves the formula for the drawn configuration with an internal altitude; it does not separately discuss obtuse or right-triangle cases in this excerpt.

Concept relations · 18

Purpose of the law of cosines → Given information and goal of the proof

Clear evidence
Derived from the video
Evidence
  1. Audio
    Observation

    Speaker moves from saying the law of cosines helps with non-right triangles to stating the specific givens c, b, A and target a.

Application
Explanation

The general usefulness of the law of cosines is instantiated by the specific triangle-solving goal shown on screen.

Given information and goal of the proof → Dropping an altitude to create right triangles

Clear evidence
Derived from the video
Evidence
  1. Audio
    Observation

    After stating the givens, the speaker says the usual first step for non-right triangles is to drop an altitude.

Application
Explanation

The given oblique-triangle problem motivates the altitude construction.

Dropping an altitude to create right triangles → Two right triangles from one altitude

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says dropping the altitude creates two right triangles from one non-right triangle.

  2. Diagram
    Observation

    Blue and yellow outlines show the two resulting right triangles.

Contains
Explanation

The altitude method produces the pair of right triangles as its immediate geometric result.

Two right triangles from one altitude → Naming the altitude and split base segments

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker names h, x, and c-x after the two right triangles have been identified.

  2. Diagram
    Observation

    Labels are added to the altitude and base segments.

Contains
Explanation

Describing the two right triangles requires naming the shared altitude and the split base segments.

Naming the altitude and split base segments → Why Pythagorean theorem and trig ratios become available

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says because we have two right triangles, we're allowed to use Pythagorean theorem and trig functions.

Prerequisite
Explanation

Only after the figure is expressed as two right triangles with labeled legs can Pythagorean theorem and SOHCAHTOA be applied in the proof.

Dropping an altitude to create right triangles → Why Pythagorean theorem and trig ratios become available

Clear evidence
Derived from the video
Evidence
  1. Audio
    Observation

    The altitude is introduced specifically so the non-right triangle can be handled with right-triangle tools.

Proof dependency
Explanation

The availability of Pythagorean theorem in the proof depends on first constructing the altitude.

Pythagorean theorem used as analogy → Pythagorean relation for the left sub-triangle

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker says the equation is essentially a squared plus b squared equals c squared.

  2. Formula
    Observation

    a2=(c−x)2+h2a^2 = (c-x)^2 + h^2 is written from the blue sub-triangle.

Application
Explanation

The general Pythagorean theorem is instantiated on the left right-triangle formed by the altitude.

Pythagorean theorem used as analogy → Pythagorean relation for the right sub-triangle

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    I'm going to go ahead and do Pythagorean theorem for that as well.

  2. Formula
    Observation

    b2=h2+x2b^2 = h^2 + x^2 is written from the yellow sub-triangle.

Application
Explanation

The same theorem is applied again to the second right triangle created by the altitude.

Expansion of (c-x)^2 by FOIL → Substitute the expansion back into the left-triangle equation

Clear evidence
Derived from the video
Evidence
  1. Formula
    Observation

    The board first derives c2−2c^2 - 2cx + x2x^2 and then writes a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2.

Proof dependency
Explanation

The substituted equation for a2a^2 depends directly on the prior expansion of (c-x)^2.

Strategy claim: eliminate x and h to obtain an expression for a → Isolate x2x^2 from the right-triangle equation

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    If I can find a way to get rid of these x's and h's, then I have an equation for a.

  2. Formula
    Observation

    After writing a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2, the speaker derives b2−h2=x2b^2 - h^2 = x^2.

Proof dependency
Explanation

Solving for x2x^2 from the right sub-triangle is presented as the next step toward eliminating auxiliary variables from the equation for a2a^2.

Pythagorean relation for the right right triangle → Isolating x2x^2 from the right-triangle equation

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board moves from b2=h2+x2b^2=h^2+x^2 to b2−h2=x2b^2-h^2=x^2 and then substitutes that into the a2a^2 expansion.

Proof dependency
Explanation

The isolation of x2x^2 depends directly on the right-triangle Pythagorean relation.

Substituting b2−h2b^2-h^2 for x2x^2 → Cancellation of the h2h^2 terms

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    After writing a2=c2−2a^2=c^2-2cx+b2−h2+h2b^2-h^2+h^2, the next line cancels to a2=c2−2a^2=c^2-2cx+b2b^2.

Proof dependency
Explanation

The cancellation step is only available after substituting b2−h2b^2-h^2 for x2x^2.

Find an answer · 19

Why does the video say the law of cosines is important?

Clear evidence
Derived from the video
Evidence
  1. Audio
    Observation

    Speaker explains the importance of the law of cosines for non-right triangles.

Knowledge points
  1. Purpose of the law of cosines

What are the given quantities and the target unknown in this proof setup?

Clear evidence
Derived from the video
Evidence
  1. Diagram
    Observation

    On-screen prompt states Given c, b, and A; find an expression to solve for a.

Knowledge points
  1. Given information and goal of the proof

What is the first geometric step used to handle the non-right triangle?

Clear evidence
Derived from the video
Evidence
  1. Audio
    Observation

    Speaker says the usual first step is to drop an altitude from the top of the non-right triangle.

Knowledge points
  1. Dropping an altitude to create right triangles

How does the altitude change the original triangle into two usable figures?

Clear evidence
Derived from the video
Evidence
  1. Diagram
    Observation

    Blue and yellow outlines distinguish the two right triangles.

Knowledge points
  1. Two right triangles from one altitude

What do h, x, and c-x represent in the diagram?

Clear evidence
Derived from the video
Evidence
  1. Diagram
    Observation

    Labels h, x, and c-x are added to the construction.

Knowledge points
  1. Naming the altitude and split base segments

Why can Pythagorean theorem and trig ratios be used at this point in the proof?

Clear evidence
Derived from the video
Evidence
  1. Audio
    Observation

    Speaker says Pythagorean theorem and SOHCAHTOA are now fair game because there are two right triangles.

Knowledge points
  1. Why Pythagorean theorem and trig ratios become available

Why can the Pythagorean theorem be applied to the left sub-triangle in this law-of-cosines proof?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    I know the hypotenuse squared is equal to the two legs of the triangle squared.

Knowledge points
  1. Pythagorean relation for the left sub-triangle
  2. Pythagorean theorem used as analogy

How is (c-x)^2 expanded step by step in the derivation?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    (c-x)(c-x) = c2−2c^2 - 2cx + x2x^2 is shown with FOIL arrows.

Knowledge points
  1. Expansion of (c-x)^2 by FOIL

What is the strategy for removing x and h after obtaining a2=c2−2a^2 = c^2 - 2cx + x2+h2x^2 + h^2?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    If I can find a way to get rid of these x's and h's, then I have an equation for a.

Knowledge points
  1. Strategy claim: eliminate x and h to obtain an expression for a
  2. Isolate x2x^2 from the right-triangle equation

How does the proof use the yellow right triangle to express x2x^2?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    b2=h2+x2b^2 = h^2 + x^2 and b2−h2=x2b^2 - h^2 = x^2 are written on screen.

Knowledge points
  1. Pythagorean relation for the right sub-triangle
  2. Isolate x2x^2 from the right-triangle equation

How does the proof get rid of the altitude h?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker explains replacing x2x^2 with b2−h2b^2-h^2 so that -h^2 and +h2h^2 cancel.

Knowledge points
  1. Isolating x2x^2 from the right-triangle equation
  2. Substituting b2−h2b^2-h^2 for x2x^2
  3. Cancellation of the h2h^2 terms

How is the remaining x removed to obtain the Law of Cosines?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker says they need a way to get rid of x and then uses cosine of angle A.

Knowledge points
  1. Cosine ratio in the right yellow triangle
  2. Solving the cosine relation for x
  3. Final Law of Cosines expression derived on screen
Coverage and review notes

Covered · Introductory motivation for proving the law of cosines.

Covered · Given triangle data and goal to solve for a.

Covered · Construction of the altitude and creation of two right triangles.

Covered · Visual separation of the two right triangles by color.

Covered · Naming h, x, and c-x on the altitude and split base.

Covered · Explanation that Pythagorean theorem and SOHCAHTOA can now be applied to the separate right triangles.

Covered · Left sub-triangle Pythagorean setup and analogy to a2+b2=c2a^2+b^2=c^2.

Covered · Expansion of (c-x)^2 and substitution back into the equation for a2a^2.

Covered · Speaker explains the goal of eliminating x and h to obtain an expression for a.

Covered · Right sub-triangle Pythagorean relation and rearrangement to x2=b2−h2x^2 = b^2 - h^2.

Covered · The entire excerpt consists of a continuous whiteboard derivation of the Law of Cosines from the displayed triangle setup, with no separate non-mathematical segment.

Covered · The board already shows the geometric setup and intermediate algebra while the speaker introduces rearranging into standard form.

Covered · The speaker writes the final formula a2=b2+c2−2a^2 = b^2 + c^2 - 2bc cos⁡(A)\cos (A) term by term.

Covered · The final formula is boxed, and the speaker verbally summarizes the proof strategy and its limitations in the shown configuration.

Explore the knowledge in this video

Open video knowledge graph →

  • Law of cosines ProofAt 0:00
    Why this connection?

    Reviewed English material v1: card "Given data and target unknown" at 0:21 — The setup shows a triangle with known sides c and b and known angle A. The goal is to derive an expression for the remaining side a.