  While research on the geometry of planar graphs has been active in the past
decades, many properties of planar metrics remain mysterious. This paper
studies a fundamental aspect of the planar graph geometry: covering planar
metrics by a small collection of simpler metrics. Specifically, a \emph{tree
cover} of a metric space $(X, \delta)$ is a collection of trees, so that every
pair of points $u$ and $v$ in $X$ has a low-distortion path in at least one of
the trees.
  The celebrated "Dumbbell Theorem" [ADMSS95] states that any low-dimensional
Euclidean space admits a tree cover with $O(1)$ trees and distortion
$1+\varepsilon$, for any fixed $\varepsilon \in (0,1)$. This result has found
numerous algorithmic applications, and has been generalized to the wider family
of doubling metrics [BFN19]. Does the same result hold for planar metrics? A
positive answer would add another evidence to the well-observed connection
between Euclidean/doubling metrics and planar metrics.
  In this work, we answer this fundamental question affirmatively.
Specifically, we show that for any given fixed $\varepsilon \in (0,1)$, any
planar metric can be covered by $O(1)$ trees with distortion $1+\varepsilon$.
Our result for planar metrics follows from a rather general framework: First we
reduce the problem to constructing tree covers with \emph{additive distortion}.
Then we introduce the notion of \emph{shortcut partition}, and draw connection
between shortcut partition and additive tree cover. Finally we prove the
existence of shortcut partition for any planar metric, using new insights
regarding the grid-like structure of planar graphs. [...]
