Получено ли доказательство?

[Sinoid]

Дошло. Вот чертеж:

Здесь биссектриса-красная прямая, а $\overrightarrow{A_{1}A'_{1}}$-это проекция $\overrightarrow{b}$ на прямую проектирования, причем в силу самого выбора взаимного расположения проектируемых объектов и прямой, куда они проектируются, $\overrightarrow{OA_{1}}$ и $\overrightarrow{A_{1}A'_{1}}$ всегда сонаправлены, а значит, для проекций всегда сумма модулей равна модулю суммы. Всем спасибо.