Search

1295

a b c

Prove the diameter of the red circle is $a+b+c$.