The Last Safe Positive Real Number
A complex set, one real slice
The full Mandelbrot set is built by choosing a complex number , starting at , and repeating
If some iterate has , the orbit escapes and is outside the set. This problem studies only positive real values of . Then every is real, so all the work below uses ordinary real-number algebra.
What is the greatest positive real in the set?
Write a complete proof on separate paper.
A greatest-value proof has two jobs: include the candidate, then exclude every larger value. The two certificates below divide those jobs.
-
Build a safe zone. Let . Assume a current value satisfies . Prove that the next value also satisfies . Then use to explain why this orbit never escapes.
-
Page 2 · Exclude every larger value
Move just to the right. Let , where . Rewrite the step increase as a square plus :
Use your rewrite to prove that at every step.
-
Force an escape. Explain why the guaranteed increase gives . Then choose a whole-number step that makes .
-
Close both sides. State the greatest positive real value of in the Mandelbrot set. Explain how Part 1 proves that value is included and Parts 2–3 rule out every larger positive real value.