1/tam giác(AA'C):
sina=AA'/A'C --> AA'=A'C.sina=d.sina
2/tam giác (A'BC):
BC=A'C.sinb=d.sinb
A'B=A'C.cosb=d.cosb
3/tam giác (AA'B):
AB=(A'B^2-AA'^2)^1/2=d[(cosb)^2-(sina)^2]^1/2
V=AA'.AB.BC
=dsina.d[(cosb)^2-(sina)^2]^1/2.dsinb
=d^3sinasinb[(cosb)^2-(sina)^2]=fdf x [(cosb)^2-(sina)^2]^1/2
2[(cosb)^2-(sina)^2]=2(cosb)^2-1+1-2(sina)^2=cos(2b)+cos(2a)
=2cos(a+b)cos(a-b)
=>dpcm
