Найдите на рисунке 2 <ASD, если <PSD = 51°​

Доказательство утверждения  проводится следующим образом. Сначала принимают предположение, что утверждение  неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .

В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.

Шаг 1. Поставить острие циркуля в вершину угла и на обоих лучах угла отложить равные отрезки (сделать засечки) . Шаг 2. Не меняя раствора циркуля поставить поочередно острие циркуля на засечки, сделанные в шаге 1, и провести дуги, так, чтобы они пересеклись. Шаг 3. Точку пересечения дуг соединить с вершиной угла. Это и будет биссектриса. Объяснение. Если соединить засечки, сделанные на шаге 1 с точкой пересечения дуг, то получится ромб. Диагональ ромба является биссектрисой его противоположных углов.