Maybe you meant for the extension $L/K$ to be algebraic, in which case it is true that any extension of the trivial valuation on $K$ to $L$ is trivial. This clearly reduces to the case of a finite extension, and then -- since a trivially valued field is complete -- this follows from the uniqueness of the extended valuation in a finite extension of a complete field. Maybe you view this as part of the sledgehammer, but it's not really the heavy part: see e.g. p. 16 of http://alpha.math.uga.edu/~pete/8410Chapter2.pdf for the proof. (These notes then spend several more pages establishing the existence part of the result.) <b>Addendum</b>: Conversely, if $L/K$ is transcendental, then there exists a nontrivial extension on $L$ which is trivial on $K$. Indeed, let $t$ be an element of $L$ which is transcendental over $K$, and extend the trivial valuation to $K(t)$ by taking $v_{\infty}(P/Q) = deg(Q) - deg(P)$. (The completion of $K$ with respect to $v_{\infty}$ is the Laurent series field $K((t))$, so this is really the same construction as in Cam's answer.) Then I prove* in the same set of notes that any non-Archimedean valuation can be extended to an arbitrary field extension, so $v$ extends all the way to $L$ and is certainly nontrivial there, being already nontrivial on $K(t)$. *: not for the first time, of course, though I had a hard time finding exactly this result in the texts I was using to prepare my course. (This **does** use the sledgehammer.)