Since you want to master the process, I'll point out a few things before showing a proof.
The first thing to notice is that the
+
and the=
may only appear once each. So when you write your stringw
asw = abc
, the pumped portion,b
, cannot contain+
or=
otherwise you'd reach a trivial contradiction (I'm not using the more standardw = xyz
notation to avoid confusion withL
's definition).Another thing to notice is that normally, you'd pick a specific string
w
to pump. In this case, it could be easier to pick a class of strings that share a certain property. The pumping lemma only requires you to reach a contratiction using one string, but there's no reason you can't reach a contradiction with multiple strings.
Proof (in a spoiler):
So let
w
be any string inL
such that|w| ≥ P
andx, y, z
do not contain leading0
's. By the pumping lemma we can writew
asw = abc
By pumping lemma, we knowb
is not empty. Sinceb
cannot contain+
or=
, it is fully contained in eitherx, y,
orz
. Pumpingw
with any i ≠ 1 results in the binary equation no longer holding since exactly one ofx, y, z
would be a different number (this is why we needed the no leading0
's bit).