Vì: `Oz` là tia phân giác của `hat(xOy)` (gt)

nên:

`hat(xOz) = hat(zOy) = hat(xOy) : 2`

`hat(xOz) = hat(zOy) = 180^o : 2`

`hat(xOz) = hat(zOy) = 90^o`

Vì: `Ot` là tia phân giác của `hat(xOz)` (gt)

Nên: `hat(xOt) = hat(tOz) = hat(xOz) : 2`

`hat(xOt) = hat(tOz) = 90^o : 2`

`hat(xOt) = hat(tOz) = 45^o`

Vì: `Ov` là tia phân giác của `hat(zOy)` (gt)

Nên: `hat(zOv) = hat(vOy) = hat(zOy) : 2`

`hat(zOv) = hat(vOy) = 90^o : 2`

`hat(zOv) = hat(vOy) = 45^o`

Có: `hat(tOz) + hat(zOy) = hat(tOv)`

`45^o + 45^o =  hat(tOv)`

`90^o =  hat(tOv)`

`@ Neil`