{"entities":{"Q6169822":{"pageid":13304709,"ns":120,"title":"Item:Q6169822","lastrevid":58730592,"modified":"2026-04-06T12:24:41Z","type":"item","id":"Q6169822","labels":{"en":{"language":"en","value":"Conway's nightmare: Brahmagupta and butterflies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7711083"}},"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":"Q6169822$05DECFB9-A16B-46F4-BD81-0D7F174E7780","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d141f9ea40242d6855fcc2a5bf32511a375e951b","datavalue":{"value":{"text":"Conway's nightmare: Brahmagupta and butterflies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6169822$C198F852-CC0B-4100-85D9-ADE474CBEF65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64e8acf73b608c48a1fea32e0a7199c7ae8ce865","datavalue":{"value":"1525.51010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169822$404378D6-D1E9-47F3-A982-32BE55E0B700","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fcab46b8a9212e1e54739daacfee08d26e26562","datavalue":{"value":{"entity-type":"item","numeric-id":186945,"id":"Q186945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169822$D6C40BCA-C6DA-41BA-B6A7-ACF2B65A31D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169822$F579245D-240E-4C0B-BABD-747606F9B663","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69fa229929f5a36be717107c65fff5a3a6df12b7","datavalue":{"value":{"time":"+2023-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6169822$DAD0DDD8-756A-494A-9E54-461B63B45A49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6773421d23742b41c0f1ee98750d0b5543925b7","datavalue":{"value":"https://arxiv.org/abs/2201.07743","type":"string"},"datatype":"url"},"type":"statement","id":"Q6169822$7CA92017-E84D-4E83-A04B-05239F0618FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f386325eeef06e53b9add55e5e8cfec21e9202bd","datavalue":{"value":"Brahmagupta's formula calculates the area of a cyclic quadrilateral from the length of its edges. A quite similar formula for triangles is known as Heron's formula. Since long a pure geometric proof for Heron's formula is known, but not for the formula of Brahmagupta. To find such a proof was a dream of John Conway. In the same issue as the underlying one, \\textit{S. Vandervelde} [Math. Intell. 45, No. 1, 19--21 (2023; Zbl 1525.51012)] presents such a proof and here the author adds a second one.  This time the idea comes from a proof the Pythagorean theorem, that first notes that after fixing the angles of a right triangle its area is proportional to the square of the hypotenuse. When the altitude onto the hypotenuse is drawn the triangle becomes the union of two smaller triangles with same angles. Then adding up the area and cancelling the proportional constants gives the Pythagorean theorem.  From this proof the author takes the operation morphing, i.e. to change the size / position but not to change the angles.  The second operation needed is the recutting of a quadrilateral: cut along a diagonal and reverse one triangle.  To prove Brahmagupta's formula, the author studies the quotient \\(C = A^2 / B^2\\) combining the area \\(A\\) of the quadrilateral and the value \\(B\\) given by Brahmagupta's formula. On the space \\(X\\) of cyclic quadrilaterals the recutting obviously does not change this quotient. Neither does the morphing change \\(C\\) as the author shows by embedding the lines of the edges into a suitable coordinate system and comparing the degrees of the resulting polynomials on the cyclic quadrilateral and non-convex butterflies. This gives that \\(C\\) is constant on \\(X\\). Furthermore \\(X\\) contains squares, and thus \\(C = 1\\).  In the final section, the author discusses the connection of his proof with the idea of fiber bundles (regarding each cyclic quadrilateral as fiber) and control-theory-flavored proofs of ergodicity, e.g. a result of \\textit{E. Hopf} [Bull. Am. Math. Soc. 77, 863--877 (1971; Zbl 0227.53003)] on geodesic flows on a hyperbolic surface.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169822$01B86413-A019-4087-9D1E-67F231FDEC30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c1030da9504e430ff4e820f515a089b3080fc8d6","datavalue":{"value":{"entity-type":"item","numeric-id":550545,"id":"Q550545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169822$7CC31048-B8A5-4F2D-9C79-F35F92FE2787","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169822$17E5412C-CB50-403F-AA8C-7B65994299A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169822$AC5EBE34-98E5-4FA1-A7A3-52EF482F1B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"27de2a219c035e32ba827558ba74171d8ae53193","datavalue":{"value":"51M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169822$35D2A522-C27F-493D-A230-3EA323C7765A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14667844b9fff29d991037567e0c57bd5cca184b","datavalue":{"value":"7711083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169822$AD66F54A-8B84-40EF-9585-F78E84F9FC07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f77d29925ea68c62c3d6998879f3169bd6ec0af","datavalue":{"value":"Brahmagupta's formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169822$0973F73F-9EE0-4497-B9D9-6EEC53D5A451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f0c6e1fc434d2e18121e82f4f0895e5059cc20f","datavalue":{"value":"morphing and recutting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169822$DDECE10F-7F69-4DB3-AFD1-29336677481C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17064b8f5db14d0e12dddae734ea238e9822d0de","datavalue":{"value":"algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169822$610BCD5A-FA85-4F0F-9A32-FCF0F5D693F1","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":"Q6169822$C72AE745-353B-4C1E-8AC4-41CBB306C3A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3d02c817b3a1f3e3b87a01acfc99218d0fc72e7","datavalue":{"value":"W4281757687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169822$C3A3BF4F-8715-4C2F-8E72-36C96DA672AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730afede3ca8b6636245a56d2a017d81e57e432","datavalue":{"value":{"entity-type":"item","numeric-id":2890505,"id":"Q2890505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169822$9A9EE6B3-D042-4C15-A7E9-05BD00062245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf427ca28a0daff239bf2f07e683297f7cfcc49","datavalue":{"value":{"entity-type":"item","numeric-id":5634557,"id":"Q5634557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169822$E8749D59-B677-46DA-AF96-FEF53E9BD89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d141e9cea6e1c6fef6e69f3e0afcb4ca060c3e","datavalue":{"value":{"entity-type":"item","numeric-id":2654169,"id":"Q2654169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169822$98424C1D-AFBC-43BD-8413-C03D75513723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102ffb8cba00455f479e6741ec51a039f6b713bc","datavalue":{"value":{"entity-type":"item","numeric-id":2483906,"id":"Q2483906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169822$105AB5D1-494E-4F43-9FDE-4627B4D767F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733ee54808aa31b4856e1ba590fbe4ae7beeaf80","datavalue":{"value":{"entity-type":"item","numeric-id":2483907,"id":"Q2483907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169822$2ABBC64F-4D1E-402B-821D-1CDDBC8761CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850310cb4862da1c79fd207907ca6278bf1766d6","datavalue":{"value":{"entity-type":"item","numeric-id":4231188,"id":"Q4231188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169822$05B32E59-53DC-4DD9-ABD8-7F7796B3BDF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"313c91b96fc83426758753fe6a552e9dc0b81619","datavalue":{"value":"10.1007/S00283-022-10185-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169822$9E1BCE76-B552-4C9C-8D04-8A987F4FDDC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4644e10af5c4c9b2340713dd1344f53c57690a2","datavalue":{"value":{"entity-type":"item","numeric-id":6169821,"id":"Q6169821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58314b6ec37e766d6a75870af62968ca3fe895b","datavalue":{"value":{"amount":"+0.8914153575897217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6169822$9B1E6771-1863-4CC1-8C88-A20E44B4ACEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f978104310826303b45e2868308804744c6af222","datavalue":{"value":{"entity-type":"item","numeric-id":2654169,"id":"Q2654169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b209ee93e675e45dd439990a1b348b59c066ae3","datavalue":{"value":{"amount":"+0.7941948771476746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6169822$00E34BE2-4F20-4699-A72F-B69D881687F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d886c88a3ecaf8c276c7b5339e4a428f7792e3e5","datavalue":{"value":{"entity-type":"item","numeric-id":890918,"id":"Q890918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7acfab8c4b56ececd1f3927507be26b607fc9527","datavalue":{"value":{"amount":"+0.7905183434486389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6169822$DC90EF98-49F1-41D8-BAD6-FA946C0463DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37be645657fcf6bbaaf9e3ecfcdd2507f3716001","datavalue":{"value":{"entity-type":"item","numeric-id":5178403,"id":"Q5178403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d06ac9c25d054dd8946816c050549f8542dcca","datavalue":{"value":{"amount":"+0.7852123975753784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6169822$AD51A357-B5C4-4E75-96B0-3B587A09E120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f96f7bfa8d46ec1d360ff69972b6e8ddbb69ac","datavalue":{"value":{"entity-type":"item","numeric-id":2941729,"id":"Q2941729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5e0b62b0ab77be0560a1c4c3482425141ec9e9","datavalue":{"value":{"amount":"+0.7431806921958923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6169822$C1B4DA2E-E262-43E0-A5FE-14BA4388D093","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6169822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6169822"}}}}}