for 4 you must use a important theorem of angle bisector that

always holds.

This proof is a little bit complex..

Construct a line such that the extension line of intersect with at .

So , so . But since , , so since

for 5 ,you may use the important theorem called projective theorem which says that , this can be directly deduced from the fact that