text: # 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.