A = (2.22, 0.86)
B = (4.906666666666667, 0.8733333333333334)
a = Line(A, B)
n1 = 1
n2 = 1.5
c = Circle(A, n1)
d = Circle(A, n2)
b = OrthogonalLine(A, a)
C = (0.9511111111111111, 2.4066666666666667)
e = Line(A, C)
f = Ray(A, C)
D = Intersect(c, e, 1.0)
g = OrthogonalLine(D, a)
E = Intersect(d, g, 1.0)
h = Ray(A, E)
F = Point(b)
i1 = Angle(F, A, C)
G = Point(b)
i2 = Angle(G, A, E)
P2: n2 * sin(i2)
P1: n1 * sin(i1)