I have the following problem: Let $K$ be the equilateral triangle centered at 0. Assume that $f$ is continuous on $K$ and analytic inside of $K$, and assume that $|f(z)|\leq 8$ on one of the sides and $|f(z)|\leq 1$ on two other sides. Show that $|f(0)|\leq 2$.
For a solution, I have that when you define maps $f_1(z)=f(e^{\frac{2\pi i}{3}}z)$ and $f_2(z)=f(e^{\frac{4\pi i}{3}}z)$, that the center stays in place yet the sides rotate. Using the maximum modulus principle, you can get that $|f(0)f_1(0)f_2(0)|\leq 8$, which gives that $|f(0)|^3 \leq 8$ or just $|f(0)|\leq 2$. I'm just a little confused on how the maximum modulus principle can be implied and was wondering if someone could provide a detailed explanation.
$\endgroup$1 Answer
$\begingroup$Let $g(z) = f(z)f_1(z)f_2(z)$. Then $g$ is continuous on $K$ and analytic inside. On $\partial K$, $|g(z)| \le 8 \cdot 1 \cdot 1$. (On each edge of the triangle, one of the factors is bounded by $8$ and the other two factors by $1$.)
The maximum principle shows that $|g(0)| \le 8$ and you finish off as you have already said yourself.
$\endgroup$ 4
