{"entities":{"Q1972540":{"pageid":1983282,"ns":120,"title":"Item:Q1972540","lastrevid":78063854,"modified":"2026-05-06T10:41:59Z","type":"item","id":"Q1972540","labels":{"en":{"language":"en","value":"Vahlen theorem for two-dimensional convergents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1429646"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972540$EAD6D955-DCB1-4ED7-939A-53DA9CF3107C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85d586617cabceafebed26bc18d3ae8abf081203","datavalue":{"value":{"text":"Vahlen theorem for two-dimensional convergents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972540$22258222-EB7B-44EE-9598-2A877E33026B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dda41562982fcb33bb0f1094135d5664dd3d3153","datavalue":{"value":"0981.11024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972540$65512E82-9196-48F5-84E3-C63559D65C96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caa667e036088c7b4bafea66d4ef88948e564615","datavalue":{"value":"10.1007/BF02674067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972540$0A245258-ADF8-44DC-BC7D-A0E8B31E8806","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12139b0856dccbad5171e9a53fd89ce151ad13f","datavalue":{"value":{"entity-type":"item","numeric-id":265946,"id":"Q265946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972540$513DEF90-8631-4A95-946D-E80ECF32D51F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972540$D7A11812-6D24-4EC6-AF5B-4C5B330B3C9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2c9151fa0f749bd3123f145d0659353c941f93c","datavalue":{"value":{"time":"+2000-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972540$EFA5D3D6-EDCE-498C-8436-3BE770586931","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4874bd38154784398a3ca4b72d2eebb7558b5f24","datavalue":{"value":"Given \\(\\underline{\\alpha}= (\\alpha_1,\\dots, \\alpha_d)\\in \\mathbb{R}^d\\), \\(q\\in \\mathbb{N}\\), let \\(a_j\\) be the nearest integers to the numbers \\(qa_j\\). A vector \\((a_1,\\dots, a_d;q)\\) is called convergent of first type to \\(\\underline{\\alpha}\\) if the system of inequalities \\(\\|q'\\alpha_j\\|\\leq \\|q\\alpha_j\\|\\) \\((j= 1,\\dots, d)\\) is satisfied for no other positive integer \\(q'< q\\). Let \\(\\Delta(\\underline{\\alpha})\\) denote the set of all ``denominators'' \\(q\\) that determine convergents uniquely. This set is infinite except when \\(\\underline{\\alpha}\\) is rational. Further, given \\(\\underline{\\alpha}\\in \\mathbb{R}^d\\), \\({\\mathbf q}= (q_1,\\dots, q_d)\\in \\mathbb{Z}^d\\), \\({\\mathbf q}\\neq 0\\), let \\(a\\) be the integer nearest to \\({\\mathbf {qa}}\\). A vector \\((a; q_1,\\dots, q_d)\\) is called convergent of second type to \\(\\alpha\\) if for any other integer vector \\({\\mathbf q}'\\neq 0\\) with \\(|q_j'|\\leq |q_j|\\) the following inequalities are satisfied:  \\[ \\begin{aligned} \\|{\\mathbf {qa}}\\|&< \\|{\\mathbf q}' {\\mathbf a}\\|\\quad \\text{for} \\quad ((|q_1'|,\\dots, |q_d'|)\\neq (|q_1|,\\dots, |q_d|), \\qquad \\text{and}\\\\ \\|{\\mathbf {qa}}\\|&\\leq \\|{\\mathbf q}' {\\mathbf a}\\|\\quad \\text{for} \\quad ((|q_1'|,\\dots, |q_d'|)= (|q_1|,\\dots, |q_d|). \\end{aligned} \\]  Let \\(\\Delta^* (\\underline{\\alpha})\\) denote the set of all ``denominators'' \\({\\mathbf q}\\) of convergents of the second type. The author proves the following results which both generalize Vahlen's theorem for ordinary continued fractions.    (I) Given \\(\\underline{\\alpha}= (\\alpha_1, \\alpha_2)\\) and \\(q\\in \\Delta(\\underline{\\alpha})\\), let \\(q'\\in \\Delta(\\underline{\\alpha})\\) be the least denominator such that \\(q< q'\\), \\(\\|q'\\alpha_1\\|\\leq \\|q\\alpha_1\\|\\), \\(\\|q'\\alpha_2\\|\\leq \\|q\\alpha_2\\|\\). Then  \\[ \\min \\{q\\|q\\alpha_1\\|\\|q\\alpha_2\\|,\\;q'\\|q'\\alpha_1\\|\\|q'\\alpha_2\\|\\}< \\tfrac{1}{2}. \\]  (II) Given \\(\\underline{\\alpha}= (\\alpha_1, \\alpha_2)\\) and \\({\\mathbf q}\\in \\Delta^*(\\underline{\\alpha})\\), let \\({\\mathbf q}'\\in \\Delta^*(\\underline{\\alpha})\\) be the denominator with \\(q_1'< q_1\\), \\(q_2'< q_2\\), \\(\\|q_1\\alpha_1+ q_2\\alpha_2\\|< \\|q_1'\\alpha_1+ q_2'\\alpha_2\\|\\) that yields the smallest value of \\(\\|q_1'\\alpha_1+ q_2'\\alpha_2\\|\\). Then  \\[ \\min\\{|q_1q_2|\\|q_1\\alpha_1+ q_2\\alpha_2\\|,\\;|q_1'q_2'|\\|q_1'\\alpha_1+ q_2'\\alpha_2\\|\\}< \\tfrac{1}{2}. \\]  The proof is based on Voronoi's concept of minimal nodes in a three-dimensional lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972540$B9FD2720-FB1F-466F-ACA2-282DC492272D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b5f1bf093847d8704e0deaa12f0bdb6f8ef633b5","datavalue":{"value":"11J13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972540$C98CBF64-8CA4-48D0-A9C1-BD13F9C67C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5648d57cf9b82b961864414b7326649c4d02c6a2","datavalue":{"value":"11J70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972540$C03333A0-8327-46FD-AAFB-9F52C3C34509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a4507c094ccc63adfc80d30d0fe5567f09ed028","datavalue":{"value":"11H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972540$40FE4E37-B5A8-4617-94A7-90D3898EB251","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d62c7e54298928ad7f1da073246e92179cbbedb","datavalue":{"value":"1429646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972540$DC3DF8B8-7BBF-4588-B187-322D06342A79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560813561082b1239154a132a1a540e8680880c8","datavalue":{"value":"simultaneous Diophantine approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972540$5359A621-420B-4D7F-BD91-7374EDBA9C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3c347b607a12276543e0fad0d7189f218d78a55","datavalue":{"value":"convergents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972540$DCC209E7-69C6-49A1-B87A-27B93861A157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c407735c1afc1bf901f2a8901b8b8a14987e60d","datavalue":{"value":"Vahlen's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972540$E0CA6A22-C956-47F2-9572-C874D86BB8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ad86bb53b74d37af3a4d36e8a96c2c4376ac4b1","datavalue":{"value":"continued fractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972540$4101C9E4-981E-47EA-9B38-FFEE3FEDF5FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0f6424fcc2857ee09462298a903b1f642bc10cd6","datavalue":{"value":{"entity-type":"item","numeric-id":1166557,"id":"Q1166557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972540$7EDA8EA8-3D14-4178-8AD2-67FD2F6027A8","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972540$54B3AA86-EACE-4272-AA0C-DA3057A40C24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b80a821b44bd6803e511b437a190149e14b5ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5603911,"id":"Q5603911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972540$EDA8B28A-5055-4965-B3E8-89EEC80D65C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3f0016946dec9533950483f8454ab434927826","datavalue":{"value":{"entity-type":"item","numeric-id":3241280,"id":"Q3241280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972540$D18BAA28-69A3-47C1-8342-5ECC4A9FA7A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c0d20a4918417b2e7720617ef2d58c39ed9fa90","datavalue":{"value":"https://doi.org/10.1007/bf02674067","type":"string"},"datatype":"url"},"type":"statement","id":"Q1972540$5DF2F533-61AD-4AEC-AB33-D91B9289FD9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6445c2cc5222b387d26db1d69b8f74a7dc2d0e91","datavalue":{"value":"W2011980290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972540$3D979CEC-85DF-437D-9680-A89090866003","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217a4c22c8fb087e55d6927f94bd8b9ee5df49ac","datavalue":{"value":{"entity-type":"item","numeric-id":3971611,"id":"Q3971611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ff1bcdd333cee0584869ae8149ebbe380391db","datavalue":{"value":{"amount":"+0.87192327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972540$16AEC2BD-13F1-41E7-850B-2CE614556025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de53bfcb2d64d942ffca6a107718304b39873aa","datavalue":{"value":{"entity-type":"item","numeric-id":5326686,"id":"Q5326686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91cff531d3c03d628f4ddd5b54ab679c72ae510e","datavalue":{"value":{"amount":"+0.8658031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972540$7B223C19-C05D-48CD-BFF0-4175EAC539D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8e43524d43e22429f42316d52f471f4232f013","datavalue":{"value":{"entity-type":"item","numeric-id":4523194,"id":"Q4523194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82e0aa2ab0882707a52645b2c0c8ae66d9dc766","datavalue":{"value":{"amount":"+0.8598476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972540$F89341F0-B0C2-4C47-9031-969207A364E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd0a43323f59ec5d248a483f45c47233071ca6c","datavalue":{"value":{"entity-type":"item","numeric-id":2798104,"id":"Q2798104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460c0488545dacaeb1f7987af95bf032354f6c18","datavalue":{"value":{"amount":"+0.8573056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972540$803DFDC4-2178-48BC-95EC-469463DE5246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc55917d38a70b82c7d5895c635a59be2835688","datavalue":{"value":{"entity-type":"item","numeric-id":471493,"id":"Q471493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b870c498e080e629ff549ff857b261429c76035f","datavalue":{"value":{"amount":"+0.85416967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972540$FB9A9E54-4B33-40C3-A5E5-60A1AC6CAFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc9a9b857b59a549b535dcfc7b7363051caed7c","datavalue":{"value":{"entity-type":"item","numeric-id":4007701,"id":"Q4007701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2df1a958b6bbf1fd2e6bcaf55c048514791481e","datavalue":{"value":{"amount":"+0.85305107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972540$E5D85BA4-D6D2-42BE-8BF4-701C4A2BD87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7e84391dfd998a5badbc9195bfdf0c654bdb27","datavalue":{"value":{"entity-type":"item","numeric-id":3134954,"id":"Q3134954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ded7e61fe3759809f9650cd2e41e66bec0e306a","datavalue":{"value":{"amount":"+0.852542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972540$4FDB46DB-9BDF-4900-95F1-5AB68853817B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0c8ce5ba3af71bdfd376207d71632dc535a9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1110752,"id":"Q1110752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744b737e3baa3e1f160d21c67cd8d98e3d2446ae","datavalue":{"value":{"amount":"+0.8513462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972540$EAC93A6D-AF8A-44A9-8E71-F0B52E75AA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8692b3a7b6674e1df5e210e2d034941269611bc9","datavalue":{"value":{"entity-type":"item","numeric-id":812521,"id":"Q812521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2cd00384b8f0df52a90614bbd9f35eacc15be7","datavalue":{"value":{"amount":"+0.8497071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972540$26F162F4-F5F3-419B-95FA-A700DEE2B042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd113f51eb6197b2678f6abc0839d496d6fa031","datavalue":{"value":{"entity-type":"item","numeric-id":2901507,"id":"Q2901507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f4179cabb43a949147742d58bf52197595fec8","datavalue":{"value":{"amount":"+0.8477365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972540$F06568EA-8D6B-42A0-9BFF-6B96530CCCD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vahlen theorem for two-dimensional convergents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vahlen_theorem_for_two-dimensional_convergents"}}}}}