Pythagorean theorem: If a triangle is a right triangle (has a right angle), then a2+b2=c2. Converse: If a2+b2=c2 in a triangle with c is the longest side, then a triangle is a right triangle. If a triangle is not a right triangle, there are 2 other options for types of triangles.