Erdős problem 633 · problems.science

A triangle whose side lengths and angles are integrally independent is cuttable only into a non-zero square number of congruent triangles. This is proved in [So09c].

Sources

Browse retained paths and inspect the exact material available for this Problem.

8 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

633.lean

Retained formal statement5 of 8

Every triangle is cuttable into any non-zero square number of congruent triangles.

FormalConjectures/ErdosProblems/633.leanErdos633.IsCuttable.of_isSquare1 lineExact file

1∀ {n : ℕ} {T : Affine.Triangle ℝ (EuclideanSpace ℝ (Fin 2))}, n ≠ 0 → IsSquare n → Erdos633.IsCuttable n T

APIStatement only, no proof

Sources

Search problems.science