Skip to content
The Lumenary

Practice · Grades 6–8

The Pythagorean theorem

The Pythagorean theorem

Warm-upHuman

A right triangle has legs 88 cm and 1515 cm. How long is the hypotenuse, in cm?

The Pythagorean theorem

Warm-upHuman

A right triangle has hypotenuse 1313 and one leg 55. How long is the other leg?

The Pythagorean theorem

CoreHuman

What is the straight-line distance between the points (1,5)(1, 5) and (7,−3)(7, -3)?

The Pythagorean theorem

CoreHuman

Which of these triangles has a right angle?

Choose one

The Pythagorean theorem

CoreHuman

A right triangle has one leg 66 and hypotenuse 1010. Rahul writes 62+102=1366^2 + 10^2 = 136 and says the third side is 136≈11.7\sqrt{136} \approx 11.7. What went wrong?

Choose one

The Pythagorean theorem

CoreHuman

In the first rearrangement proof, why is the shape in the middle of the left picture a square?

Choose one

The Pythagorean theorem

StretchHuman

Use Euclid's formula (m2−n2, 2mn, m2+n2)(m^2 - n^2,\ 2mn,\ m^2 + n^2) with m=5m = 5 and n=2n = 2. What is the hypotenuse of the triple you get?

The Pythagorean theorem

StretchHuman

A triangle has sides 77, 88 and 1111. What kind of angle is opposite the side 1111?

Choose one

The Pythagorean theorem

CoreFormal

In the Lean file, sqDist A B is the square of the distance ABAB and IsRightAngleAt A B C says the angle at CC is a right angle. Which statement is the converse of the Pythagorean theorem?

Choose one

The Pythagorean theorem

StretchComputational

Write a function is_right(a, b, c) that returns True if a triangle with sides a, b, c (given in any order) has a right angle, and False otherwise. Use whole numbers, so the test is exact.

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.