AC = AB
sin ABX sin AXB
sin ABX sin AXB sin ABX sin AXB
sin ABZ
sin AZB
cos XAZ —
cos XAZ
sin ABZ sin AZB
et si cette valeur est positive , le point C sera no. se, sur AZ entre les points A et X, et CX sera la ligne demandée; si au contraire elle est négative, il feudra prendre AC sur le prolongement de ZA, et CX sera la perpendiculaire cherchée.