Η διχοτόμος μιας γωνίας ως γεωμετρικός τόπος