>>485
君が示したのはL(P0)<L(P1)のみ。これが意味するのは、
「対称軸上にない点は最小値になりえない」ということだけ。
よって、

(1)もし最小値が存在するならば

L(P)が最小になる点は原点しかありえないということになり、
証明は終わる。ところが、

(2)もし最小値が存在しないならば

もともと最小値が無いのだから、君が示したことは意味が無い。
君が示すべきは(1)。「そんな必要ないだろ」と思うかもしれないが、
これは絶対に必要。君がやっているロジックは、以下の議論と同じなのだ。

・自然数の最大値は1である。
証明:n≠1のときは、nより大きな自然数が存在する。これは、
1でない自然数は 自然数の最大値になりえないことを意味する。
よって、n=1が最大値である。