Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
OM делит AB пополам пересекая её. Так как части AB равны, то OM перпендикулярна AB. При этом продолжение OM пересекает и касательную, которая в свою очередь будет параллельна AB, т.к. она касается лишь одной точки и эта точка, точка пересечения OM.
Доказать это можно так:
OM перпендикулярна AB и касательной, значит образованные углы равны 90градусов, из этого следуют три признака док-ва параллельности:
-по на крест лежащим углам при AB, касательной и секущей OM
-по соответственным углам при AB, касательной и секущей OM
- по равносторонним углам при AB, касательной и секущей OM
Скорее всего вас в школе учили по-другому делать, но надеюсь хоть на мысль-то натолкнул:)