Solche Formeln sind mir immer zu umständlich. Da gehe ich nach der Faustregel:
Bei 200mm Brennweite entspricht 1 Gradsekunde einem µm.
das ergibt bei deinen 1200mm also eine Ausdehnung von 6 µm je Gradsekunde. Jetzt musst du sehen, welche Auflösung du haben möchtest. Große Pixel kosten also Auflösung.
Theoretisch hast du bei 4 µm 90 Pixel je Gradminute (0,67"/px), bei 9 µm sind es nur noch 40 (1,5"/px).
Praktisch kommt darauf an, wieviel das Seeing zulässt und da das meistens deutlich höher ist, bringen die kleinen Pixel doch nicht die höhere Auflösung.
Zu deinem Fall - die kleineren Pixel kannst du auch nehmen, nur nicht voll ausnutzen.
Gruß Helmut
