Proving a Pythagorean Relation in an Isosceles Right Triangle | Problems