อเล็กซานดรู โฟรดา ( 16 กรกฎาคม 1894 – 7 ตุลาคม 1973) เป็น นักคณิตศาสตร์ชาวโรมาเนีย ที่มีผลงานในสาขาคณิตศาสตร์วิเคราะห์พีชคณิตทฤษฎีจำนวนและกลศาสตร์เชิงตรรกะในวิทยานิพนธ์ปี 1929 ของเขา เขาได้เสนอการพิสูจน์ทฤษฎีบทที่มักไม่มีชื่อเรียกอย่างเป็นทางการ ซึ่งปัจจุบันบางครั้งเรียกว่าทฤษฎีบทของโฟรดา

Alexandru Froda เกิดที่บูคาเรสต์ในปี 1894 ในปี 1927 เขาสำเร็จการศึกษาจากมหาวิทยาลัยวิทยาศาสตร์ (ปัจจุบันคือคณะคณิตศาสตร์ มหาวิทยาลัยบูคาเรสต์ ) เขาได้รับปริญญาเอกจากมหาวิทยาลัยปารีสในปี 1929 ภายใต้การดูแลของÉmile Borel ^{[ 1 ] [ 2 ]}

ฟรอดาได้รับเลือกเป็นประธานสมาคมคณิตศาสตร์โรมาเนียในปี 1946 และในปี 1948 เขาได้ดำรงตำแหน่งศาสตราจารย์ในคณะคณิตศาสตร์และฟิสิกส์ของมหาวิทยาลัยบูคาเรสต์

ผลงานสำคัญของ Froda อยู่ในสาขาการวิเคราะห์ทางคณิตศาสตร์ผลลัพธ์สำคัญแรกของเขา^{[ 3 ]}เกี่ยวข้องกับเซตของความไม่ต่อเนื่องของฟังก์ชันค่าจริงของตัวแปรจริง ในทฤษฎีบทนี้ Froda พิสูจน์ว่าเซตของความไม่ต่อเนื่องแบบง่ายของฟังก์ชันค่าจริงของตัวแปรจริงมีจำนวนนับได้มากที่สุด

ในบทความ^{[ 4 ]}จากปี 1936 เขาได้พิสูจน์เงื่อนไขที่จำเป็นและเพียงพอสำหรับฟังก์ชันที่จะสามารถวัดได้ในทฤษฎีสมการพีชคณิต Froda ได้พิสูจน์^{[ 5 ]}วิธีการแก้สมการพีชคณิตที่มีสัมประสิทธิ์เชิงซ้อน

ในปี พ.ศ. 2462 Dimitrie Pompeiuตั้งข้อสันนิษฐานว่าฟังก์ชันต่อเนื่องใดๆ ของตัวแปรจริงสองตัวที่กำหนดบนระนาบทั้งหมดจะเป็นค่าคงที่หากปริพันธ์เหนือวงกลมใดๆ ในระนาบเป็นค่าคงที่ ในปีเดียวกัน^{[ 6 ]} Froda พิสูจน์ว่าในกรณีที่ข้อสันนิษฐานเป็นจริง เงื่อนไขที่ว่าฟังก์ชันถูกกำหนดบนระนาบทั้งหมดเป็นสิ่งจำเป็น ต่อมามีการแสดงให้เห็นว่าข้อสันนิษฐานนั้นไม่เป็นจริงโดยทั่วไป

ในปี พ.ศ. 2450 Pompeiu ได้สร้างตัวอย่างของฟังก์ชันต่อเนื่องที่มีอนุพันธ์ไม่เป็นศูนย์ซึ่งมีค่าเป็นศูนย์ในทุกช่วง โดยใช้ผลลัพธ์นี้ Froda พบวิธีใหม่ในการมองปัญหาเก่า^{[ 7 ]} ที่ Mikhail Lavrentyevตั้งขึ้นในปี พ.ศ. 2468 กล่าวคือ มีฟังก์ชันของตัวแปรจริงสองตัวหรือไม่ที่สมการเชิงอนุพันธ์สามัญ${\displaystyle dy=f(x,y)dx}$มีคำตอบอย่างน้อยสองคำตอบที่ผ่านทุกจุดในระนาบ

ในทฤษฎีจำนวน นอกจากสามเหลี่ยมตรรกยะ^{[ 8 ]}เขายังพิสูจน์เงื่อนไขหลายประการ^{[ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ]}สำหรับจำนวนจริง ซึ่งเป็นลิมิตของลำดับลู่เข้าตรรกยะให้เป็นจำนวนอตรรกยะโดยขยายผลลัพธ์ก่อนหน้าของViggo Brunจากปี 1910 ^{[ 14 ]}

ในปี ค.ศ. 1937 โฟรดาได้สังเกตและพิสูจน์กรณีนี้ด้วยตนเอง${\displaystyle n=1}$เกี่ยวกับทฤษฎีบทบอร์ซุก-อูแลมเขาเสียชีวิตในบูคาเรสต์ในปี 1973

• ทฤษฎีบทของโฟรดา