Bizirkulare Quartik als Hüllkurve

[table][tr][td][url=https://www.geogebra.org/m/y9cj4aqt#material/gjfwaktx][img]data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACoAAAA2CAYAAACx1wu7AAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAuZSURBVGhDvVkLVFRlHv/dO8PAwOAUoQjIw1dQUVpYItBRVo1Ve1uZqbWV7qZBSLtqnVP2sMe2Z9ujp8yspIxs10daiGn5qFRcU0wTAh8oAoI8Z2CGGZjn3f/33RmEeM2MuL9zPube73V/9//+LsKOPUelol/OYdeOnxGkUeOxuZMRHxeFf2/Yh0MFxYiLH4Y5c6bA7pTwRe4eXCi/BAGAQxDwRONJRFgNdHd1INGTHKKISpUG4tiE4TC2tMJud6BZb4TVZkdgkBpVVXUQFSLKy+sQrA1CcHAAKi7UujaQ/0i0iaRQXrUGhQIKEshwmwlC+l1LJZXKDzqdEZIkITIyFAYDDYgCWo1tYGOBQf4QaYHRaIbN5uBkHQ4nXsq6GyNjhvD7qwcJFqsDQmrKc8RPglrtz4laLDZ5mK6vuUaD5uZWCERS7gP1BfE+RvTDtdkYM2YkH7tasNvtWJWTD5ERiogIxZPzZ2DajCRce20wRJJmXHwUMjIfwPjxN8Df34+aCql33owFC+/B9ddHuba5unA4HERyB1Zv2AMlk1a7xYqk8fEor6hBft4hOMlxgshO0/4wBqdKK3DkyClaJiA6NgyTJo7Bju2H+Ub6xmbUVMl2O+AQRKzPK8DHG/dxPlz1GvJ2ZpsKssfS4nKu9rDwEARrAiE5nSgrq6GVEkk5mquf2XN9Ywv+ZChFhN0kbzyAYMLbFxyOr1WD4eCeS313TV0imUzt7JKHHebpfn4KtLdb5T7qVCgVfIxFBkaU9TnpDwtP4VYjjQwgaN+fNOHYponkIZDB2CpB/MvCexEVNRhKIhOgVmHsraMwe+4UhIVdS1MkaMl50tPHYfLURApRak7SDSbtgWwMBzRDu5E0GAUo754xHlWVddiyeT8nMW3aOHKgG3H0cAnq6vREVcDDsybBTmHp4IEivpiBbTz0nnTEalWunisDU/fWI2X4SicnEwZzG6AJ1GLhnCQIi7NWS80U8MvOVpPROpGUnECk7KioqEMT2SHz9rG3jeaqLzx6iqufgf0OWHgie8r9+gDeeH8rxUw5PIZor8HMPyZh7gMTMIy0K6QkZ0osmLMAz8A8zA1mDm5ibjB7dVDfQBFljrtl58946d3/uEhKSJuQgJczHkJMxHWw1dSh8atdLOEI5EACxt0ej9jh4RRDRb6Bgpxq+ow7EBjoT3fsJQQe7NPTb+djDA4KazbSj6/NSi1vdyFeXbmJk2SkH0xPwnvLn8QwpYRLq3JQct8CXHzjPQjJEzKlxHGjsXz5PDQ2GbH8pRxumw89MgkLFkzH7u8LsWrlNm6/S5fNQnJKAlav2Y5vthVgnqoB4QKLDr6hSBGML6xBaKcsx/R4/5RxeO3xqWjL34uaNV/AVtsAgYUZgiImJulVU2s7xSsnzpRdwuFDv/EBM4UsU7sFJ46dxfnztaRqOydb12DAfw8WQd9iwtj6cxjUVA+hudnrVmwW8LkyFBauLSCNKrYl0RrUZr8OPRF1tlK9wUcIZJbCnalZJHHybWanNMKzAJ8hT3P3MbDU6npBMMt9ouFXr+Mo2++MZgjWBcfARNmHYTysyNRXQVVT2xGmOGiyX1goQu6/C8KKFbnSrp1HqE8mygoRZqvHfznrmgyMHBHB825FRT23IwbG/aloAZEB8gt5BJp6qsGMdXoRRiLJdkodqsVfFSYEWi3yHDfoOepb4hH66D1Qj4qBoG9ulTbkfo/NFEdZBZWxeCYSbx2Jf727BQWk4hGjIvHCC7PhJKJvvfkl1amkanoj5vXvr85EAtWzHoEeXHjyPDJXfAYdVV/sfVPGxWPVi3Nw3aBA16SuEPyUEJRUlxLEAxTEy87V8Ae3kN2dKblABIspv1fzCFBd1YATx8twnNrFi2TcTOwuKGkTFmf7ayqVCidPVyHrjfUdJJMT47Dy5ccxOCwEojqgx+YmycBtlF24Veomwm4FQXL9uvvkOQzsxT5Ysxg339KPRGlJ8ZkqPL1sDZqIJMNtN8biwxXzMThkEL/3BLx6Yk4STjUpK0R0TYYOQgkJsSgtreQZi3X5kSpiqdQ7S1nMQR2LJgxDlDaAz+0ZEirgj5U/l0NH2Y9htMOKt8ZEYohWze89BY+jjNDCjAdQc7EOH3/0LZqI7MSJt+Cp+dPx7a5CbN30I/f4R+mQN4n6P167HQcOlZDX91E9kRKqxUCsDR0NvZIlDWB4eyuerzyFMEsbpE4m5AnIDAVU1zRC19AMo9mCRsrvTKK1tTp+2NM16Ol4YkVbmxX1tU08/9fWNXMJc7Dn9dBqBTU+ue4yyWiLCdmMpLXda5IMwoy0bMlPpSSDV3LnaW2lt6XYE8BTJ6mbcrvBYObXg7SBsNFBi9IFVTY2zGw9hzCHPNYZjU4Rq/0i0aAK4CEoymLG3ypLEU6S9BWCrrHFLRuv4S84IUdDF+iy4lITnnl1HcrryNapa5jVjCUVV0aSgVJphxKvGJVkQvOXfYAzF+r4fYSLZMQVkmSQc9gA4FJdE7Je/7SD5FBbG567dHpASDII5/O+uyKJMrdoUarw+vZjKCw6z+81TjuWVv+GuJaBO08JX4+6w2eijJRZ6YfPtSNQ7BfM1aNx2vB8TSkSmmUbHSiIIgVzX1u7qMCG4FiUuEgGOuxE8hRuGmCSDEJe3ASv92RhsI2ofU4ki/y1vE9NJLMunsGtRjqd9QCBTgWCQuG68x5C8Z4Cr4maKDH8PXcPjtfQKZVYBzodyKg6jcReSLLsEDr7XoTcN1WuD32A4PQyPLUYTHQQ24gdP/zCM1gAkXyWJHmHock1oweQmUS9lo2IxU/xWOsLKIESWw+bwWjGKys3I3/fMZkkHV8W1JT1TfL36GljD5pQX1nt0Tu22yX8M3c3vtl9lN+rA/yx9KYhuCFnA7e/PtFZol7AYTLD3qDjxxNhe+KUfonaBQW2aiKx30GlGUnSX+WH17IfwWSTDufmL+tS4PaIHogyg+uvNmk7V4HaTzaiZW8BRElPlVAfzaZvwTa7BgftVKQwdfv74ZWsh/DwtCRe+vkC9hH4EJ1u2UmWEe4N6hHRiF7+HEZ+9HbfKdROw/maKBwIGgISPie25M/3YtaMZP4Rwke/gMVqx+JXNmHmMx8hf+8JHkV69GkSuYKOJMFjb4Qy5JEHXb1dYbPZ8eXxCvxgUfFPjGwff1UwpqaO7fhS4ps8Zcc3U317rOQiDh+/gMnJo7Fgdgomjo/DIP7FsPvOypS3X3RdXoaNzkOrc7/D3sJ6IikfQwyUtgUnvaHrkw+HryJ1gwi1W20U6kqw/0gZ0iZcT4RTkXr7KAzSdCXcTfXs0PbZlh/x3vqd3JYYSSMdd1qM7AOk7AQd8FWkvwftYzRbkbe3GI9l5WDu4hx8t78YBlbEux4oOq1WuJuNjhzrt/6Ef6z9pitJg5udTNaNzpz7Qvd5va80mqz4liQ8K2Md5mWvw84fi6ivHWLB3EUomPssDs57Fu88/TLeWZvHVS8vApqJ5GWal/96A28Fz57ACOfvZYRz8FjmOojNx36F/tgJ7CqpxmcXDLC6PqS2EsnLknShJ47e8/Z4DZtmIqfb8UOxbKNH1KHYpI2hwC6bLCUEinHyx4fO4DYqX8rwhmTnubSRV1ImpxJ/1YRjoza2C0ldc3eSHLSgc+TofN0vOs+VvKLJIW4YPBw2V8gx0fGmV5Id+N1DvH8mrfFGFTLENoudX5iZJPX9kWQa9P4h3eGDRNmfdgvQ1K8kZZDyXVf/X4gUOtGo84xkt0m+CpfWebtUbGiSWBXmEbpt7qtwfVgnagIpf3t85mLFiSx9t3CZX7Dn9tUY2G/HOtdaT8Dqn6BAWh+Tuoh/32dx3v3b20bBGhUyHk+D1vUp23zyNJo2b4dAx+a+INGRZcj0NPgnJbI72KjMW/XpPjTqe/nPNL0V1eY8/LFfJkghOmWRV18Bu9aNtNDTtXzZ5bU9lXK9QZKA/wGc8BOyhu9N2gAAAABJRU5ErkJggg==[/img][/url][/td][td] [size=50]Diese Aktivität ist eine Seite des [color=#980000][b]geogebra-books[/b][/color] [br] [color=#0000ff][u][b][url=https://www.geogebra.org/m/nzfg796n]Elliptische Funktionen & Bizirkulare Quartiken & ...[/url][/b][/u][/color] ([color=#ff7700][i][b]21.06.2023[/b][/i][/color])[/size][/td][/tr][/table]
[size=85]Die [b][i][color=#ff00ff]Konstruktion[/color][/i][/b] der [b][i][color=#ff7700]bizirkularen Quartiken[/color][/i][/b] mit Hilfe der [b][i][color=#0000ff]Leitkreise[/color][/i][/b] zeigt, dass diese [b][i][color=#ff7700]Quartiken[/color][/i][/b] auf verschiedene Weisen[br]als [b][i][color=#274e13]Hüllkurven[/color][/i][/b] ([b][i][color=#274e13]Envelope[/color][/i][/b]) von [b][i][color=#ff0000]Kreis-Scharen[/color][/i][/b] entstehen können.[br]In der Dissertation [math]\hookrightarrow[/math] "[i][u][url=https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&cad=rja&uact=8&ved=2ahUKEwi2jPqb5sX_AhVJnKQKHZsXCaIQFnoECA4QAQ&url=https%3A%2F%2Fd-nb.info%2F1024608662%2F34&usg=AOvVaw16SsPvowp83wu-jZ7keQAu]Rational families of circles and bicircular quartics[/url][/u][/i]" von [b]Thomas Rainer Werner[/b] ([b]Erlangen 2011[/b]) [br]stellt [b]Werner[/b] eine weitere Darstellung der [b][i][color=#ff7700]bizirkularen Quartiken[/color][/i][/b] als [b][i][color=#274e13]Envelope[/color][/i][/b] von [b][i][color=#ff0000]Kreisen[/color][/i][/b] vor:[br]Wir zitieren (mit den im hier vorliegenden [b][i][color=#980000]geogebra-book[/color][/i][/b] verwendeten Bezeichnungen): [br][b]Theorem 8.14 (Envelope of a rational family of circles) [/b]([i]Seite 91 ff[/i])[br][table][tr][td][math]\mbox{ }[/math][/td][td]The familiy of [b][i][color=#ff0000]circles[/color][/i][/b][br] [math]\mbox{ }c=\lambda^2\cdot c_1+2\cdot k\cdot\lambda\cdot\mu\cdot c_0+\mu^2\cdot c_2[/math] [br]has the [b][i][color=#ff7700]bicircular quartic[/color][/i][/b] [math]B[/math] with the equation [br][math]\mbox{ }B:\;c_1\cdot c_2-k^2\cdot c_0=0[/math][br]as [b][i][color=#274e13]envelope[/color][/i][/b].[/td][/tr][/table][b]Werner[/b] nennt diese Darstellung von [b][i][color=#ff7700]bizirkularen Quartiken[/color][/i][/b] "[i]Three circles form[/i]". Jede [b][i][color=#ff7700]bizirkulare Quartik[/color][/i][/b] läßt sich auf [br]diese Weise darstellen und wird wie angegeben als [b][i][color=#274e13]Envelope [/color][/i][/b]von [b][i][color=#274e13]Kreisen[/color][/i][/b] erzeugt.[br][br]Im Applet oben verwenden wir dies konkret für [b][i][color=#ff7700]bizirkulare Quartiken[/color][/i][/b] in [b][i][color=#0000ff]Normalform[/color][/i][/b]. [br]Alle möglichen Typen bis auf die [b][i][color=#0000ff]Möbiustransformierten[/color][/i][/b] von [b][i][color=#ff7700]Parabeln[/color][/i][/b] werden mit einheitlichen Gleichungen erfasst.[br]Eine wesentliche Rolle spielen dabei die Lage der [b][i][color=#00ff00]Brennpunkte[/color][/i][/b] und die möglichen [b][i][color=#bf9000]Symmetrien[/color][/i][/b].[br]In der Dissertation von [b]Werner[/b] werden [b][i][color=#00ff00]Brennpunkte[/color][/i][/b] nur an einer Stelle bei der Aufzählung der klassischen Beispiele [br]von [b][i][color=#ff7700]bizirkularen Quartiken[/color][/i][/b] erwähnt. [b]CASSINI[/b]-Kurven werden mittels [b][color=#cc0000]2[/color][/b] ihrer [b][color=#cc0000]4[/color][/b] [b][i][color=#00ff00]Brennpunkte[/color][/i][/b] definiert:[br]als Ort aller Punkte [math]P[/math], welche von [b][color=#cc0000]2[/color][/b] [b][i][color=#00ff00]Brennpunkten[/color][/i][/b] [math]F_1,F_2[/math] das konstante Abstandsprodukt[br] [math]d\left(P,F_1\right)\cdot d\left(P,F_2\right)=b^2=const[/math] besitzen (Diss. [i]Seite 123[/i]).[br][br][b][i][u][color=#cc0000]Die Gleichungen:[/color][/u][/i][/b][br]Wir verwenden die [i]reellwertige Funktion[/i] [math]\kappa_{\delta} \left(u\right)=\frac{1}{2}\cdot\left(u^2+\frac{\delta}{u^2}\right)[/math] mit [math]\delta\in\left\{-1,0,1\right\}[/math].[br]In [b][i][color=#0000ff]Normalform[/color][/i][/b] lauten damit die Gleichungen der [b][i][color=#ff7700]bizirkularen Quartiken[/color][/i][/b]:[br][/size][list][*][b][i][/i][/b][i][size=85][color=#ff7700]bizQuAB[/color][/size][/i][b][i][size=85]: [math]\left(x^2+y^2\right)^2-2\cdot A_x\cdot x^2-2\cdot B_y\cdot y^2+\delta=0[/math] [/size][/i][/b][size=85]mit[/size][b][i] [math]A_x=\frac{1}{2}\left(s^2+\frac{\delta}{s^2}\right)=\kappa_{\delta}\left(s\right)[/math] [/i][/b][size=85]und [/size][math]B_y=\frac{\kappa_{\delta}\left(f\right)\cdot\kappa_{\delta}\left(s\right)-\delta}{\kappa_{\delta}\left(f\right)-\kappa_{\delta}\left(s\right)}[/math][br][/*][/list][size=85][i][u]Vorgegeben sind:[/u][/i] Ein [b][i][color=#00ff00]Brennpunkt[/color][/i][/b] [math]f[/math] und ein [b][i][color=#ff7700]Scheitel[/color][/i][/b] [math]s[/math] auf der [math]x[/math]-Achse.[br]Die [b][i][color=#00ff00]bizirkulare Quartik[/color][/i][/b] ist dann[br][/size][list][*][size=85][b][i]2-teilig[/i][/b][/size]: [math]\delta=1[/math] [size=85]mit den [b][i][color=#00ff00]Brennpunkten[/color][/i][/b] [math]f,-f,\frac{1}{f},\frac{-1}{f}[/math] und den [b][i][color=#ff7700]Scheiteln[/color][/i][/b] [math]s,-s,\frac{1}{s},\frac{-1}{s}[/math] auf der [math]x[/math]-Achse. [/size][/*][size=85][/size][*][size=85][b][i]1-teilig[/i][/b]: [math]\delta=-1[/math] mit den [b][i][color=#00ff00]Brennpunkten[/color][/i][/b] [math]f,-f,\frac{i}{f},\frac{-i}{f}[/math], [b][color=#cc0000]2[/color][/b] der [b][i][color=#ff7700]Scheitel:[/color][/i][/b] [math]s,-s[/math] liegen auf der [math]x[/math]-Achse.[/size][/*][*][size=85]ein[b][i][color=#0000ff] Möbiustransformierter[/color][/i][/b] [b][i][color=#ff7700]Mittelpunktskegelschnitt[/color][/i][/b] [math]\delta=0[/math] mit den [b][i][color=#00ff00]Brennpunkten[/color][/i][/b] [math]f,-f[/math] und [math]0[/math] als [br]doppelt-zählendem [b][i][color=#00ff00]Brennpunkt[/color][/i][/b]. Gespiegelt zB. am [b][i][color=#bf9000]Einheitskreis[/color][/i][/b] ergibt sich eine [b][i][color=#ff7700]Ellipse[/color][/i][/b] oder eine [b][i][color=#ff7700]Hyperbel[/color][/i][/b]. [/size][br][/*][/list][size=85]Für jeden dieser [b][color=#cc0000]3[/color][/b] Fälle ist die Konstruktion mittels eines [b][i][color=#0000ff]Leitkreises[/color][/i][/b] angezeigt. Die [b][i][color=#999999]doppelt-berührenden[/color][/i][/b] [b][i][color=#ff0000]Kreise[/color][/i][/b] [br]sind [math]y[/math]-Achsen-symmetrisch. Diese [b][i][color=#ff0000]Kreise[/color][/i][/b] [b][i][color=#274e13]hüllen[/color][/i][/b] die [b][i][color=#ff7700]Quartik[/color][/i][/b] [b][i][color=#274e13]ein[/color][/i][/b].[/size]
[size=85][b][i][color=#cc0000]Zur 3-[/color][color=#ff0000]Kreise[/color][color=#cc0000] Form und den einhüllenden [/color][color=#ff0000]Kreisen[/color][color=#cc0000] nach [/color][/i]Werner[i][color=#cc0000]:[/color][/i][br][/b]Wir definieren [math]c_1=c_{_s}=x^2+y^2-s^2=0[/math], [math]c_2=c'_s=x^2+y^2-\frac{\delta}{s^2}=0[/math] und [math]c_0=y=0[/math], sowie die Schar der [b][i][color=#274e13]einhüllenden[/color][/i][/b][br][b][i][color=#ff0000]Kreise[/color][/i][/b] [math]c_{\lambda\mu}=\lambda^2\cdot c_s+2\cdot\sqrt{\left|\kappa\right|}\cdot\lambda\cdot\mu\cdot c_0+sgn\left(\kappa\right)\cdot\mu^2\cdot c'_s=0[/math]. [br]Für [math]\kappa=B_y-A_x[/math] stimmt die [b][i][color=#ff7700]bizirkulare Quartik[/color][/i][/b] [math]c_s\cdot c'_s-\kappa\cdot c_0^2=0[/math] mit der oben angegebenen [b][i][color=#ff7700]Quartik[/color][/i][/b] [i][color=#ff7700]bizQuAB[/color][/i] überein.[br]Um die [b][i][color=#38761d]einhüllenden[/color][/i][/b] [b][i][color=#ff0000]Kreise[/color][/i][/b] angezeigt zu bekommen, verändere man [math]\lambda[/math] und/oder [math]\mu[/math]. [br][math]\lambda=0[/math] bzw. [math]\mu=0[/math] liefert die [b][i][color=#ff7700]Scheitelkreise[/color][/i][/b] [math]c_s[/math], [math]c'_s[/math]. Für [math]\delta=-1[/math] ist [math]c'_s[/math] nicht reell, für [math]\delta=0[/math] liegt der [b][i][color=#ff0000]Punktkreis[/color][/i][/b] in [math]0[/math] vor.[br][br]Für variables [math]\kappa[/math] ergeben sich [b][i][color=#ff7700]bizirkulare Quartiken[/color][/i][/b] mit [math]s[/math] und [math]-s[/math] als [b][i][color=#ff7700]Scheitel[/color][/i][/b]:[br][math]bizQu_{\kappa}[/math]: [math]c_s\cdot c'_s-\kappa\cdot c_0^2=0[/math] bzw. [math]bizQuAB'[/math]: [math]\left(x^2+y^2\right)^2-2\cdot A_x\cdot x^2-2\cdot B_y'\cdot y^2+\delta=0[/math] mit [math]B_y'=A_x+\kappa[/math].[br]Die Gleichung [math]c_{\lambda\mu}=0[/math] für die [/size][size=85][b][i][color=#38761d]einhüllenden[/color][/i][/b] [b][i][color=#ff0000]Kreise[/color][/i][/b][/size][size=85] ist oben angegeben.[br]Die zugehörigen [b][i][color=#00ff00]Brennpunkte[/color][/i][/b] [math]ff,ff',ff'',ff'''[/math] wurden berechnet mit [math]Q=\frac{A_x\cdot B_y'-\delta}{B_y'-A_x}[/math]:[br][/size][list][*][math]ff=\pm\sqrt{0\cdot i+Q\pm\sqrt{Q^2-\delta+0\cdot i}}[/math][/*][/list][size=85]Der "Trick" [math]+0\cdot i[/math] veranlaßt [b][i][color=#980000]geogebra[/color][/i][/b], die [b][i][color=#00ff00]Brennpunkte[/color][/i][/b] komplex zu berechnen: sie werden damit auch auf der [math]y[/math]-Achse [br]bzw. auf dem [b][i][color=#bf9000]Einheitskreis[/color][/i][/b] angezeigt, sofern sie dort liegen.[br][br]Oben werden sämtliche [b][i][color=#ff7700]bizirkularen Quartiken[/color][/i][/b] in [b][i][color=#0000ff]Normalform[/color][/i][/b] erfasst, ausgenommen die [b][i][color=#0000ff]Möbiustransformierten[/color][/i][/b] [br]von [b][i][color=#ff7700]Parabeln[/color][/i][/b] (ein dreifacher [b][i][color=#00ff00]Brennpunkt[/color][/i][/b]!), und die [b][i]Produkte[/i][/b] aus [b][color=#cc0000]2[/color][/b] [b][i][color=#ff0000]Kreisen[/color][/i][/b].[br][br][b][i][u][color=#cc0000]Nachbemerkung[/color][/u][/i][/b]: die [b][color=#cc0000]3[/color][/b]-[b][i][color=#ff0000]Kreise-[/color][/i][/b][b][i]Form[/i][/b] eine [b][i][color=#ff7700]bizirkularen Quartik[/color][/i][/b] und die dazugehörige Schar von [b][i][color=#274e13]einhüllenden[/color][/i][/b] [b][i][color=#ff0000]Kreisen[/color][/i][/b] [br]läßt sich auch für andere [b][i][color=#ff7700]Scheitelkreise[/color][/i][/b] und [b][i][color=#bf9000]Symmetrie[/color][/i][/b]-[b][i][color=#ff0000]Kreise[/color][/i][/b] aufstellen, sofern sie existieren: [br]beispielsweise wähle man für [b][color=#cc0000]2[/color][/b]-teilige [b][i][color=#ff7700]Quartiken[/color][/i][/b] den [b][i][color=#bf9000]Einheitskreis[/color][/i][/b] als [math]c_0[/math] und die zum [/size][size=85][b][i][color=#bf9000]Einheitskreis[/color][/i][/b][/size][size=85] symmetrischen [br][b][i][color=#ff7700]Scheitelkreise[/color][/i][/b] als [math]c_1,c_2[/math].[/size]

Information: Bizirkulare Quartik als Hüllkurve