Hệ thức chasles:

Với `3` tia `Ou;Ov;Ow` bất kì, ta có: `sđ(Ou,Ov)+sđ(Ov,Ow)=sđ(Ou,Ow)+k2pi`

Ta có:

`sđ(Ou,Ov)=(3pi)/4+k2pi`

`sđ(Ou,Ow)=(5pi)/4+k2pi`

Ta có: `sđ(Ou,Ov)+sđ(Ov,Ow)=sđ(Ou,Ow)+k2pi`

`=>sđ(Ov,Ow)=sđ(Ou,Ow)-sđ(Ou,Ov)+k2pi`

`=>sđ(Ov,Ow)=(5pi)/4+k2pi-((3pi)/4+k2pi)+k2pi`

`=>sđ(Ov,Ow)=(5pi)/4+k2pi-(3pi)/4-k2pi+k2pi`

`=>sđ(Ov,Ow)=((5pi)/4-(3pi)/4)+(k2pi-k2pi+k2pi)`

`=>sđ(Ov,Ow)=(2pi)/4+k2pi`

`=>sđ(Ov,Ow)=(pi)/2+k2pi`