Let $E$ be a normed vector space and $F$ a vector subspace of $E$. If $y \in F$, $x \in E$ and $0 < a \in \mathbb R$, prove that $d(y + ax, F) = ad(x,F)$.
I've tried to write down the definitions explicitly, but I don't see how to continue from $$d(y+ax,F) = \text{inf}\{|y+ax-t| : t \in F\}$$ and $$ad(x,F) = \text{inf}\{a|x-r|: r \in F\}$$ to $d(y+ax,F) = ad(x,F)$. I tried to get from $$|y + ax - t|^2 = (a|x-r|)^2$$ to a nice result, but this didn't prove useful. I also tried to use the triangle inequality, but the two different metrics confused me. Any hints? (this is not a homework question, but I would still prefer hints to complete answers)