Prawo Snelliusa (załamania, refrakcji, Snella) – prawo fizyki opisujące zmianę kierunku biegu promienia światła przy przejściu przez granicę między dwoma ośrodkami przezroczystymi o różnych współczynnikach załamania. Prawo znane jest jako prawo Snella (holenderski astronom i matematyk), który jako pierwszy opublikował poprawne rozumowanie dotyczące zagadnienia w roku 1621.
Na mocy prawa załamania można uzasadnić zjawisko całkowitego wewnętrznego odbicia oraz określić warunki, w jakich ono zachodzi.
Prawo załamania formułuje się bazując na założeniach optyki geometrycznej. Zgodnie z rysunkiem promień padający biegnący w ośrodku pierwszym, pada na granicę ośrodków, po czym zmienia kierunek (załamuje się) i jako promień załamany biegnie w ośrodku drugim.
Prawo Snelliusa mówi, że promienie padający i załamany oraz prostopadła padania (normalna) leżą w jednej płaszczyźnie, a kąty spełniają zależność:

gdzie:
Jeżeli światło przechodzi z ośrodka o mniejszym współczynniku załamania światła do ośrodka o współczynniku większym (np. powietrze-woda), tak jak na rysunku, to kąt załamania jest mniejszy od kąta padania. Jeżeli na odwrót (szkło-powietrze) – kąt załamania jest większy.
Współczynnik załamania dla danego ośrodka rośnie wraz z gęstością, np. w atmosferze maleje wraz z wysokością. Dla różnych ośrodków tendencja ta jest na ogół również zachowana, ale nie jest regułą. Przykładem może być etanol, który ma mniejszą gęstość niż woda, ale większy współczynnik załamania.
Choć za odkrywcę prawa na drodze doświadczalnej uznaje się Willebrorda Snella, to znaleziono zapisy świadczące, że prawo to było znane wcześniej. Jako pierwszy odkrył je Ibn Sahl w X wieku n.e.[1]. Prawo załamania zostało też sformułowane niezależnie przez Kartezjusza[2].
Wcześniej wykonywano wiele prób matematycznego opisu zjawiska załamania światła. Między innymi Johannes Kepler zaproponował przybliżony wzór na kąt odchylenia promienia[3]:

Prawo to można wyprowadzić z zasady Fermata lub zasady Huygensa przy uwzględnieniu faktu, że światło rozchodzi się w różnych ośrodkach z różnymi prędkościami. Wówczas

Prawo Snelliusa opisuje zależności geometryczne między kierunkami promieni w sposób kompletny tylko dla ośrodków jednorodnych. W ośrodkach anizotropowych promień świetlny może rozdzielać się na dwa promienie, zjawisko takie nazywane jest dwójłomnością. Wówczas kierunek tylko jednego z promieni (normalnego) daje się opisywać tym prawem, tj. tylko dla tego promienia stosunek sinusa kąta padania do sinusa kąta załamania jest stały. Dla promienia anomalnego zależy on od kąta.