Show that

We have
![{\displaystyle {\begin{aligned}{\boldsymbol {\sigma }}_{n+1}&={\boldsymbol {\mathsf {C}}}:{\boldsymbol {\varepsilon }}_{n+1}^{e}={\boldsymbol {\mathsf {C}}}:({\boldsymbol {\varepsilon }}_{n+1}-{\boldsymbol {\varepsilon }}_{n+1}^{p})\\&=(\lambda ~{\boldsymbol {\mathit {1}}}\otimes {\boldsymbol {\mathit {1}}}+2~\mu ~{\boldsymbol {\mathsf {I}}}):({\boldsymbol {\varepsilon }}_{n+1}-{\boldsymbol {\varepsilon }}_{n+1}^{p})\\&=(\lambda ~{\boldsymbol {\mathit {1}}}\otimes {\boldsymbol {\mathit {1}}}+2~\mu ~{\boldsymbol {\mathsf {I}}}):({\boldsymbol {\varepsilon }}_{n+1}-{\boldsymbol {\varepsilon }}_{n}^{p}-{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~\mathbf {n} _{n})\\&=\lambda ~\left[{\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})~{\boldsymbol {\mathit {1}}}-{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})~{\boldsymbol {\mathit {1}}}-{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~{\text{tr}}(\mathbf {n} _{n})~{\boldsymbol {\mathit {1}}}\right]+2~\mu ~\left[{\boldsymbol {\varepsilon }}_{n+1}-{\boldsymbol {\varepsilon }}_{n}^{p}-{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~\mathbf {n} _{n}\right]\\&=\lambda ~\left[{\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})-{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})-{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~{\text{tr}}(\mathbf {n} _{n})\right]{\boldsymbol {\mathit {1}}}+2~\mu ~\left[{\boldsymbol {\varepsilon }}_{n+1}-{\boldsymbol {\varepsilon }}_{n}^{p}-{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~\mathbf {n} _{n}\right]\\&=\lambda ~\left[{\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})-{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})\right]{\boldsymbol {\mathit {1}}}+2~\mu ~\left[{\boldsymbol {\varepsilon }}_{n+1}-{\boldsymbol {\varepsilon }}_{n}^{p}-{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~\mathbf {n} _{n}\right]\qquad ~({\text{since}}~{\text{tr}}(\mathbf {n} )=0)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbff3be883bc91e7943c72e63a2bfcf1e884368e)
Now

The trace of the stress is given by
![{\displaystyle {\begin{aligned}{\text{tr}}({\boldsymbol {\sigma }}_{n+1})&=\lambda ~\left[{\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})-{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})\right]{\text{tr}}({\boldsymbol {\mathit {1}}})+2~\mu ~\left[{\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})-{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})-{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~{\text{tr}}(\mathbf {n} _{n})\right]\\&=3~\lambda ~\left[{\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})-{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})\right]+2~\mu ~\left[{\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})-{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})\right]\qquad ~({\text{since}}~{\text{tr}}(\mathbf {n} )=0)\\&=(3~\lambda +2~\mu ){\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})-(3~\lambda +2~\mu ){\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c064a5b4677e61bd63bb928295125fb551aa40d)
Therefore,
![{\displaystyle {\begin{aligned}\mathbf {s} _{n+1}&={\boldsymbol {\sigma }}_{n+1}-{\frac {1}{3}}~{\text{tr}}({\boldsymbol {\sigma }}_{n+1})~{\boldsymbol {\mathit {1}}}\\&=\lambda ~\left[{\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})-{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})\right]{\boldsymbol {\mathit {1}}}+2~\mu ~\left[{\boldsymbol {\varepsilon }}_{n+1}-{\boldsymbol {\varepsilon }}_{n}^{p}-{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~\mathbf {n} _{n}\right]\\&\qquad -(\lambda +{\cfrac {2}{3}}~\mu ){\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})~{\boldsymbol {\mathit {1}}}+(\lambda +{\cfrac {2}{3}}~\mu ){\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})~{\boldsymbol {\mathit {1}}}\\&=2~\mu \left[{\boldsymbol {\varepsilon }}_{n+1}-{\frac {1}{3}}~{\text{tr}}({\boldsymbol {\varepsilon }}_{n+1})~{\boldsymbol {\mathit {1}}}\right]-2~\mu \left[{\boldsymbol {\varepsilon }}_{n}^{p}-{\frac {1}{3}}~{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{p})~{\boldsymbol {\mathit {1}}}\right]-2~\mu ~{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~\mathbf {n} _{n}\\&=2~\mu \mathbf {e} _{n+1}-2~\mu \left[{\boldsymbol {\varepsilon }}_{n}-{\boldsymbol {\varepsilon }}_{n}^{e}-{\frac {1}{3}}~{\text{tr}}({\boldsymbol {\varepsilon }}_{n}-{\boldsymbol {\varepsilon }}_{n}^{e})~{\boldsymbol {\mathit {1}}}\right]-2~\mu ~{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~\mathbf {n} _{n}\\&=2~\mu \mathbf {e} _{n+1}-2~\mu \left[{\boldsymbol {\varepsilon }}_{n}-{\boldsymbol {\varepsilon }}_{n}^{e}-{\frac {1}{3}}~{\text{tr}}({\boldsymbol {\varepsilon }}_{n})~{\boldsymbol {\mathit {1}}}+{\frac {1}{3}}~{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{e})~{\boldsymbol {\mathit {1}}}\right]-2~\mu ~{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~\mathbf {n} _{n}\\&=2~\mu \left[\mathbf {e} _{n+1}-\mathbf {e} _{n}\right]+2~\mu \left[{\boldsymbol {\varepsilon }}_{n}^{e}-{\frac {1}{3}}~{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{e})~{\boldsymbol {\mathit {1}}}\right]-2~\mu ~{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~\mathbf {n} _{n}\\&=\mathbf {s} _{n+1}^{\text{trial}}-\mathbf {s} _{n}+2~\mu \left[{\boldsymbol {\varepsilon }}_{n}^{e}-{\frac {1}{3}}~{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{e})~{\boldsymbol {\mathit {1}}}\right]-2~\mu ~{\sqrt {\cfrac {3}{2}}}~\Delta \gamma ~\mathbf {n} _{n}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/941f7ba6d41d02ccb5622ef96857e94b4973f309)
The stress-strain relation is

Hence,
![{\displaystyle {\begin{aligned}\mathbf {s} _{n}&=\lambda ~{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{e})~{\boldsymbol {\mathit {1}}}+2~\mu ~{\boldsymbol {\varepsilon }}_{n}^{e}-{\frac {1}{3}}~\lambda ~{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{e})~{\text{tr}}({\boldsymbol {\mathit {1}}})~{\boldsymbol {\mathit {1}}}-{\cfrac {2}{3}}~\mu ~{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{e})~{\boldsymbol {\mathit {1}}}\\&=2~\mu \left[{\boldsymbol {\varepsilon }}_{n}^{e}-{\frac {1}{3}}~{\text{tr}}({\boldsymbol {\varepsilon }}_{n}^{e})~{\boldsymbol {\mathit {1}}}\right]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4d7426dd91bbcd3f683368adab682691bbdc6ad)
Plugging into expression for
, we get

Therefore,

Remark: If we write the yield function as

then the above equation takes the form

These are equivalent.