When , and . A circle at fixed has circumference . Choose its future null normals as
For a one-dimensional transverse surface, each null expansion is the logarithmic derivative of its length:
Inside the horizon, implies , so both expansions are negative. Every such circle is therefore a trapped surface, specifically a Trapped circle inside a nonrotating BTZ black hole.