The Pythagorean theorem
Warm-upHumanA right triangle has legs cm and cm. How long is the hypotenuse, in cm?
A right triangle has legs cm and cm. How long is the hypotenuse, in cm?
A right triangle has hypotenuse and one leg . How long is the other leg?
What is the straight-line distance between the points and ?
Which of these triangles has a right angle?
A right triangle has one leg and hypotenuse . Rahul writes and says the third side is . What went wrong?
In the first rearrangement proof, why is the shape in the middle of the left picture a square?
Use Euclid's formula with and . What is the hypotenuse of the triple you get?
A triangle has sides , and . What kind of angle is opposite the side ?
In the Lean file, sqDist A B is the square of the distance and IsRightAngleAt A B C says the angle at is a right angle. Which statement is the converse of the Pythagorean theorem?
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.