The distance trisector curve

Tetsuo Asano, Jiří Matoušek, Takeshi Tokuyama

Research output: Contribution to journalArticlepeer-review

19 Citations (Scopus)

Abstract

Given points p and q in the plane, we are interested in separating them by two curves C1 and C2 such that every point of C1 has equal distance to p and to C2, and every point of C2 has equal distance to C1 and to q. We show by elementary geometric means that such C1 and C2 exist and are unique. Moreover, for p = (0, 1) and q = (0, - 1), C1 is the graph of a function f : R → R, C2 is the graph of -f, and f is convex and analytic (i.e., given by a convergent power series at a neighborhood of every point). We conjecture that f is not expressible by elementary functions and, in particular, not algebraic. We provide an algorithm that, given x ∈ R and ε > 0, computes an approximation to f (x) with error at most ε in time polynomial in log frac(1 + | x |, ε). The separation of two points by two "trisector" curves considered here is a special (two-point) case of a new kind of Voronoi diagram, which we call the zone diagram and which we investigate in a companion paper.

Original languageEnglish
Pages (from-to)338-360
Number of pages23
JournalAdvances in Mathematics
Volume212
Issue number1
DOIs
Publication statusPublished - 2007 Jun 20

Keywords

  • Analytic function
  • Generalized Voronoi diagram
  • Planar curve

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'The distance trisector curve'. Together they form a unique fingerprint.

Cite this