a) Có Om và On là 2 tia trên cùng 1 nửa mặt phẳng ( 1 )
Mà ^mOp < ^mOn ( 400 < 800 ) ( 2 ). Từ ( 1 )( 2 ) => Tia Op nằm giữa 2 tia Om; On ( 3 )
b) Vì Op nằm giữa 2 tia Om; On ( cmt ) => ^mOn = ^mOp + ^nOp.
Thay ^mOp = 400 ; ^mOn = 800 => 800 = 400 + ^nOp <=> ^nOp = 800 - 400 = 400
Vì ^nOp = 400 => ^mOp = ^nOp ( 4 ). Từ ( 3 ) có ^mOp và ^nOp là 2 góc kề nhau ( 5 )
Từ ( 3 )( 4 )( 5 ) => Op là phân giác của ^mOn ( đpcm )