{"entities":{"Q7361152":{"pageid":31518995,"ns":120,"title":"Item:Q7361152","lastrevid":105363437,"modified":"2026-10-07T13:35:00Z","type":"item","id":"Q7361152","labels":{"en":{"language":"en","value":"Chebyshev Polynomials"}},"descriptions":{"en":{"language":"en","value":"AFP entry Chebyshev_Polynomials"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2890c34b0336a59a64756a10da1e585211946687","datavalue":{"value":"https://isa-afp.org/entries/Chebyshev_Polynomials.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361152$10991FB8-738D-45FA-BC7F-8D1DD0B49BDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42ed0c57ac390f46a926333fbce8dfcfda708bf7","datavalue":{"value":{"time":"+2023-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361152$AB3DB42C-ABB4-4944-A3A4-5AB5D55CBD6D","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361152$A0DF96B0-83EE-4135-AE8D-4292269A6AC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fafeeb82410127a3adfe81122c5dd16613ce381","datavalue":{"value":{"text":"Chebyshev Polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361152$9DF73056-256D-4E2B-8C9E-BEB817319C54","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d69dd95989b8bc542b75aa2f550e7a4d1ff5f3e7","datavalue":{"value":"The multiple-angle formulas for $\\cos$ and $\\sin$ state that for any natural number $n$, the values of $\\cos nx$ and $\\sin nx$ can be expressed in terms of $\\cos x$ and $\\sin x$. To be more precise, there are polynomials $T_n$ and $U_n$ such that $\\cos nx = T_n(\\cos x)$ and $\\sin nx = U_n(\\cos x)\\sin x$. These are called the Chebyshev polynomials of the first and second kind , respectively. This entry contains a definition of these two familes of polynomials in Isabelle/HOL along with some of their most important properties. In particular, it is shown that $T_n$ and $U_n$ are orthogonal families of polynomials. Moreover, we show the well-known result that for any monic polynomial $p$ of degree $n > 0$, it holds that $\\sup_{x\\in[-1,1]} |p(x)| \\geq 2^{n-1}$, and that this inequality is sharp since equality holds with $p = 2^{1-n}\\, T_n$. This has important consequences in the theory of function interpolation, since it implies that the roots of $T_n$ (also colled the Chebyshev nodes ) are exceptionally well-suited as interpolation nodes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361152$405F6A69-B770-4598-BF6C-5B83C16D15FE","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361152$2C407EE1-DEE6-49B6-ACDA-03CC65A85836","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"7305d7d1f3101f61296cbfe1fe0cd80ea8090d31","datavalue":{"value":{"entity-type":"item","numeric-id":7361156,"id":"Q7361156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361152$C8CE6478-58DC-4168-9F99-DE22073B693B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"fe8e4266ccdb5bc1f08b1d6665bd026f17fde0ac","datavalue":{"value":{"entity-type":"item","numeric-id":7361683,"id":"Q7361683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361152$BAE6B2A9-E098-45CD-A9B9-D25F86F92B41","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361152$B46B01EA-35EE-436F-A03C-B0121FE6CFFF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361152$74356C2B-175F-40F7-A019-522EE61F442B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Chebyshev Polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Chebyshev_Polynomials"}}}}}