Сохоцкого — Вейерштраса теорема, теорема теорії аналітичних функцій ; всяка однозначна аналітична функція в кожній околиці істотно особливої точки набуває значень, скільки завгодно близьких до будь-якого наперед заданого комплексного числа. Ця теорема була встановлена Ю. Ст Сохоцким в 1868 і одночасно з ним італійським математиком Ф. Казораті. На 8 років пізніше опублікував теорему До. Вейерштрас . Вперше ж вона зустрічається в «Теорії еліптичних функцій» (1859) францepcrb[ математиків Ш. Бріо і Ж. До. Буку.