{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:BW6QCJUFFDVJWETQ7DWTENE72F","short_pith_number":"pith:BW6QCJUF","schema_version":"1.0","canonical_sha256":"0dbd01268528ea9b1270f8ed32349fd1432c64a89785d2d61da98c920c2db1ba","source":{"kind":"arxiv","id":"1504.06652","version":1},"attestation_state":"computed","paper":{"title":"Linear independence of trigonometric numbers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Arno Berger","submitted_at":"2015-04-24T22:09:01Z","abstract_excerpt":"Given any two rational numbers $r_1$ and $r_2$, a necessary and sufficient condition is established for the three numbers $1$, $\\cos (\\pi r_1)$, and $\\cos (\\pi r_2)$ to be rationally independent. Extending a classical fact sometimes attributed to I. Niven, the result even yields linear independence over larger number fields. The tools employed in the proof are applicable also in the case of more than two trigonometric numbers. As an application, a complete classification is given of all planar triangles with rational angles and side lengths each containing at most one square root. Such a class"},"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":"1504.06652","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-04-24T22:09:01Z","cross_cats_sorted":[],"title_canon_sha256":"d6400ef2339bc46adbc37ebabfa510e8c52aaed08eceb15699d33389db23518a","abstract_canon_sha256":"8bf892ed21399ca8d3b8306dc09dd55caba565800e9853638ca622e83ee8e11b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:17:52.868711Z","signature_b64":"21MstU5KTNBM/fUuvvMpHhAy6AlQYz0JhIH3li7IPYi480Ill9o72D+fae7w0EiLo+pgwZs0ohwaW/9k68fPBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0dbd01268528ea9b1270f8ed32349fd1432c64a89785d2d61da98c920c2db1ba","last_reissued_at":"2026-05-18T02:17:52.868219Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:17:52.868219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Linear independence of trigonometric numbers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Arno Berger","submitted_at":"2015-04-24T22:09:01Z","abstract_excerpt":"Given any two rational numbers $r_1$ and $r_2$, a necessary and sufficient condition is established for the three numbers $1$, $\\cos (\\pi r_1)$, and $\\cos (\\pi r_2)$ to be rationally independent. Extending a classical fact sometimes attributed to I. Niven, the result even yields linear independence over larger number fields. The tools employed in the proof are applicable also in the case of more than two trigonometric numbers. As an application, a complete classification is given of all planar triangles with rational angles and side lengths each containing at most one square root. Such a class"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.06652","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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":"1504.06652","created_at":"2026-05-18T02:17:52.868292+00:00"},{"alias_kind":"arxiv_version","alias_value":"1504.06652v1","created_at":"2026-05-18T02:17:52.868292+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.06652","created_at":"2026-05-18T02:17:52.868292+00:00"},{"alias_kind":"pith_short_12","alias_value":"BW6QCJUFFDVJ","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_16","alias_value":"BW6QCJUFFDVJWETQ","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_8","alias_value":"BW6QCJUF","created_at":"2026-05-18T12:29:14.074870+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BW6QCJUFFDVJWETQ7DWTENE72F","json":"https://pith.science/pith/BW6QCJUFFDVJWETQ7DWTENE72F.json","graph_json":"https://pith.science/api/pith-number/BW6QCJUFFDVJWETQ7DWTENE72F/graph.json","events_json":"https://pith.science/api/pith-number/BW6QCJUFFDVJWETQ7DWTENE72F/events.json","paper":"https://pith.science/paper/BW6QCJUF"},"agent_actions":{"view_html":"https://pith.science/pith/BW6QCJUFFDVJWETQ7DWTENE72F","download_json":"https://pith.science/pith/BW6QCJUFFDVJWETQ7DWTENE72F.json","view_paper":"https://pith.science/paper/BW6QCJUF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1504.06652&json=true","fetch_graph":"https://pith.science/api/pith-number/BW6QCJUFFDVJWETQ7DWTENE72F/graph.json","fetch_events":"https://pith.science/api/pith-number/BW6QCJUFFDVJWETQ7DWTENE72F/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BW6QCJUFFDVJWETQ7DWTENE72F/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BW6QCJUFFDVJWETQ7DWTENE72F/action/storage_attestation","attest_author":"https://pith.science/pith/BW6QCJUFFDVJWETQ7DWTENE72F/action/author_attestation","sign_citation":"https://pith.science/pith/BW6QCJUFFDVJWETQ7DWTENE72F/action/citation_signature","submit_replication":"https://pith.science/pith/BW6QCJUFFDVJWETQ7DWTENE72F/action/replication_record"}},"created_at":"2026-05-18T02:17:52.868292+00:00","updated_at":"2026-05-18T02:17:52.868292+00:00"}