>>776
　y･cosθ - x･sinθ = e^(x･cosθ + y･sinθ)
　　　　　= e^(x/cosθ + (y･cosθ - x･sinθ)tanθ),

　-(y･cosθ- x･sinθ)tanθ･e^(-(y･cosθ - x･sinθ)tanθ) = -tanθ･e^(x/cosθ),

　-tanθ･e^(x/cosθ) ≧ -1/e すなわち x/cosθ ≦ -1 -log(tanθ) に対してyが存在し、
　-(y･cosθ - x･sinθ)tanθ = W(-tanθ･e^(x/cosθ)),
W は Lambert-W函数。
　y = x･tanθ -(1/sinθ)W(-tanθ･e^(x/cosθ)),
と表わされるが....