יש כמה כיוונים להוכחת חוק סנל במורכבויות
שונות... ההוכחה הראשונה מבוססת על משפט פרמה האומר שקרן אור היוצאת מנקודה א' לנקודה ב' תעשה זו בדרך שתדרוש את הזמן הקצר ביותר כדי לבצע את המסלול... ההוכחה השנייה מבוססת על פתרון מלא של משוואות מקסוול והיא הרבה יותר מורכבת, אך נותנת לא רק את חוק סנל {שהוא חוק הדן בכיוון הקרן - כלומר בקינטיקה}, אלא גם באיך אמפליטודת הקרן משתנה לאורך מסלול {זהו חוק שפועל גם על הדינמיקה - חוקי פרנל...}... אתן לך כיוון הוכחה המבוססת על הכיוון הראשון - את השאר נסה למלא לבד: בחר נקודה סתמית באוויר a, ונקודה אחרת סתמית b בתוך התווך הצפוף... עכשיו בחר נקודה c כלשהי במעבר בין התווך לאוויר... חבר קו ac וקו bc... חשב את אורכיהם ומכאן תוכל להסיק כמה זמן יקח לקרן להגיע {ע"י חלוקת כל אורך במהירות האור בה וסיכום התוצאות} מ a ל b... עכשיו עליך למצוא את הנקודה c שעבורה הזמן הזה יהא הקצר ביותר... זו הנקודה שבה כיוני הקרניים יקיימו את חוק סנל... אם יהיה לי זמן אולי ארשום זאת מפורט יותר.