✨ คำตอบที่ดีที่สุด ✨
f'(x)=4x(x^2-6x+9k)からx=0を解に持つことは確定しています。
ここで x^2-6x+9k=0 が 重解または虚数解を持つ時は解答の右上図のようなグラフになり、x=0を解に持つ時は右下図のようなグラフになります。
言い換えると、「f'(x)はx=0を重解に持ち、もう一つの実数解を持つ」という条件になり異なる3つの実数解をもたないことになります。
質問の条件を入れない場合は「x=0と異なる二つの実数解をもつ」というパターンが存在する可能性が出てくるため、極大値をもたないときの条件として質問の条件を入れる必要があります。
なるほど!ありがとうございます!