In a previous paper, the
author developed the ideal theory of Nash rings on planar domains. Here that
theory is applied to show that a Nash function on a planar domain D which
takes on only non-negative values on D is a sum of two squares of Nash
functions on D. Examples are given which clarify the situation for higher
dimensions.