Suppose we have a string with length of $l$ what is the shape that has highest area?
In other words,with a constant perimeter of $l$ what is the shape with the highest area?
P.S:My own speculation is circle with the perimeter of $l$ but I can't really prove it.
Your intuition is correct. The isoperimetric inequality states that a shape with area $A$ and perimeter $P$ (your $l$) satisfies $$A \le \frac{P^2}{4\pi}.$$ Equality holds in the case of a circle. If the radius is $r$ then $A = \pi r^2 = \dfrac{(2 \pi r)^2}{4\pi} = \dfrac{P^2}{4\pi}$.
Both the proof of the isometric inequality and the fact that equality holds only for circles aren't entirely trivial. The article in the link is a good place to start looking for references.