Let
BC be the ladder which slides down a distance
b on the wall.
In right angled △ABC, we have
sinα=ABBC=AE+EBBC
sinα=AE+bBC
But, AE=sinβ×ED [ In △AED ]
So, replacing AE by ED sinβ, we get
⇒ sinα=EDsinβ+bBC
⇒ b=BCsinα−EDsinβ
As, BC and ED both represents the same ladder.
BC=ED [ Length of the ladder does not change ]
⇒ BCsinα−BCsinβ=b
⇒ BC(sinα−sinβ)=b ------ ( 1 )
Similarly, in right-angled △AED, we have
cosβ=ADED=AC+CDED
cosβ=AC+aED
But, In △ABC, AC=BCcosα
So, by replacing AC by BCcosα, we get,
cosβ=BCcosα+aED
∴ BC(cosβ−cosα)=a ------ ( 2 ) [ ED=BC ]
(From 1 and 2)
ab=cosβ−cosαsinα−sinβ
By arranging we get,
⇒ ab=cosα−cosβsinβ−sinα [ Hence, proved ]