{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:4P33T2WNIMNVLY5ODIX7EICXFM","short_pith_number":"pith:4P33T2WN","schema_version":"1.0","canonical_sha256":"e3f7b9eacd431b55e3ae1a2ff220572b0b96f700c05558d29cc4fe42295c04c1","source":{"kind":"arxiv","id":"1909.06347","version":3},"attestation_state":"computed","paper":{"title":"Steiner's formula and a variational proof of the isoperimetric inequality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CA"],"primary_cat":"math.DG","authors_text":"Joseph Ansel Hoisington","submitted_at":"2019-09-13T17:44:01Z","abstract_excerpt":"We give a new proof of the isoperimetric inequality in the plane, based on Steiner's formula for the area of a convex neighborhood. This proof establishes the isoperimetric inequality directly, without requiring that we separately establish the existence of an optimal domain. In doing so, this proof bypasses the main difficulty in all of the proofs Steiner outlined for the plane isoperimetric inequality."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1909.06347","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2019-09-13T17:44:01Z","cross_cats_sorted":["math.CA"],"title_canon_sha256":"b06a671c56dc852344889493175a5dd28389ca3a87d6185623b29b93dddfaee8","abstract_canon_sha256":"5ff2dcbb6cf344f76e0585e65b4567479bf5a9bdce912ca784f1140d47f1a6cf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:06:47.844332Z","signature_b64":"uDcb7fP9CoZjeujly7A58li4sIBYr/AuqbB7VoVa3zBDZdNLr4c+5H0BCmZSGHbwKzl/gI33Fxa0cgi0lOzjAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3f7b9eacd431b55e3ae1a2ff220572b0b96f700c05558d29cc4fe42295c04c1","last_reissued_at":"2026-07-05T02:06:47.843718Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:06:47.843718Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Steiner's formula and a variational proof of the isoperimetric inequality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CA"],"primary_cat":"math.DG","authors_text":"Joseph Ansel Hoisington","submitted_at":"2019-09-13T17:44:01Z","abstract_excerpt":"We give a new proof of the isoperimetric inequality in the plane, based on Steiner's formula for the area of a convex neighborhood. This proof establishes the isoperimetric inequality directly, without requiring that we separately establish the existence of an optimal domain. In doing so, this proof bypasses the main difficulty in all of the proofs Steiner outlined for the plane isoperimetric inequality."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.06347","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1909.06347/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1909.06347","created_at":"2026-07-05T02:06:47.843789+00:00"},{"alias_kind":"arxiv_version","alias_value":"1909.06347v3","created_at":"2026-07-05T02:06:47.843789+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.06347","created_at":"2026-07-05T02:06:47.843789+00:00"},{"alias_kind":"pith_short_12","alias_value":"4P33T2WNIMNV","created_at":"2026-07-05T02:06:47.843789+00:00"},{"alias_kind":"pith_short_16","alias_value":"4P33T2WNIMNVLY5O","created_at":"2026-07-05T02:06:47.843789+00:00"},{"alias_kind":"pith_short_8","alias_value":"4P33T2WN","created_at":"2026-07-05T02:06:47.843789+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2411.16935","citing_title":"Buffon Needle Problem Over Convex Sets","ref_index":1,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4P33T2WNIMNVLY5ODIX7EICXFM","json":"https://pith.science/pith/4P33T2WNIMNVLY5ODIX7EICXFM.json","graph_json":"https://pith.science/api/pith-number/4P33T2WNIMNVLY5ODIX7EICXFM/graph.json","events_json":"https://pith.science/api/pith-number/4P33T2WNIMNVLY5ODIX7EICXFM/events.json","paper":"https://pith.science/paper/4P33T2WN"},"agent_actions":{"view_html":"https://pith.science/pith/4P33T2WNIMNVLY5ODIX7EICXFM","download_json":"https://pith.science/pith/4P33T2WNIMNVLY5ODIX7EICXFM.json","view_paper":"https://pith.science/paper/4P33T2WN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1909.06347&json=true","fetch_graph":"https://pith.science/api/pith-number/4P33T2WNIMNVLY5ODIX7EICXFM/graph.json","fetch_events":"https://pith.science/api/pith-number/4P33T2WNIMNVLY5ODIX7EICXFM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4P33T2WNIMNVLY5ODIX7EICXFM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4P33T2WNIMNVLY5ODIX7EICXFM/action/storage_attestation","attest_author":"https://pith.science/pith/4P33T2WNIMNVLY5ODIX7EICXFM/action/author_attestation","sign_citation":"https://pith.science/pith/4P33T2WNIMNVLY5ODIX7EICXFM/action/citation_signature","submit_replication":"https://pith.science/pith/4P33T2WNIMNVLY5ODIX7EICXFM/action/replication_record"}},"created_at":"2026-07-05T02:06:47.843789+00:00","updated_at":"2026-07-05T02:06:47.843789+00:00"}