Suppose we draw semicircles on the sides of a triangle and compute their areas. If the sum of the areas of two of the semicircles equals the area of the third, is the triangle a right triangle?

Yes.
(pi/2)(a^2 + b^2) = (pi/2) c^2
if and only if
a^2 + b^2 = c^2,
and that requires a right angle triangle.

To understand why the triangle must be a right triangle in this scenario, let's break down the steps.

We start by drawing semicircles on the sides of a triangle. Let's call the sides of the triangle a, b, and c, with c being the longest side.

The area of a semicircle is given by (π/2) * r^2, where r is the radius of the semicircle.

Let's say the areas of two semicircles on sides a and b are Aa and Ab, respectively, and the area of the semicircle on side c is Ac.

Given that the sum of the areas of two semicircles equals the area of the third, we have:

Aa + Ab = Ac

Substituting the formula for the area of a semicircle, we get:

(π/2) * ra^2 + (π/2) * rb^2 = (π/2) * rc^2

Canceling out (π/2) from both sides, we get:

ra^2 + rb^2 = rc^2

Comparing this equation with the Pythagorean theorem a^2 + b^2 = c^2, we observe that they have the same form.

This means that if the sum of the areas of two semicircles equals the area of the third, then the equation ra^2 + rb^2 = rc^2 is satisfied. This equation is only true for right triangles, where the Pythagorean theorem holds.

Therefore, if the sum of the areas of two semicircles on the sides of a triangle equals the area of the third semicircle, then the triangle must be a right triangle.