Контрольные задания > 23. Запишите с помощью кванторов следующее утверждение:
«Если точки А, В и С не лежат на одной прямой, то существует лишь одна окружность, которая проходит через эти три точки». Как вы думаете, верно ли такое утверждение?
Вопрос:
23. Запишите с помощью кванторов следующее утверждение:
«Если точки А, В и С не лежат на одной прямой, то существует лишь одна окружность, которая проходит через эти три точки». Как вы думаете, верно ли такое утверждение?
Ответ:
Запись с помощью кванторов:
¬∃ прямая l: A ∈ l ∧ B ∈ l ∧ C ∈ l → ∃! окружность ω: A ∈ ω ∧ B ∈ ω ∧ C ∈ ω
Ответ на вопрос:
Да, это утверждение верно. Через любые три точки, не лежащие на одной прямой, можно провести единственную окружность.