Intersection Area

Where i is real

Komplexiti guide

+ Add Blank Tile

− Clear All Tiles

Demo Sets

Complex Numbers & Arithmetic

Cartesian, polar & exponential forms, and quotient z = a/b

Complex Equations

Rational equation, cube roots of −27 and 8i in exponential form

Loci

Circle, inscribed arc, Joukowski locus

Draggable Points

Drag foci a and b on the diagram (grid-snapped) to watch their perpendicular bisector transform live

Line Loci

Horizontal line, vertical line, and perpendicular bisector

Equations with Conjugates

Four roots in Cartesian form: two real, two complex

Conjugate Loci

Loci involving z̅ — a line, modulus with conjugate, and a non-standard locus

Inequalities

Compound arg inequality, strict circle, strict perpendicular bisector half-plane

Extrema

Circle with exact integer modulus extrema and exact arg extrema at 15° and 75°

Exact Area

π/6≤arg((z−1)/(z+1))≤π/2: an arg-sandwich lens with an exact two-term area, 17π/6+√3

Intersection Area

An arg-sandwich wedge combined with a separate annulus: their exact overlap area, 3π/4, appears as a bottom-right badge

Union of Loci

(arg(z)−π/4)(|z|−2)=0: a factored equation drawing the ray and the circle together, with phase/modulus colouring

Mixed Union

(|z|−1)(sec(z)−1)=0: a circle plus sec(z)=1's compact periodic roots and poles, drawn and listed together, with phase/modulus colouring

Poles & Holes

Rational equation with a shared factor: a hole and a genuine pole, both shown by default

Phase & Modulus Colouring

The same rational equation, with phase/modulus (domain) colouring switched on alongside its pole and hole

Gamma Function

Γ(2z−1) with poles and phase/modulus colouring

Zeta Function

ζ(z) with trivial zeros, its pole, and phase/modulus colouring

Eta Function

η(z) (Dirichlet eta), with its zero families and phase/modulus colouring

Eta Function (High Degree)

η(z²⁰) with phase/modulus colouring, showing the 20-fold rotational symmetry from the z²⁰ substitution

Essential Singularity

e^1/z=0, no roots but an essential singularity at z=0, with phase/modulus colouring

Non-isolated Singularity

1/(z+sin(1/z²))=0, an accumulation point of poles at z=0 - too wild even to be an isolated essential singularity

Rational Function

(z²−1)/(z²+1)=0, roots at ±1 and poles at ±i, with phase/modulus colouring

Möbius Transformation

(z−i)/(2z+1)=0, root at z=i and pole at z=−1/2, with phase/modulus colouring

Nested Cosine Fractal

A 4-fold nested xcos(xcos(…))=0 whose zero locus shows intricate fractal-like structure, with banded phase/modulus colouring - try the high-resolution snapshot button for extra detail

Cosine-Exponential Fractal

e^cos(z²)=0 has no roots (e^w is never 0) but its modulus swings between astronomically huge and tiny, producing striking black/white fractal-like fan patterns, with phase/modulus colouring

Custom-Base Logarithm

log_z(i)=2, solved for the base z itself: a single root at z=e^iπ/4=√2/2+√2/2 i, with phase/modulus colouring

That's all Folks

⌊|z|⌋=1 is the annulus 1≤|z|<2, drawn solid by phase/modulus colouring since floor is constant across it rather than crossing zero on a curve

Extreme Exponent Spiral

z¹⁺¹⁰ⁱcos((z-1)/(z¹³+z+1))=0: the 10i exponent swings |f(z)| across ~28 orders of magnitude between half-planes, so it opens in Phase shading (hue only) rather than Smooth/Banded, which would otherwise render half the plane solid black

Viewing shared expressions

Click to return to your saved expressions

How to use Komplexiti

Complex Numbers & Constants

Cartesian form: a = 1 + 2i or z = 3 - 4i

Modulus-argument: z = 2*e^(i*pi/3) or 2(cos(pi/4) + i*sin(pi/4))

Functions & Operations: abs(z), mod(z), arg(z), conj(z), re(z), im(z)

Gamma, zeta & eta functions: Type out gamma(z), zeta(z) or eta(z) letter by letter to insert Γ(z), ζ(z) or η(z)

Dynamic vectors: Define variables (e.g. w = a + b, z = a*b, z = a/b)

Polynomial Equations & Roots

Roots of unity / powers: z^3 = 1, z^4 = -16, z^5 = 1 + i

Polynomials: z^2 + 2z + 5 = 0, z^3 - 3z + 2 = 0

Display format: Click the format badge below an equation to cycle Cartesian ↔ Mod-Arg ↔ Exponential

Loci in the Complex Plane

Circle: |z - (1+i)| = 2 or abs(z - a) = 3

Perpendicular bisector: |z - 1| = |z - i| or abs(z - a) = abs(z - b)

Half-line (ray): arg(z - (1+i)) = pi/4

Cartesian lines: re(z) = 2, im(z) = -1

Spirals: arg(z) = |z| or 1/2*arg(z+i) = |z-1|

Poles, Holes & Domain Colouring

Rational equations: (z^2-1)/(z^2+1) = 0 finds roots, poles, and any removable holes automatically

Toggle markers: Click the coloured dot next to Poles, Holes, or Essential Singularities in a card to show/hide them on the diagram

Domain colouring: Click the rainbow icon on a card to shade the whole plane by phase (hue) and modulus (brightness) of that expression

Navigation & Controls

Pan diagram

Drag with mouse/finger or ← → ↑ ↓

Add a point constant: Right-click and drag on the diagram, release to drop a snapped point (desktop mouse only)

Zoom

Mouse wheel, pinch, or + -

Reset view

Click RESET AXES button

Display mode

Toggle vector arrows vs point dots

Label size & theme

Cycle size A / Toggle light & dark mode

Black & white worksheet mode (for printing/screenshots)

Ctrl + Alt + W

Press Esc or click outside to close

Komplexiti - Complex Number Explorer

Export