FrancophonIA/Vikidia-EnFr huggingface dataset:
Un angle droit est le nom donné à l'angle entre deux demi-droites perpendiculaires. Sa mesure en degré vaut 90°.

Soient A et B deux points distincts du plan. Alors l'angle formé par les demi-droites [CA) et [CB) est un angle droit si, et seulement si, le troisième point C appartient au cercle de diamètre [AB].