>>477
下のような感じで良いでしょうか?
[1] k>0の場合

|ka↑| = k|a↑|
|k||a↑| = k|a↑|
∴|ka↑| = |k||a↑|
[2] k<0の場合

|ka↑| = -k|a↑|
|k||a↑| = -k|a↑|
∴|ka↑| = |k||a↑|
[3] k=0の場合

|ka↑| = 0
|k||a↑| = 0
∴|ka↑| = |k||a↑|

∴|ka↑| = |k||a↑|