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