- 777 名前：１３２人目の素数さん mailto:sage [2009/09/28(月) 15:45:18 ]
- >>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θ)),
と表わされるが....
